Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
A new module system for prolog
Citation
Cabeza Gras, Daniel and Hermenegildo, Manuel V. 
ORCID: https://orcid.org/0000-0002-7583-323X
(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: |
|
| 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 |
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: | https://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 |
