我阅读了很多有关这种结构的示例，认为...是一种分配方式...但是我不确定，我也不知道它是如何工作的。
fun0:- fun1([0,1,2,3,4,5,6,7,8,9],_). fun1 <-- [B],B>0,[A,B,C], fun2(A+B+C,something,Z), ...
PD：感谢您的帮助。= D
就我所知，在SWI中，唯一类似于您要求的运算符是：
op 1200 xfx-> ,:- op 1050 xfy->
op 1200 xfx-> ,:-
op 1050 xfy->
你确定你不是这些意思吗？
我猜您是在谈论-> DCG运算符。DCG由以下形式的DCG规则定义：
头->身体。
类似于普通的Prolog规则，具有：
头：-身体。
您可以看一下这个问题和本教程，以了解一些基础知识。
祝你好运！
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
点击生成二维码
我来说两句