标签: visual-prolog

我在Visual Prolog中找不到任何关于"不等于"标志的文档.请提供此问题的正确解决方案:

class predicates
        sister : (string Person, string Sister) nondeterm(o,o).
    clauses
        sister(Person, Sister) :-
            Person [not-equal-sign] Sister,
            parent(Person, Parent),
            parent(Sister, Parent),
            woman(Sister).

在visual prolog中,prolog程序中有"domains"部分,您可以在其中定义类型.swi-prolog中有类似的东西吗？

在视觉序言中,类型定义如下:

domains
NewType = thing1; thing2

你好任何人都可以帮我计算前n个数字的总和.例如,n = 4 => sum = 10.到目前为止,我已经写了这个

    predicates
  sum(integer,integer)
clauses

  sum(0,0).
   sum(N,R):-
        N1=N-1,
        sum(N1,R1),
        R=R1+N.

这个工作但我需要另一个实现.我没有任何想法如何使这种差异化.请帮忙