A direct execution PROLOG system.

Published in: SIGSMALL (1985)

Keyphrases

logic programming
expert systems
knowledge representation
programming language
knowledge base
database
execution model
logic programming language
abstract machine
website
general purpose
response time
logic programs
data flow
control flow
plan execution