Week6

This document discusses using lists and databases to represent relationships in Prolog. It describes storing relationships like family members as lists with a predicate (father, sibling), and two entities. Rules are defined to infer new relationships, like making relationships commutative or finding siblings. Procedures are provided to add facts, infer new facts, think by applying rules repeatedly, and interact with a user to look up and respond with matching facts.