A new module system for prolog

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

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: ICLP'99 WS on Parallelism and Implementation of (C)LP Systems
Fechas del Evento: December 1999
Lugar del Evento: Las Cruces, New Mexico, USA
Título del Libro: ICLP'99 WS on Parallelism and Implementation of (C)LP Systems
Fecha: Diciembre 2009
Materias:
Palabras Clave Informales: Prolog, Modules, Separate compilation, Modular program processing, Ciao-prolog, Recopilación por separado, Procesamientso de programas modulares.
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 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.

Más información

ID de Registro: 14635
Identificador DC: http://oa.upm.es/14635/
Identificador OAI: oai:oa.upm.es:14635
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 15 Mar 2013 07:39
Ultima Modificación: 21 Abr 2016 14:23
  • 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