A Declarative Debugging Environment for DATALOG.

Francesco Russo Mirko Sancassani

Published in: RCLP (1991)

Keyphrases

real time
mobile robot
expressive power
relational databases
logic programming
dynamic environments
database
neural network
knowledge representation
query answering
information systems
query language
domain independent
integrity constraints