我开始学习课程的序言,但我无法理解为什么我得不到我的期望。 我有以下事实:
in_queue(Person, I, PersonBefore).
in_queue(adi, 1, null).
in_queue(rami, 1, adi).
in_queue(yael, 1, rami).
in_queue(yuval, 1, yael).
in_queue(dana, 2 , null).
in_queue(tzvi, 2, dana).
in_queue(alon, 2, tzvi).
in_queue(vered, 2, alon).
in_queue(david, 2, vered).
我需要制作一个谓词touch(Name1, Name2)
,其中触摸意味着name1
在name2
之前或之后,例如rami
触及adi
和yael
。
当我做touch(rami, ddd)
它说是的,我不明白为什么,因为它不在事实中。
感谢您的帮助