Generating the minimal model in Prolog.

Published in: ACM SIGPLAN Notices (1990)

Keyphrases

knowledge base
expert systems
real world
logic programming
prolog programs
feature space
knowledge representation
object oriented
programming language
automatically generating
constraint logic programming
abstract machine