An architecture and an Abstract Data Type for an Inductive Schema-Guided Logic Program Synthesizer

Abstract

An inductive schema-guided logic program synthesizer is a software allowing to automate the development of logic programs from specifications. To synthesize a logic program, the software is guided thanks to a schema, which embodies algorithm design knowledge, and mainly uses inductive inference rules to extract information from specifications. First, we introduce the program synthesis field of research and give an overview of the tool used to implement the different parts of the synthesizer. Second, we explain the notion of schema and describe an abstract data type representing schemas together with services to construct, manipulate and instantiate schemas. Finally, we propose a modular architecture for an inductive schema-guided logic program synthesizer called DIALOGS.

Date of Award	1996
Original language	English
Awarding Institution	University of Namur
Supervisor	Naji Habra (Supervisor)