1 Chapter 4 Predicate Logics. 344-471 AI & ESChapter 4 2 Representing simple facts in logic It is raining. RAINING If it is raining then it is not.
1 Logic Programming. 2 A little bit of Prolog Objects and relations between objects Facts and rules. Upper case are variables. parent(pam, bob).parent(tom,bob).
Chapter 4 Predicate Logics