Propositional Logic Programming
G. E. Mints · 1991
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 (i.e., program synthesis) is performed essentially by means of automatic proof search in a suitable logical system. We review the logical features of the programming system PR1z developed at the Institute of Cybernetics of the Estonian Academy of Sciences. More detailed descriptions of the system architecture and proofs of some results can be found in Mints and Tyllgu (1982, 1987).