Applications Computational LogicLecture 11 Michael Genesereth Spring 2004.
Prolog programming Introduction to Prolog CS 461.
Prolog programming Introduction to Prolog