PHOCUS: Production rules, Horn clauses, Objects and Contexts in a Unification-based System.

David Chan Pierre Dufresne Reinhard Enders

Published in: SPLT (1987)

Keyphrases

production rules
horn clauses
knowledge based systems
first order logic
inference mechanism
rule base
production system
function symbols
knowledge representation
logic programs
knowledge base
inductive logic programming
neural network
domain knowledge