A model and an implementation of a logic programming environment.

Henryk Jan Komorowski Shigeo Omori

Published in: ACM SIGPLAN Notices (1985)

Keyphrases

programming environment
databases
high level
digital libraries
management system
database
artificial intelligence
case study