Definite Clauses
Definite Programs and Goals
Definition (Clause)
Definition (Definite programs)
A definite program is a finite set of definite clauses.
The programmer attempts to describe the intended model by means of declarative sentences.
These sentences are definite clauses - facts and rules.
- The program is a set of logic formulas and it may have many models, including the intended model.
- The concepte of intended model makes it possible to discuss correctness of logic programs - a program P is incorrect iff the intended model is not a model of P.
- The program will be used by the computer to draw conclusions about the intended model.