---
title: "Refinement Strategies for Inductive Leaming of Simple Prolog Programs"
authors:
  - "Marc Kirschenbaum"
  - "Leon Sterling"
doi: ""
url: "https://ijcai.org/proceedings/1991/111"
pdf: "https://ijcai.org/proceedings/1991/0111.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "757-762"
track: "Learning Be Knowledge Acquisition"
keywords:
---

# Refinement Strategies for Inductive Leaming of Simple Prolog Programs

Marc Kirschenbaum, Leon Sterling

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, pages 757-762.

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