prolog

0热度

1回答

值（如果回报来形容它正确的字我不SUR，但是这是最好的一个，我可以找到。）我想写一个prolog中的一个小程序，它使用函数add来进行乘法运算。当我自己运行add或者甚至在函数测试中调用结果时，结果是“Z = sum”ex：如果我运行add（2,3，Z），它将显示Z = 5。我的问题是，当我打电话给mult时，我无法让它做同样的事情。我发现的唯一解决方案是使用写入，但这不是一回事。我尝试了很多

1热度

1回答

奇数倍

我需要有人可以帮助如何在序言 Define a predicate oddMultOf3/1 that determines whether an integer is an odd multiple of 3. A user should be able to enter the predicate with an integer, e.g. oddMultOf3(42) and evaluat

1热度

1回答

将Microsoft .NET（C＃/ F＃）与SWI-Prolog接口

我有将Prolog连接到C＃的问题。 Visual Studio中给出了这样的以下错误： “类型 'System.IO.FileNotFoundException' 未处理的异常发生在SwiPlCs.dll” ，我真的不知道如何处理这个。我觉得从我的代码给了路径传来： using System; using SbsSW.SwiPlCs; namespace ptest { cl

2热度

1回答

在序言中获得排序列表的头

我是新的Prolog，我在这一点上被卡住了。如何获得此排序列表的头像？ mylist(List,First) :- sort(List, Sorted), mylist(Sorted,First). mylist([H|_],H).

2热度

1回答

序言：语法正确的对象+关系与结构

我是Prolog的新手，并逐渐通过Ivan Bratko的“Prolog Programming for Artificial Intelligence”（第4版）。做练习时2.1。（第39页），我不明白为什么5(X,Y)在语法上不正确，而+(north,west)是正确的。起初我认为它与函子是一个数字（因为我认为这可能只是一个原子）有关，但根据这本书，一个原子也可以是一个数字。然后我认为这是

1热度

1回答

Prolog的移位或循环元素左

我需要在序言中的关系转移列表旋转左边一个元素，使得 shift([a,b,c,d,e,f,g,h],3,Shifted). 应该产生 Shifted = [d,e,f,g,h,a,b,c] 你能帮助我吗？这个我有什么 shift([], []). shift([H|T], L) :- append(T, [H], L). shift(0, L, L) :- !. shi

2热度

1回答

序言：如何获得最古老和最年轻的血统

比方说，我有男性人口威廉姆斯和天行者家族的血统作为我的知识基础： father(phil,tom, williams). father(tom, bob, williams). father(bob, robert, williams). father(robert, steve, williams). father(anakin, luke, skywalker) father(lu

2热度

2回答

Prolog中的列表[[a，b] | c]

在我探索记录列表的不同方式期间，我对以下列表感兴趣：[[a,b]|c]，它出现在Pereira的书“Prolog and Natural Language Analysis” Shieber（digital edition的第42页）。起初我以为这样的符号在语法上是不正确的，因为它不得不说0123'，但是在使用write_canonical/1之后，Prolog返回了'.'('.'(a,'.'(

3热度

1回答

一阶逻辑Prolog的匿名变量

下Prolog的规则： grandparent(X,Z) :- parent(X,Y) , parent(Y,Z) 在一阶逻辑将是： ∀x ∀y ∀z ((P (x, y) ∧ P (y, z)) → G(x, z)) 从理论上讲，如果我们在我们的Prolog规则的东西有一个匿名变量像： grandparent(X,Z) :- parent(X,Y, _) , parent(Y,Z, _)

1热度

1回答

序言“没有足够的堆栈”错误

我在Prolog写了一个族谱程序。这里是我的规则： father(X,Y):-male(X),parent(X,Y). mother(X,Y):-female(X),parent(X,Y). parent(X, Y) :- father(X, Y). parent(X, Y) :- mother(X, Y). ancestor(X,Y):-parent(X,Y). ancestor(X,