The Occur-Check Problem in Prolog.

David A. Plaisted

Published in: New Gener. Comput. (1984)

Keyphrases

expert systems
logic programming
knowledge representation
programming language
knowledge base
theorem proving
management system
knowledge based systems
abstract machine
real time
website
image segmentation
computational complexity
feature space
logic programming language
functional programming