Prolog in Ten Figures.

Alain Colmerauer

Published in: IJCAI (1983)

Keyphrases

logic programming
programming language
expert systems
prolog programs
knowledge representation
abstract machine
theorem proving
inference engine
data streams
data mining
constraint logic programming
special case
pattern recognition
real world
backward chaining
databases
real time