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).
|