Abstract
We propose an extension to conventional propositional logic which has applications to the interaction of PROLOG and other logic programming languages with databases. We plan to use the special characteristics of databases together with the extremely general problem-solving abilities of PROLOG, so that the PROLOG compiler/interpreter does not have to reproduce (at significant cost in time and memory) what is quickly accessible in the database.
Original language | English |
---|---|
Pages | 237-245 |
Number of pages | 9 |
Publication status | Published - 1 Jan 1988 |
Externally published | Yes |