Prolog在规则上显示错误

时间:2013-11-19 20:54:43

标签: prolog

student(ram, cse).   /* ram is student of CSE branch */
student(kirat, com).
student(ajay, cse).
student(amit, cmt).
studies (cmt, uc).      /* CMT branch studies the module UC */
studies(cmt, pm).
studies(com, pm).
studies(com, aplc).
studies(com, ads).
studies(cse, aplc).
studies(cse, pm).
studies(cse, algorithms).
studies(cmt, pm).
classmate(X,Y):-student(X,Y).

这些是我给出的规则和事实。我是Prolog的新手 当我写classmate(X,com)时,它始终显示为false,并且在放置classmate(X,cse)classmate(X,cmt)时它会给出解决方案。

1 个答案:

答案 0 :(得分:0)

适合我的工作

1 ?- classmate(X,com).
X = kirat
2 ?-  classmate(X,cse).
X = ram ;
X = ajay.

您是否记得将.放在执行的查询的末尾?

尝试将评论写为/* comment*/

除此之外,它运作良好。