A Simple Near-Horn Prolog Interpreter.

Bruce T. Smith Donald W. Loveland

Published in: ICLP/SLP (1988)

Keyphrases

programming language
np hard
artificial intelligence
general purpose
logic programming
production system
real time
data sets
e learning
case study
multi agent
relational databases
data model
inference engine