我正在学习Prolog,我想做一个简单的“计算”(我不知道它在Prolog中是怎么叫的) simle家族的成员。is a son to a Father when the brother of the person has as father the Father?-father(john,X).
但
我正在研究Ivan的一本书:“人工智能编程”(),用于大学考试并使用SWI,我对本书中关于assert和retract谓词的示例显示有一些疑问。然后,在Prolog shell中,使用断言规则在数据库中定义一个新规则:现在我尝试执行这个查询,结果失败了:false.书上说输出应该是这个:B = tom
这听起来很好
我目前正在学习编程语言的概念和语用,因此我觉得我需要帮助来区分声明性语言家族的两个分支。考虑下面的代码片段,它们分别用Scheme和Prolog编写:(define gcd (cond ((= a b) a)((> a b) (gcd (- a b) b))gcd(A, B,我不明白的是:
这两种不同的编程