A Lisp-machine to Implement Prolog.

Christian Percebois Jean-Paul Sansonnet

Published in: ICLP (1982)

Keyphrases

programming language
knowledge representation
learning theory
expert systems
logic programming
knowledge base
real world
multi agent
database
digital libraries
single machine
general purpose
object oriented
scheduling problem
high level
image processing
decision making
social networks
databases