Prolog as a Tool for Optimizing Prolog Unifiers.

Published in: ICLP (1984)

Keyphrases

logic programming
expert systems
programming language
knowledge representation
prolog programs
constraint logic programming
abstract machine
neural network
knowledge base
inference engine
logic programming language
theorem proving
high level
software tools
functional programming