D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 131-148. Springer-Verlag, July 2000. 14 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Computational Logic and Multi-Agent Systems: a Roadmap - Sadri, Toni (1999) (30 citations) (Correct)
....features for the implementation of agent based software. Ciao Prolog supports threads, a shared database with atomic updates, objects, and high level remote inter process communication (including interfaces for local and remote databases [18] and WWW [8] access) The Ciao module package system [9] makes it possible to add syntactic and semantic extensions to the language, in a more structured way than traditional Prolog systems, and this can be done without a ecting other parts of the language. Ciao also includes a large set of libraries. Additionally, Ciao Prolog generates multiplatform ....
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In Proc. of the Workshop on Parallelism and Implementation of (C)LP Systems. In conjunction with ICLP'99, New Mexico State University, US, December 1999.
The Ciao Modular, Standalone Compiler and Its Generic.. - Cabeza, Hermenegildo Self-citation (Cabeza Hermenegildo) (Correct)
No context found.
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In ICLP'99 WS on Parallelism and Implementation of (C)LP Systems. N.M. State U., December 1999.
A Documentation Generator for (C)LP Systems - Hermenegildo (2000) Self-citation (Hermenegildo) (Correct)
No context found.
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In International Conference on Computational Logic, CL2000, LNCS. Springer-Verlag, July 2000. To appear.
Improved Compilation of Prolog to C Using Moded Types.. - Morales, Carro.. Self-citation (Hermenegildo) (Correct)
No context found.
Cabeza, D., Hermenegildo, M.: A New Module System for Prolog. In: International Conference on Computational Logic, CL2000. Number 1861 in LNAI, SpringerVerlag (2000) 131--148
Some Issues in Analysis and Specialization of Modular.. - Puebla, Hermenegildo (2000) (5 citations) Self-citation (Hermenegildo) (Correct)
No context found.
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, pages 110-- 128. N.M. State U., December 1999.
Some Issues in Analysis and Specialization of Modular.. - Puebla, Hermenegildo (1999) (5 citations) Self-citation (Hermenegildo) (Correct)
....and the names of the imported modules. Other modules can only use predicates which are among the ones exported by the considered module. Predicates which are not exported are not visible outside the module. For concreteness, we will concentrate on a particular, strict module system for Prolog [CH99a] the one used in Ciao Prolog [CLI97] This module system is in fact quite similar to the module systems of the most popular Prolog implementations. Thus, the discussion in the rest of the paper should apply to such module systems, or, at least, to their subset which is strict. 2 However, it is ....
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In ICLP'99 WS on Parallelism and Implementation of (C)LP Systems. N.M. State U., December 1999.
A Documentation Generator for (C)LP Systems - Hermenegildo Self-citation (Hermenegildo) (Correct)
.... from a summary comment or from a module comment, if no summary is available (see also the example) A usage and interface section, which is typically generated without any need for comment declarations, and includes: Module usage info, stating whether it is a module, a user le, a package [1], etc. and how it is to be loaded. These automatically generated loading instructions can be replaced by more speci c ones by means of a usage comment. List of exported predicates. These are classi ed by kind: normal predicates, multi le predicates, regular types, properties, declarations, ....
....modules (e.g. the assertions, the module declarations, exports, imports, dynamic declarations, syntax extensions, mode de nitions, etc. and even the source code) lpdoc requires a full reader. This is specially true for the full Ciao system source language, which is designed to be very extensible [1]. Also, because the design objective was to be able to document very large systems in an ecient way, processing of the source les, including module interface information, declarations, comments, assertions, etc. has been made highly incremental. The objectives are achieved in a straightforward ....
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In ICLP'99 WS on Parallelism and Implementation of (C)LP Systems. N.M. State U., December 1999.
A Configuration Framework to Develop and Deploy Distributed .. - Fernandez, Carrillo (2001) (Correct)
No context found.
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 131-148. Springer-Verlag, July 2000. 14
A Configuration Framework for Distributed Logic Applications - Fernandez, Carrillo (Correct)
No context found.
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 131-148. Springer-Verlag, July 2000.
Improved Compilation of Prolog to C Using Moded Types and.. - Morales, Carro, al. (2004) (Correct)
No context found.
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 131--148. Springer-Verlag, July 2000.
Fuzzy Prolog: A Simple Implementation Using CLP(R) - Vaucheret, Guadarrama.. (2001) (Correct)
No context found.
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In International Conference on Computational Logic, CL2000, LNCS. SpringerVerlag, July 2000. To appear.
Improving the Compilation of Prolog to C Using Type.. - Morales, Carro (Correct)
No context found.
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 131--148. Springer-Verlag, July 2000.
The O'Ciao Approach to Object Oriented Logic Programming - Pineda, Bueno (2002) (5 citations) (Correct)
No context found.
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In CL2000, LNAI, 1861, pages 131-148. Springer-Verlag, July 2000.
Fuzzy Prolog: A Simple General Implementation Using CLP(R) - Vaucheret, Guadarrama, Munoz (Correct)
No context found.
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 131-148. Springer-Verlag, July 2000.
Improving the Compilation of Prolog to C Using Type.. - Morales, Carro (Correct)
No context found.
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 131--148. Springer-Verlag, July 2000.
Fuzzy Prolog: A Simple General Implementation Using CLP(R) - Vaucheret, Guadarrama.. (2002) (Correct)
No context found.
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 131-148. Springer-Verlag, July 2000.
Improving the Compilation of Prolog to C Using Type.. - Morales, Carro (Correct)
No context found.
D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 131--148. Springer-Verlag, July 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC