A new module system for prolog

Cabeza Gras, Daniel and Hermenegildo, Manuel V. (2009). A new module system for prolog. In: "ICLP'99 WS on Parallelism and Implementation of (C)LP Systems", December 1999, Las Cruces, New Mexico, USA.

Description

Title: A new module system for prolog
Author/s:
  • Cabeza Gras, Daniel
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: ICLP'99 WS on Parallelism and Implementation of (C)LP Systems
Event Dates: December 1999
Event Location: Las Cruces, New Mexico, USA
Title of Book: ICLP'99 WS on Parallelism and Implementation of (C)LP Systems
Date: December 2009
Subjects:
Freetext Keywords: Prolog, Modules, Separate compilation, Modular program processing, Ciao-prolog, Recopilación por separado, Procesamientso de programas modulares.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

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

Abstract

It is now widely accepted that separating programs into modules has proven very useful in program development and maintenance. While many Prolog implementations include useful module systems, we feel that these systems can be improved in a number of ways, such as, for example, being more amenable to effective global analysis 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. 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, etc.

More information

Item ID: 14635
DC Identifier: http://oa.upm.es/14635/
OAI Identifier: oai:oa.upm.es:14635
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 15 Mar 2013 07:39
Last Modified: 21 Apr 2016 14:23
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM