The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

MSc Thesis #9906

Title:Logic Program Synthesis via Proof Planning in LambdaClam
Date: 1999
Abstract:Logic Programs are computer programs whose syntax is logic. An example of such a language is Prolog. This Msc dissertation describes a system that automatically synthesizes logic programs from their specifications. This is done within a framework of theorem proving using the LambdaClam proof planner developed in the Department of AI, Edinburgh. The developed system is partly a re-implementation of work done by Ina Kraan in her PhD awarded by the Department. However, this project extends her work greatly through its use of the higher order programming language LambdaProlog. The system is extended to cope with synthesizing of higher order programs and programs that depend on certain assumptions about the objects they are manipulating (parameterized synthesis).

[Search These Pages] [DAI Home Page] [Comment]