Describing Prolog by Its Interpretation and Compilation.

Published in: Commun. ACM (1985)

Keyphrases

image interpretation
knowledge base
logic programming
programming language
high level
expert systems
real time
inference engine
knowledge representation
database
learning algorithm
real world
neural network
data sets
semantic interpretation
constraint logic programming
logic programming language
abstract machine