PROLOG is a logic-based programming language. A PROLOG statement, C &larr P1, ..., Pn can be considered to be a rule. Proofs proceed by backchaining.
PROLOG has the advantages that search is built into the language, and that PROLOG programs can run ``forward'' or ``backward''.
Contents    Page-10    Prev    Next    Page+10    Index