Information Technology Reference
In-Depth Information
induce.pl
: The
induce
predicate in Prolog (figure 11.11, page 255)
animals.pl
: A knowledge base about animals (figure 11.12, page 255)
sat.pl
: A satisfiability program (figure 11.13, page 261)
estsat.pl
: Entailment using satisfiability (figure 11.14, page 262)
unsat.pl
: An unsatisfiability program (figure 11.15, page 263)