Question

开展家庭作业

所以，我已经开始为儿子，女儿，父亲，父亲_in _法律等等制定规则。

但是，我的规则/事实的顺序必定是错误的，因为每次加载它时都会出现以下错误：

GNU Prolog 1.3.1
  作者Daniel Diaz版权所有（C）1999-2009
  丹尼尔迪亚兹| ？ - [爷爷]。编译   /home/nfs/student/USER/cs4700/grandpa.pl
  用于字节码...
  /home/nfs/student/USER/cs4700/grandpa.pl:119：   警告：不连贯的谓词   child / 2 - 忽略的条款
  /home/nfs/student/USER/cs4700/grandpa.pl:120：   警告：不连贯的谓词   child / 2 - 忽略的条款
  /home/nfs/student/USER/cs4700/grandpa.pl:121：   警告：不连贯的谓词   child / 2 - 忽略的条款
  /home/nfs/student/USER/cs4700/grandpa.pl:122：   警告：不连贯的谓词   child / 2 - 忽略的条款
  /home/nfs/student/USER/cs4700/grandpa.pl:123：   警告：不连贯的谓词   child / 2 - 忽略的条款
  /home/nfs/student/USER/cs4700/grandpa.pl:124：   警告：不连贯的谓词   child / 2 - 忽略的条款
  /home/nfs/student/USER/cs4700/grandpa.pl:125：   警告：discontiguous谓词儿子/ 2    - 条款被忽略
  /home/nfs/student/USER/cs4700/grandpa.pl:126：   警告：discontiguous谓词儿子/ 2    - 条款被忽略
  /home/nfs/student/USER/cs4700/grandpa.pl:127：   警告：discontiguous谓词儿子/ 2    - 条款被忽略
  /home/nfs/student/USER/cs4700/grandpa.pl:128：   警告：discontiguous谓词儿子/ 2    - 条款被忽略
  /home/nfs/student/USER/cs4700/grandpa.pl:129：   警告：discontiguous谓词儿子/ 2    - 条款被忽略
  /home/nfs/student/USER/cs4700/grandpa.pl:130：   警告：不连贯的谓词   女儿/ 2 - 条款被忽略了   /home/nfs/student/USER/cs4700/grandpa.pl:131：   警告：不连贯的谓词   已婚/ 2 - 条款被忽略   /home/nfs/student/USER/cs4700/grandpa.pl:132：   警告：不连贯的谓词   已婚/ 2 - 条款被忽略   /home/nfs/student/USER/cs4700/grandpa.pl:133：   警告：不连贯的谓词   已婚/ 2 - 条款被忽略   /home/nfs/student/USER/cs4700/grandpa.pl:134：   警告：不连贯的谓词   已婚/ 2 - 条款被忽略   /home/nfs/student/USER/cs4700/grandpa.pl:135：   警告：不连贯的谓词   son_in_law / 2 - 条款被忽略了   /home/nfs/student/USER/cs4700/grandpa.pl:136：   警告：不连贯的谓词   father_in_law / 2 - 条款被忽略了   /home/nfs/student/USER/cs4700/grandpa.pl:137：   警告：不连贯的谓词   父亲/ 2 - 条款被忽略了   /home/nfs/student/USER/cs4700/grandpa.pl:138：   警告：不连贯的谓词   父亲/ 2 - 条款被忽略了   /home/nfs/student/USER/cs4700/grandpa.pl:139：   警告：不连贯的谓词   父亲/ 2 - 条款被忽略了   /home/nfs/student/USER/cs4700/grandpa.pl:140：   警告：不连贯的谓词   母亲/ 2 - 条款忽略了   /home/nfs/student/USER/cs4700/grandpa.pl:141：   警告：不连贯的谓词   母亲/ 2 - 条款忽略了   /home/nfs/student/USER/cs4700/grandpa.pl:142：   警告：不连贯的谓词   母亲/ 2 - 条款忽略了   /home/nfs/student/USER/cs4700/grandpa.pl:143：   警告：不连贯的谓词   step_mother / 2 - 条款被忽略
  /home/nfs/student/USER/cs4700/grandpa.pl:144：   警告：不连贯的谓词   brother_in_law / 2 - 条款被忽略
  /home/nfs/student/USER/cs4700/grandpa.pl:145：   警告：不连贯的谓词   brother_in_law / 2 - 条款被忽略
  /home/nfs/student/USER/cs4700/grandpa.pl:146：   警告：不连贯的谓词   叔叔/ 2 - 条款被忽略了   /home/nfs/student/USER/cs4700/grandpa.pl:147：   警告：不连贯的谓词   step_daughter / 2 - 忽略的条款
  /home/nfs/student/USER/cs4700/grandpa.pl   编译，149行读取 - 8389字节   写的，44毫秒

到目前为止，我的代码是：

child(X,Y):-
   son(Y,X).

child(X,Y):-
   daughter(Y,X).

parent(X,Y):-
   father(X,Y).

parent(X,Y):-
   mother(X,Y).

son(X,Y):-
    child(X,Y),
    male(X).

daughter(X,Y):-
    child(X,Y),
    female(X).

son_in_law(X,Y):-
    child(X,Z),
    not(child(X,Y)),
    married(Z,Y),
    male(X).

step_daughter(X,Y):-
    child(X,Z),
    married(Z,Y),
    not(child(X,Y)),
    female(X).

brother(X,Y):-
    sibling(X,Y),
    male(X).

brother_in_law(X,Y):-
    parent(Z,X),
    parent(Z,Y),
    not(sibling(X,Y)),
    male(X).

sibling(X,Y):-
    parent(Z,X),
    parent(Z,Y).

sister(X,Y):-
    sibling(X,Y),
    female(X).

father(X,Y):-
    parent(X,Y),
    male(X).

father_in_law(X,Y):-
    child(X,Z),
    married(Y,Z),
    not(child(X,Y)),
    male(X).

mother(X,Y):-
    parent(X,Y),
    female(X).

step_parent(X,Y):-
    married(X,Z),
    parent(Z,Y),
    not(parent(X,Y)).

step_father(X,Y):-
    step_parent(X,Y),
    male(X).

step_mother(X,Y):-
    step_parent(X,Y),
    female(X).

grandparent(X,Y):-
    parent(X,Z),
    parent(Z,Y).

grandmother(X,Y):-
    grandparent(X,Y),
    female(X).

grandfather(X,Y):-
    grandparent(X,Y),
    male(X).

grandchild(X,Y):-
    child(X,Z),
    child(Z,Y).

married(X,Y):-
    wife(X,Y),
    female(X).

married(X,Y):-
    husband(X,Y),
    male(X).

uncle(X,Y):-
    sibling(X,Z),
    parent(Z,Y),
    male(X).

aunt(X,Y):-
    sibling(X,Z),
    parent(Z,Y),
    female(X).

male(i).
male(f).
male(s1).
male(s2).
female(w).
female(d).
child(i,f).
child(s1,w).
child(s1,i).
child(s2,d).
child(s2,f).
child(d,w).
son(i,f).
son(s1,w).
son(s1,i).
son(s2,d).
son(s2,f).
daughter(d,w).
married(i,w).
married(w,i).
married(f,d).
married(d,f).
son_in_law(f,i).
father_in_law(i,f).
father(f,i).
father(i,s1).
father(f,s2).
mother(w,s1).
mother(w,d).
mother(d,s2).
step_mother(d,i).
brother_in_law(f,s1).
brother_in_law(s1,f).
uncle(s1,i).
step_daughter(d,i).

我对prolog很新，所以我可能只是犯了一些根本性的错误。有人可以帮我指出这些错误的正确方向吗？

Answer 1

我使用Prolog已经很久了，但我找到了this。从中可以得出结论，你要么首先要使用不连续的东西，要么将所有规则组合在一起（即将所有规则都放在一个地方，即混合你的规则和事实）。例如：

子（X，Y）： - 子（Y，X）。

子（X，Y）： - 女儿（Y，X）。

子（I，F）。

子（S1，W）。

子（S1，i）中。

子（S2，d）。

子（S2，F）。

子（d，w）的

Answer 2

从http://www.gprolog.org/manual/gprolog.html#htoc50开始，将其放在代码的顶部：

discontiguous([child, son, daughter, married, etc])

所以你可以压制这个警告。你可以通过一些有趣的方式来解决递归和堆栈溢出问题，但这是编程乐趣的一部分！

.-''指令'比'thingy'更正式，但我喜欢它： - ）

Answer 3

您可以重新组织规则或使用上面提到的不连续指令。

或者，这对于程序使用是有意义的，您可以将与歌曲叙述相关的事实声明为动态。建立与儿子，女儿等相关的制作规则（即使已婚（X，Y）的问题受到激烈辩论;-)），因此需要声明歌曲的事实。

另一件事：除非你正在调试/检查你的规则的完整性，否则你不需要拼出所有的事实，只有歌词中的这些事实。例如：“我有一个小儿子[来自w]”给你儿子（s1，i）和[暗示歌曲]儿子（s1，w），但你可以让prolog推断男性（s1）或孩子（s1），i），如果这对它的断言甚至有用。

玩得开心！

我如何订购这些Prolog规则以便运行我的程序？

3 个答案: