A new module system for prolog

Cabeza Gras, Daniel and Hermenegildo, Manuel V. (2000). A new module system for prolog. In: "First International Conference", July 24-28, 2000, London, UK. ISBN 9783540677970.


Title: A new module system for prolog
  • Cabeza Gras, Daniel
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: First International Conference
Event Dates: July 24-28, 2000
Event Location: London, UK
Title of Book: Computational Logic — CL 2000
Date: 2000
ISBN: 9783540677970
Volume: 1861
Freetext Keywords: Modules, Modular program processing, Global analysis and transformation, Separate compilation, Prolog, Ciao-prolog, Módulos, Recopilación por separado.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview


It is now widely accepted that separating programs into modules is useful in program development and maintenance. While many Prolog implementations include useful module systems, we argüe that these systems can be improved in a number of ways, such as, for example, being more amenable to effective global analysis and transformation and allowing sepárate compilation or sensible creation of standalone executables. We discuss a number of issues related to the design of such an improved module system for Prolog and propose some novel solutions. Based on this, we present the choices made in the Ciao module system, which has been designed to meet a number of objectives: allowing sepárate compilation, extensibility in features and in syntax, amenability to modular global analysis and transformation, enhanced error detection, support for meta-programming and higher-order, compatibility to the extent possible with official and de-facto standards, etc.

More information

Item ID: 14380
DC Identifier: http://oa.upm.es/14380/
OAI Identifier: oai:oa.upm.es:14380
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 01 Feb 2013 08:17
Last Modified: 21 Apr 2016 14:01
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM