A new module system for prolog

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

Descripción

Título: A new module system for prolog
Autor/es:
  • Cabeza Gras, Daniel
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: First International Conference
Fechas del Evento: July 24-28, 2000
Lugar del Evento: London, UK
Título del Libro: Computational Logic — CL 2000
Fecha: 2000
ISBN: 9783540677970
Volumen: 1861
Materias:
Palabras Clave Informales: Modules, Modular program processing, Global analysis and transformation, Separate compilation, Prolog, Ciao-prolog, Módulos, Recopilación por separado.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 14380
Identificador DC: http://oa.upm.es/14380/
Identificador OAI: oai:oa.upm.es:14380
URL Oficial: http://link.springer.com/chapter/10.1007%2F3-540-44957-4_9
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 01 Feb 2013 08:17
Ultima Modificación: 21 Abr 2016 14:01
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM