POLYNOMIAL-TIME PROPOSITIONAL LOGIC.

John N. Crossley, Philip J. Scott

Research output: Contribution to conferencePaper

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 languageEnglish
Pages237-245
Number of pages9
Publication statusPublished - 1 Jan 1988
Externally publishedYes

Cite this