Number: CS 4/90
Author(s): TAMMET, T.
Title: First-order correctness proofs for propositional logic programming. 28 p.
Language: English
ABSTRACT. In our report propositional logic programming stands for the
methods used in the PRIZ system: synthesis of programs from propositional
formulas by intuitionistic logic. An important extralogical feature of the
PRIZ system is the hierarchical organization of formulas into packages
called concepts, allowing the usage of object-oriented programming
ideology. The other extralogical features of the existing PRIZ systems
(their ability to solve systems of numerical equations, etc.), are not
treated in the current report.