如何编写在 Prolog 中选择特定事实的规则

Question

我试图了解如何在 prolog 中构造 output。 假设我有一些事实如下

/* Facts */

course1(lunch, burrito).
side(lunch, chips).
side(lunch, pop).

course1(dinner, pizza).
side(dinner, breadsticks).
side(dinner, water).

我怎样才能写出一条规则，比如 food(X, Y)，其中 X 是午餐或晚餐，并让它分别返回“墨西哥卷饼、薯条和汽水”或“披萨、面包棒和水”？

Answer 1

这将使您获得想要的食物/2。

谓词
文件： C:/Users/Groot/example.pl

lunch(X) :- course1(lunch,X).
lunch(X) :- side(lunch,X).

示例运行

Welcome to SWI-Prolog (threaded, 64 bits, version 8.5.0)


?- working_directory(_,'C:/Users/Groot').
true.

?- [example].
true.

?- lunch(X).
X = burrito ;
X = chips ;
X = pop.

如果您想要列表中的所有项目，请使用 findall/3。

?- findall(X,lunch(X),X).
X = [burrito, chips, pop].

---

食物/2

食物（X，Y）：-课程1（X，Y）。
食物（X，Y）：- 侧面（X，Y）。