Logical Derivation of a Prolog Interpreter.

Published in: FGCS (1984)

Keyphrases

programming language
expert systems
production system
knowledge representation
logic programming
data mining
logical operations
prolog programs
logical properties
inference engine
data structure
knowledge base
information retrieval
data sets
logic programs
object oriented
probabilistic logic
logical framework