Propositional Logic Programming

Abstract We describe the application of propositional (mainly intuitionhtic and modal) logic in logic programming. Logic programming is understood here in the broad sense of non-procedural programming in terms of logical specifications (Tyugu 1986), so that the compilation of the result ing program ... View More