如何在Prolog中创建指定事实与规则？寻求正确编写方案

嘿，我来帮你把这段Prolog代码补全并解释清楚，完全贴合你的练习需求～

完整代码实现 #

% 定义食物事实：burger、sandwich、pizza都是食物
food(burger).
food(sandwich).
food(pizza).

% 定义特定餐食类型的事实
lunch(sandwich).
dinner(pizza).

% 核心规则：所有食物都是餐食
meal(X) :- food(X).

代码细节解释 #

• 食物事实补全：你原来的代码里漏掉了food(pizza).，我给加上了——毕竟需求明确要求pizza属于食物，得把这个事实补全才能保证逻辑闭环。
• 特定餐食事实：保留了你已经写好的lunch(sandwich).和dinner(pizza).，完美对应“sandwich为午餐，pizza为晚餐”的要求。
• 餐食规则实现：按照你“所有食物都是餐食”的核心需求，规则meal(X) :- food(X).直接实现了这个逻辑——只要X被标记为食物，它就自动属于餐食范畴，不需要额外的分支啦。

测试小例子 #

你可以在Prolog环境里试试这些查询，验证逻辑是否正确：

• ?- meal(burger). → 返回true（burger是食物，所以属于餐食）
• ?- meal(sandwich). → 返回true（sandwich既是食物也是午餐，自然属于餐食）
• ?- meal(pizza). → 返回true（pizza既是食物也是晚餐，属于餐食）
• ?- meal(apple). → 返回false（apple没被定义为食物，所以不属于餐食）

内容的提问来源于stack exchange，提问作者Daboi D. Dinoy