next up previous contents index
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

Neng-Fa Zhou
1999-11-24