Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Foundations of deductive databases and logic programming
The halting problem for deductive synthesis of logic programs
Proceedings of the eleventh international conference on Logic programming
Journal of Symbolic Computation
Basic proof theory
On Specification Frameworks and Deductive Synthesis of Logic Programs
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Regular Search Spaces as a Foundation of Logic Programming
ELP '93 Proceedings of the 4th International Workshop on Extensions of Logic Programming
Extracting information from intermediate semiconstructive HA-systems – extended abstract
Mathematical Structures in Computer Science
Hi-index | 0.00 |
In this paper we present a formal framework, based on the notion of extraction calculus, which has been applied to define procedures for extracting information from constructive proofs. Here we apply such a mechanism to give a proof-theoretic account of SLD-derivations. We show how proofs of suitable constructive systems can be used in the context of deductive synthesis of logic programs, and we state a link between constructive and deductive program synthesis.