FOLON: An Environment for Declarative Construction of Logic Programs

Pierre De Boeck, Jean Henrard, Baudouin Le Charlier. FOLON: An Environment for Declarative Construction of Logic Programs. In LPE. pages 3-8, 1992.

Abstract

Abstract is missing.