A Parameterised Module System for Constructing Typed Logic Programs

The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software engineering. The design is based on the language Godel which is a logic programming language which already has a simple type and module system. The module system described here extends the Godel module system so as to include parameterised modules. In particular, this extended system allows general purpose predicates that depend on facts and rules for specific applications to be defined in modules that are independent of their applications.

[1]  Grigoris Antoniou,et al.  Modularity for Logic Programs , 1992, ALPUK.

[2]  Rodney W. Topor,et al.  A Semantics for Typed Logic Programs , 1992, Types in Logic Programming.

[3]  Patricia M. Hill.  Data Structures and Typed Logic Programs , 1992, ECAI.

[4]  José Meseguer,et al.  EQLOG: Equality, Types, and Generic Modules For Logic Programming , 1986, Logic Programming: Functions, Relations, and Equations.

[5]  Dale Miller,et al.  A Theory of Modules for Logic Programming , 1986, SLP.

[6]  Richard A. O'Keefe,et al.  Towards an Algebra for Constructing Logic Programs , 1985, International Conference on Spoken Language Processing.

[7]  John W. Lloyd,et al.  The Gödel programming language , 1994 .

[8]  Donald Sannella,et al.  A Calculus for the Construction of Modular Prolog Programs , 1987, J. Log. Program..

[9]  I. G. BONNER CLAPPISON.  Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.