A declarative logic programming environment.

Henryk Jan Komorowski

Published in: J. Syst. Softw. (1988)

Keyphrases

programming environment
programming language
programming environments
logic programming
relational database systems
pilot project
knowledge representation
modal logic
rule engine
object oriented concepts
novice programmers
high level
truth maintenance systems
database systems