在典型的CHR会话中,首先使用初始状态设置约束存储。一个编写CHR程序,包含CHR规则。然后运行一个以约束存储为参数的CHR程序。在SWI Prolog中进行测试?- [gcd].% now we enter a goal:
?CHR程序(不知怎么地)被编译成Prolog,而"CHR约束“变成了&qu
我正在尝试学习prolog,作为练习,我尝试实现;我到底在做什么并不是特别重要,因为我只对特定的语法感兴趣,但下面是完整的代码: e_gcd(A,e_gcd(_, 0, _, _, LX, LY, LX, LY).e_gcd(A, B, X, Y, LX, LY, FX, FY) :- M is A mod B,
e_gcd(B,
我希望能够在我当前的prolog程序中尽可能快地查找一个术语的存在,而不需要prolog引擎遍历所有术语,直到它最终到达现有的术语为止。% thousands of other animalsanimal(tiger).
swi引擎将需要经过成千上万的动物,试图与老虎统一,以确认动物(老虎)在我的prolog数据库中。在其他语
我一直在阅读一个关于查找gcd的示例,gcd是最大的通用除数程序,但它只在下面的代码中使用返回。那是什么?用这样的退货合法吗?我已经查过了,似乎没有什么能表明我的意思。请..。下面是代码:{
long tnum, tden, temp, gcd;// num = numerator and den = denumator