A parameterised module system for constructing typed logic programs

Authors:
P. M. Hill
Affiliations:
Division of Artificial Intelligence, School of Computer Studies, University of Leeds, Leeds, UK
Venue:
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Year:
1993

Citing 2
Cited 1

A calculus for the construction of modular Prolog programs

Journal of Logic Programming
Data structures and typed logic programs

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence

Dynamic composition of parameterised logic modules

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.