CS661 Artifical Intelligence


Lecture 7 - Predicate Logic and PROLOG