Logic Programming in a Fragment of Intuitionistic Linear Logic

• 1 May 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 110  (2) , 327-365
• https://doi.org/10.1006/inco.1994.1036

Abstract

Keywords

• FORMAL LOGIC
• LOGIC PROGRAMMING
• ADDITIVE CONJUNCTION
• CONTEXT
• DATABASE PROGRAMMING
• EMPTY CONTEXT
• ERASING CONTEXTS
• GOAL DIRECTED LOGIC
• INTUITIONISTIC LINEAR LOGIC
• LINEAR IMPLICATION
• MULTIPLICATIVE CONJUNCTION
• NATURAL LANGUAGE PARSING
• NONDETERMINISM
• OF COURSE EXPONENTIAL
• PROOF SEARCH
• THEOREM PROVING
• UNIVERSAL QUANTIFICATION