{"type":"ScholarlyArticle","title":"Refinement Strategies for Inductive Leaming of Simple Prolog Programs","authors":[{"name":"Marc Kirschenbaum","slug":"marc-kirschenbaum","given":"Marc","family":"Kirschenbaum","affiliation":""},{"name":"Leon Sterling","slug":"leon-sterling","given":"Leon","family":"Sterling","affiliation":""}],"abstract":"This paper extends Shapiro's Model Inference System for synthesizing logic programs from examples of input/output behavior. A new refinement operator for clause generation, based upon the decomposition of Prolog programs into 8keleton.,, basic Prolog programs with a well-understood control flow, and technique.,, standard Prolog programming practices is described. Shapiro's original system is introduced; skeletons and techniques are discussed, and simple examples are provided, to familiarize the reader with the necessary terminology. The Model Inference System equipped with this new refinement operator is compared and contrasted with the original version presented by Shapiro . The strengths and weaknesses of applying skeletons and techniques to synthesizing Prolog programs is discussed.","doi":null,"url":"https://ijcai.org/proceedings/1991/111","pdf":"https://ijcai.org/proceedings/1991/0111.pdf","markdown":"https://ijcai.org/proceedings/1991/111.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/111","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Learning Be Knowledge Acquisition","track":"Learning Be Knowledge Acquisition","number":111,"pages":{"first":757,"last":762},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}