A Parameterised Module System for Constructing Typed Logic Programs

Hill, Patricia M.

A Parameterised Module System for Constructing Typed Logic Programs

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Logic Programming. Pages 874-879.

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.

Patricia M. Hill. 1993. A Parameterised Module System for Constructing Typed Logic Programs. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 874–879. https://ijcai.org/proceedings/1993/120

@inproceedings{ijcai1993p120,
  title     = {A Parameterised Module System for Constructing Typed Logic Programs},
  author    = {Hill, Patricia M.},
  booktitle = {Proceedings of the Thirteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-93}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ruzena Bajcsy},
  pages     = {874--879},
  year      = {1993},
  note      = {Logic Programming},
  url       = {https://ijcai.org/proceedings/1993/120},
}

TY  - CPAPER
TI  - A Parameterised Module System for Constructing Typed Logic Programs
AU  - Hill, Patricia M.
T2  - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1993
SP  - 874
EP  - 879
UR  - https://ijcai.org/proceedings/1993/120
ER  -