Needed Narrowing in Prolog (Extended Abstract).

Published in: PLILP (1996)

Keyphrases

extended abstract
knowledge representation
logic programming
expert systems
programming language
database
high level
general purpose
abstract machine
inference engine
control system
multi agent systems
search algorithm
cooperative
information systems
artificial intelligence
real time