The Occur-Check Problem in Prolog.

David A. Plaisted

Published in: SLP (1984)

Keyphrases

expert systems
logic programming
programming language
neural network
abstract machine
prolog programs
scheduling problem
knowledge base
pairwise
relational databases
special case
knowledge representation
support vector
high level
metadata
constraint logic programming
backward chaining
data sets