星小海之地

文章目录1. 问题背景2. 效率问题3. Unary clause 和 Binary clause4. Some baisc terms5. 书写格式6. 无记忆问题（重复自己）7. Summary 1. 问题背景 关系图（Relationship） 核心代码 parent(pam, bob). parent(tom, bob). parent(tom, liz). parent(bob, ann). parent(bob, pat). parent(pat, jim). 问题：需要查询jim的g