Prolog III as it Actually Is.

Alain Colmerauer

Published in: ICLP (1990)

Keyphrases

logic programming
expert systems
knowledge representation
backward chaining
prolog programs
functional programming
abstract machine
data structure
programming language
theorem proving
constraint logic programming
logic programming language
inference rules
programming paradigms
data sets
knowledge base
real world