M. Hermenegildo, F. Bueno, D. Cabeza, M. Garca de la Banda, P. Lopez, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65--85. Nova Science, Commack, NY, USA, 1999.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....One of the possible future applications envisaged for Jinni is assistance of customers of intelligent appliances, e.g. web based TV, mobile cell phones, car computers. Jinni s multi threading and networking model have recently been ported to BinProlog [73] Ciao Prolog Ciao Prolog [40, 17] is a public domain constraint logic programming system subsuming ISO Prolog. It has a number of useful 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 ....

M. Hermenegildo, F. Bueno, D. Cabeza, M. Garca de la Banda, P. Lopez, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65-85. Nova Science, Commack, NY, USA, 1999.

....Program assertions remain valid, so the bug will be detected when the program is executed in the debug mode. 3.2 Compiling SLAM to Prolog More relevant for the purpose of the paper is the compilation of SLAM programs and assertions into a Prolog piece of code. We use the Ciao Prolog system [6] as the target language. The main reasons are our knowledge of the system and our easy access to the Ciao Prolog system developers, the availability of some higher order features that simplify the implementation of quanti ers, and the existence of an interface to connect C C and Prolog programs. ....

M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garca de la Banda, P. Lopez-Garca, and G. Puebla. The Ciao Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65-85. Nova Science, Commack, NY, USA, April 1999.

....execution of the program, the results of a global analysis of the source code are used. The program analyses includes groundness detection, elimination of delays, and the determination of the finiteness of the number of solutions. All these analyses are incorporated in the CIAO development system [13], an extension of Sicstus Prolog, which will be used as the testbed for our implementation work. Our goal is to write a paper more expositive than technical, although some details about the techniques used and the soundness of the method are provided. The rest of the paper is organized as ....

M. Hermenegildo, F. Bueno, D. Cabeza, M. Garc'ia de la Banda, P. L'opez, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming. Nova Science, Commack, NY, USA, April 1999.

....Program assertions remain valid, so the bug will be detected when the program is executed in the debug mode. 3.2 Compiling SLAM to Prolog More relevant for the purpose of the paper is the compilation of SLAM programs and assertions into a Prolog piece of code. We use the Ciao Prolog system [5] as the target language. The main reasons are our knowledge of the system and our easy access to the Ciao Prolog system developers, the availability of some higher order features that simplify the implementation of quantifiers, and the existence of an interface to connect C C and Prolog ....

M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garc'ia de la Banda, P. L'opez-Garc'ia, and G. Puebla. The Ciao Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65--85. Nova Science, Commack, NY, USA, April 1999. 15

No context found.

M. Hermenegildo, F. Bueno, M. Garca de la Banda, and G. Puebla. The CIAO MultiDialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, December 1995. Available from http://www.clip.dia.fi.upm.es/.

No context found.

M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garca de la Banda, P. Lopez-Garca, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65--85. Nova Science, Commack, NY, USA, April 1999. 136

No context found.

M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garca de la Banda, P. Lopez-Garca, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65--85. Nova Science, Commack, NY, USA, April 1999.

No context found.

M. Hermenegildo, F. Bueno, M. Garc'ia de la Banda, and G. Puebla. The CIAO MultiDialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, December 1995. Available from http://www.clip.dia.fi.upm.es/.

No context found.

M. Hermenegildo, F. Bueno, M. Garca de la Banda, and G. Puebla. The CIAO MultiDialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, December 1995.

No context found.

8 M. Hermenegildo, F. Bueno, D. Cabeza, M. Garca de la Banda, P. Lopez, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming. Nova Science, Commack, NY, USA, April 1999.

No context found.

M. Hermenegildo, F. Bueno, M. Garca de la Banda, and G. Puebla. The CIAO MultiDialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, December 1995. Available from http://www.clip.dia.fi.upm.es/.

No context found.

M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garca de la Banda, P. Lopez-Garca, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65--85. Nova Science, Commack, NY, USA, April 1999.

No context found.

M. Hermenegildo, F. Bueno, M. Garca de la Banda, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, December 1995. Available from http://www.clip.dia.fi.upm.es/.

No context found.

M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garca de la Banda, P. Lopez-Garca, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65--85. Nova Science, Commack, NY, USA, April 1999.

No context found.

M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garca de la Banda, P. LopezGarc a, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65--85. Nova Science, Commack, NY, USA, April 1999.

....and the difficulty of dealing with it. The assertion language proposed is parametric w.r.t. the constraint domain and the particular CLP platform being used and thus can be used for any of them. For example, an instance of the assertion language we propose has been implemented in the CIAO system [12, 2]. Details can be found in [11] The structure of this document is the following. Section 2 briefly discusses the kind of properties expressible in the assertion language. A set of basic assertions is presented in Section 3 and Section 4 presents a compound assertion which allows grouping basic ....

....syntactic sugar may be used which allows writing short assertions which are automatically translated into the assertion language presented in the previous sections. We next give a couple of examples of syntactic sugar which are used in the implementation of the assertion language in CIAO [12]. More details can be found in [13] The first example is the assertion : pred s 2 : var any = numlist ground nofail ; Not a very useful predicate. which is syntactic sugar for : pred s(A,B) var(A) numlist(A) ground(B) nofail where the last field is just a comment which ....

M. Hermenegildo, F. Bueno, M. Garc'ia de la Banda, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, December 1995. Available from http://www.clip.dia.fi.upm.es/.

....program debugging can be found in [10,37] 1. 7 A Sample Debugging Session with the CIAO System We now illustrate some uses of the proposed framework by means of a sample session with ciaopp, the CIAO system preprocessor, which is currently a part 18 of the programming environment of CIAO 13 [26], and which is directly based on the proposed approach. 14 ciaopp uses as analyzers both the LP and CLP versions of the PLAI abstract interpreter [34,9,25] and adaptations of Gallagher s type analysis [24] and works on a large number of abstract domains including moded types, definiteness, ....

M. Hermenegildo, F. Bueno, D. Cabeza, M. Garc'ia de la Banda, P. L'opez, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation Technology for Logic and Constraint Logic Programming. Nova Science, Commack, NY, USA, 1998.

.... we have that the final cost function is: Cost deriv (1) 1, and Cost deriv (n) 3, for n 1 (which is not very useful) 2 7 Implementation We have implemented a prototype of a lower bound size cost analyzer, by recoding the version of CASLOG [5] currently integrated in the CIAO system [7]. The analysis is fully automatic, and only requires type information for the program entry point. Types, modes and size measures are automatically inferred by the system. Table 1 shows some accuracy and efficiency results of the lower bound cost analyzer. The second column of the table shows the ....

M. Hermenegildo, F. Bueno, M. Garc'ia de la Banda, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, December 1995. Available from http://www.clip.dia.fi.upm.es/.

....for concurrent execution. While many systems allow starting a whole subprocess via the operating system interface and this can provide the desired functionality, it is very inecient. A more direct support for concurrency (perhaps along the lines of that present in the AKL [26] Oz [42] and CIAO [24, 18] systems) seems highly desirable and we feel should be provided in all future constraint programming systems. One additional important use of concurrency is in implementing complex, delay based constraint solving algorithms. However, concurrency brings important new challenges in many areas. As ....

....usable environments, and to demonstrate applications of such environments. 2. 6 The CIAO system One particular concurrent constraint logic programming system, CIAO , illustrates how UPM in Madrid is approaching some of the challenges that we have set forward in the previous paragraphs [24, 18]. At the user level CIAO is a programming environment o ering support for full standard Prolog, as well as several constraint domains, several control rules, a module and object system, and concurrency, synchronization, and distribution primitives. As opposed to other concurrent constraint ....

M. Hermenegildo, F. Bueno, M. Garca de la Banda, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, December 1995.

....and the diculty of dealing with it. The assertion language proposed is parametric w.r.t. the constraint domain and the particular CLP platform being used and thus can be used for any of them. For example, an instance of the assertion language we propose has been implemented in the CIAO system [12, 2]. Details can be found in [5] The structure of this document is the following. Section 2 brie y discusses the kind of properties expressible in the assertion language. A set of basic assertions is presented in Section 3 and Section 4 presents a compound assertion which allows grouping basic ....

....syntactic sugar may be used which allows writing short assertions which are automatically translated into the assertion language presented in the previous sections. We next give a couple of examples of syntactic sugar which are used in the implementation of the assertion language in CIAO [12]. More details can be found in [13] The rst example is the assertion : pred s 2 : var any = numlist ground no fail ; Not a very useful predicate. which is syntactic sugar for : pred s(A,B) var(A) numlist(A) ground(B) no fail where the last eld is just a comment which ....

M. Hermenegildo, F. Bueno, M. Garca de la Banda, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, December 1995. Available from http://www.clip.dia.fi.upm.es/.

....Link oping U. NMSU, K.U.Leuven, Bristol U. and Ben Gurion U. The system documentation and related publications contain more speci c credits. The development of Ciaopp has been funded in part by ESPRIT project DiSCiPl and CICYT project ELLA . 1 The Ciao Program Development System Ciao [14] is a public domain, 2 next generation logic programming environment. It is intended at the same time as a robust public domain ISO Prolog implementation supporting programming in the large and in the small, and as an experimentation workbench for new logic programming technology. The Ciao ....

....[21] The transformations simplify the conditions on the delay declarations and also move delayed literals later in the rule body, leading to substantial performance improvement. This is used by Ciaopp, for example, when supporting complex computation models, such as Andorra style execution [14]. Parallelization: Another application of global analysis in Ciaopp is in automatic program parallelization [2] It is also performed as a source tosource transformation, in which the input program is annotated with parallel expressions. A number of heuristic parallelization algorithms are ....

M. Hermenegildo, F. Bueno, D. Cabeza, M. Garca de la Banda, P. Lopez, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming. Nova Science, Commack, NY, USA, April 1999.

....a sockets (or ports) interface whereby it is possible to make remote data connections via the Internet s native protocol, TCP IP. A few systems support higher level functionality layers on top of this interface including linda style blackboards (e.g. SICStus Prolog [7] and Prolog CIAO 1 [16, 17, 14], BinProlog 2 Prolog [26, 2] etc. or shared variable based communication (e.g. KL1 [8] AKL [20] Oz [24] Prolog CIAO [15, 4] etc. In some cases, this functionality is provided via libraries, building on top of the basic TCP IP primitives. This is the case, for example, of the ....

M. Hermenegildo, F. Bueno, M. Garc'ia de la Banda, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, December 1995.

No context found.

M. Hermenegildo, F. Bueno, D. Cabeza, M. Garca de la Banda, P. Lopez, and G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65--85. Nova Science, Commack, NY, USA, 1999.

No context found.

M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garca de la Banda, P. Lopez-Garca, and G. Puebla. The CIAO multi-dialect compiler and system: An experimentation workbench for future (C)LP systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65--85. Nova Science, 1999.

No context found.

M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. Garca de la Banda, and G. Puebla P. Lopez-Garca. The CIAO multi-dialect compiler and system: An experimentation workbench for future (C)LP systems. In Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65-85. Nova Science, 1999.

First 50 documents

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