The programming system PRIZ. The programming system PRIZ combines conventional programming technique with automatic synthesis of programs from specifications. It enables one to build specifications from descriptions of application domains. They are automatically encoded into propositional calculus and used by the system for the program synthesis. PRIZ is not bound to any particular problem domain, but applicable for synthesis of programs solving problems of a wide class called computational problems. From the theoretical side it has the deductive power of the intuitionistic propositional calculus.