Next:
Facts
Up:
Programs
Previous:
Structures
 
Contents
 
Index
Programs
A program is a sequence of logical statements, called Horn clauses, of three types:
facts
,
rules
, and directives.
Subsections
Facts
Rules
Neng-Fa Zhou
1999-11-24