An Operational Formal Definition of PROLOG.

Pierre Deransart Gérard Ferrand

Published in: SLP (1987)

Keyphrases

logic programming
expert systems
knowledge representation
decision making
knowledge base
theorem proving
inference engine
prolog programs
abstract machine
neural network
programming language
backward chaining
case study
high level