March 2001
Intermediate to advanced
400 pages
8h 35m
English
A program is a collection of axioms, which are facts or rules (which you have yet to meet). A query is a structure that can prove itself against a program. Figure 12.3 shows the Program and Query classes.

The following Java program creates a logic program, loads it with facts, and uses a query to extract all its results:
package sjm.examples.engine; import sjm.engine.*; /** * Show ...
Read now
Unlock full access