We present an interactive environment, named AStErIx, to help the development of new logic synthesis algorithms and visualize graphically the synthesis results. This environment is based on public domain tools (Sis and LEDA), with added facilities to improve the programming support (based on the Obelix library), and a graph interface (Ideex) to analyze the experimental results. The whole system...

We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been implemented within the proof planning system λClam . The generality of the approach is such that its extension to allow synthesis of higher-order logic programs was straightforward. Some illustrative examples are given....

Aim to consider the possibilities and prospects for formation of interdisciplinary meta-reflection in comprehension religious mystical experience. Using methods critical philosophical reflection dialectical logic, authors analyze specifics diversity disciplinary approaches interpretations At same time, special attention is given factors interaction that contribute leveling interpretation differ...

It is shown that theorem proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. The construction of program schemata in an algorithmic programming environment and logic programming in a declarative programming environment appear as two parti...