Results 1 
4 of
4
Algebra of logic programming
 International Conference on Logic Programming
, 1999
"... At present, the field of declarative programming is split into two main areas based on different formalisms; namely, functional programming, which is based on lambda calculus, and logic programming, which is based on firstorder logic. There are currently several language proposals for integrating th ..."
Abstract

Cited by 20 (3 self)
 Add to MetaCart
At present, the field of declarative programming is split into two main areas based on different formalisms; namely, functional programming, which is based on lambda calculus, and logic programming, which is based on firstorder logic. There are currently several language proposals for integrating the expressiveness of these two models of computation. In this thesis we work towards an integration of the methodology from the two research areas. To this end, we propose an algebraic approach to reasoning about logic programs, corresponding to the approach taken in functional programming. In the first half of the thesis we develop and discuss a framework which forms the basis for our algebraic analysis and transformation methods. The framework is based on an embedding of definite logic programs into lazy functional programs in Haskell, such that both the declarative and the operational semantics of the logic programs are preserved. In spite of its conciseness and apparent simplicity, the embedding proves to have many interesting properties and it gives rise to an algebraic semantics of logic programming. It also allows us to reason about logic programs in a simple calculational style, using rewriting and the algebraic laws of combinators. In the embedding, the meaning of a logic program arises compositionally from the meaning of its constituent subprograms and the combinators that connect them. In the second half of the thesis we explore applications of the embedding to the algebraic transformation of logic programs. A series of examples covers simple program derivations, where our techniques simplify some of the current techniques. Another set of examples explores applications of the more advanced program development techniques from the Algebra of Programming by Bird and de Moor [18], where we expand the techniques currently available for logic program derivation and optimisation. To my parents, Sandor and Erzsebet. And the end of all our exploring Will be to arrive where we started And know the place for the first time.
Inductive Synthesis of Logic Programs by Composition Of Combinatory Program Schemes
 PROCS. WORKSHOP ON LOGIC BASED PROGRAM TRANSFORMATION AND SYNTHESIS
, 1998
"... Based on a variablefree combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing wellmoded logic programs from examples. The combinators comprise fold combinators for recursion on lists. The combinator form is disti ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
Based on a variablefree combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing wellmoded logic programs from examples. The combinators comprise fold combinators for recursion on lists. The combinator form is distinguished by enabling piecewise composition of semantically meaningful program elements according to the compositional semantics principle. The principle of combining programs from combinators admits induction of programs without appealing to mostspecificgeneralization and predicate invention in contrast to prevailing ILP approaches. Moreover, the combinator form avoids confusing object and metavariables in the applied metalogic program environment. In addition
Inductive logic programming with wellmodedness constraints
 Proc. Eighth International Workshop on Functional and Logic Programming 1999, Rapport de recherche, RR 1021I, Laboratoire Leibniz, Institut IMAG
, 1999
"... ..."
Logic Program Synthesis as Problem Reduction Using Combining Forms
, 2001
"... This paper presents an approach to inductive synthesis of logic programs from examples using problem decomposition and problem reduction principles. This is in contrast to the prevailing logic program induction paradigm, which relies on generalization of programs from examples. The problem reduction ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
This paper presents an approach to inductive synthesis of logic programs from examples using problem decomposition and problem reduction principles. This is in contrast to the prevailing logic program induction paradigm, which relies on generalization of programs from examples. The problem reduction is accomplished as a constrained topdown search process, which eventually is to reach trivial problems.