10 Mar 2005
CS 3243 - FOL and Prolog
48
Prolog Summary
lA Prolog program is a set of specifications in FOL. The specification is known as the database of the system.
lProlog is an interactive language (the user enters queries in response to a prompt).
lPROLOG adopts the
closed-world assumption
lHow does
Prolog find the answer(s)? We return to
this next week in Inference in FOL