内容 4.4 Logic Programming · 374
练习 自检推理
Exercise 4.58: Define a rule that says that a
person is a “big shot” in a division if the person works in the division but
does not have a supervisor who works in the division.
练习 4.58:定义一条规则,说明:如果一个人在某部门工作,但没有同在该部门工作的上司,则此人是该部门的"大人物"(big shot)。
我的笔记 自动保存