CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

Publications in Parallel Execution Models and Task Scheduling


Articles in First-Level Refereed Conferences and Journals:

  1. P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo. Parallel Backtracking with Answer Memoing for Independent And-Parallelism. Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, Vol. 11, Num. 4-5, pages 555-574, Cambridge U. Press, July 2011.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

  2. A. Casas, M. Carro, M. V. Hermenegildo. A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism. 24th International Conference on Logic Programming (ICLP'08), LNCS, Vol. 5366, pages 651-666, Springer-Verlag, December 2008.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  3. G. Gupta, E. Pontelli, K. Ali, M. Carlsson, M. V. Hermenegildo. Parallel Execution of Prolog Programs: a Survey. ACM Transactions on Programming Languages and Systems, Vol. 23, Num. 4, pages 472-602, ACM Press, July 2001.

    JCR: position (ave) top 22%, impact (ave) 1.27, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A*. Citeseer: position 41/1221 (top 3%), impact 1.92. Average position: top 10%.

  4. M. Carro, M. Hermenegildo. Concurrency in Prolog Using Threads and a Shared Database. 1999 International Conference on Logic Programming, pages 320-334, MIT Press, Cambridge, MA, USA, November 1999.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  5. M. García de la Banda, F. Bueno, M. Hermenegildo. Towards Independent And-Parallelism in CLP. Programming Languages: Implementation, Logics, and Programs, LNCS, Num. 1140, pages 77-91, Springer-Verlag, September 1996.

    Citeseer: position 297/1221 (top 24%), impact 0.99. Average position: top 24%.

  6. M. Hermenegildo, D. Cabeza, M. Carro. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. Proc. of the Twelfth International Conference on Logic Programming, pages 631-645, MIT Press, June 1995.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  7. M. Hermenegildo, F. Rossi. Strict and Non-Strict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. Journal of Logic Programming, Vol. 22, Num. 1, pages 1-45, Elsevier - North Holland, 1995.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 56/1221 (top 5%), impact 1.78. Average position: top 20%.

  8. G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. International Conference on Logic Programming, pages 93-110, MIT Press, June 1994.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  9. H. Kuchen, J. Moreno-Navarro, M. Hermenegildo. Independent AND-Parallel Implementation of Narrowing. Proc. 4th. Int'l Symposium on Programming Language Implementation and Logic Programming, LNCS, Num. 631, pages 24-38, Springer-Verlag, August 1992.

    Citeseer: position 297/1221 (top 24%), impact 0.99. Average position: top 24%.

  10. G. Gupta, M. Hermenegildo. Recomputation based Implementation of And-Or Parallel Prolog. Proc. of the 1992 International Conference on Fifth Generation Computer Systems, pages 770-782, Institute for New Generation Computer Technology (ICOT), June 1992.

    Citeseer: position 359/1221 (top 29%), impact 0.85. Average position: top 29%.

  11. F. Bueno, M. Hermenegildo. An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. Proc. of the 1992 International Conference on Fifth Generation Computer Systems, Vol. 2, pages 759-769, Institute for New Generation Computer Technology (ICOT), June 1992.

    Citeseer: position 359/1221 (top 29%), impact 0.85. Average position: top 29%.

  12. K. Shen, M. Hermenegildo. A Simulation Study of Or- and Independent And-parallelism. International Logic Programming Symposium, pages 135-151, MIT Press, October 1991.

    Citeseer: position 118/1221 (top 10%), impact 1.47. Average position: top 10%.

  13. G. Gupta, V. Santos-Costa, R. Yang, M. Hermenegildo. IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. 1991 International Logic Programming Symposium, pages 152-166, MIT Press, October 1991.

    Citeseer: position 118/1221 (top 10%), impact 1.47. Average position: top 10%.

  14. M. Hermenegildo, F. Rossi. Non-Strict Independent And-Parallelism. 1990 International Conference on Logic Programming, pages 237-252, MIT Press, Association for Logic Programming, June 1990.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  15. M. Hermenegildo, K. Greene. &-Prolog and its Performance: Exploiting Independent And-Parallelism. 1990 International Conference on Logic Programming, pages 253-268, MIT Press, Association for Logic Programming, June 1990.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  16. M. Hermenegildo, F. Rossi. On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. 1989 North American Conference on Logic Programming, pages 369-390, MIT Press, October 1989.

    Citeseer: position 138/1221 (top 11%), impact 1.38. Average position: top 11%.

  17. K. Muthukumar, M. Hermenegildo. Complete and Efficient Methods for Supporting Side Effects in Independent/Restricted And-parallelism. 1989 International Conference on Logic Programming, pages 80-101, MIT Press, June 1989.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  18. M. Hermenegildo, E. Tick. Memory Performance of AND-Parallel Prolog on Shared-Memory Architectures. Proceedings of the 17th International Conference on Parallel Processing, pages 17-22, IEEE, August 1988.

    CORE: A. Citeseer: position 313/1221 (top 26%), impact 0.95. Average position: top 29%.

  19. M. Hermenegildo. Relating Goal Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. Fourth International Conference on Logic Programming, pages 556-575, MIT Press, University of Melbourne, May 1987.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  20. M. Hermenegildo, R. I. Nasr. Efficient Management of Backtracking in AND-parallelism. Third International Conference on Logic Programming, LNCS, Num. 225, pages 40-55, Springer-Verlag, Imperial College, July 1986.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  21. M. Hermenegildo. An Abstract Machine for Restricted AND-parallel Execution of Logic Programs. Third International Conference on Logic Programming, Lecture Notes in Computer Science, Num. 225, pages 25-40, Springer-Verlag, Imperial College, July 1986.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  22. G. J. Lipovski, M. Hermenegildo. B-LOG: A Branch and Bound Methodology for the Parallel Execution of Logic Programs. 1985 IEEE International Conference on Parallel Processing, pages 560-568, IEEE Computer Society, August 1985.

    CORE: A. Citeseer: position 313/1221 (top 26%), impact 0.95. Average position: top 29%.


Articles in Second-Level Refereed Conferences and Journals:

  1. P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo. A Segment-Swapping Approach for Executing Trapped Computations. PADL'12, LNCS, Vol. 7149, pages 138-152, Springer Verlag, January 2012.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  2. L. Scandolo, C. Kunz, G. Barthe, M. V. Hermenegildo. Program Parallelization using Synchronized Pipelining. Proceedings of the 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09), LNCS, Vol. 6037, pages 173-187, Springer, 2010.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

  3. A. Casas, M. Carro, M. V. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 230-247, Springer-Verlag, January 2008.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  4. A. Casas, M. Carro, M. V. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'07), LNCS, Num. 4915, pages 138-153, Springer-Verlag, August 2007.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

  5. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in Dynamically Scheduled Logic Languages. 1996 International Conference on Algebraic and Logic Programming, LNCS, Num. 1139, pages 47-61, Springer-Verlag, September 1996.

    CORE: B. Citeseer: position 263/1221 (top 22%), impact 1.05. Average position: top 43%.

  6. K. Shen, M. Hermenegildo. Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. Proceedings of EuroPar'96, LNCS, Num. 1124, pages 635-640, Springer-Verlag, August 1996.

    Citeseer: position 491/1221 (top 40%), impact 0.67. Average position: top 40%.

  7. K. Shen, M. Hermenegildo. High-level Characteristics of Or- and Independent And-parallelism in Prolog. Int'l. Journal of Parallel Programming, Vol. 24, Num. 5, pages 433-478, Plenum Press, 1996.

    JCR: position (ave) top 83%, impact (ave) 0.34, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. CiteseerX position (ave) top 28%, impact (ave) 0.210. Average position: top 43%.

  8. M. Hermenegildo, M. Carro. Relating Data-Parallelism and And-Parallelism in Logic Programs. Proceedings of EURO-PAR'95, LNCS, Num. 966, pages 27-42, Springer-Verlag, August 1995.

    Citeseer: position 491/1221 (top 40%), impact 0.67. Average position: top 40%.

  9. E. Pontelli, G. Gupta, M. Hermenegildo. &ACE: A High-Performance Parallel Prolog System. International Parallel Processing Symposium, pages 564-572, IEEE Computer Society, IEEE Computer Society Technical Committee on Parallel Processing, April 1995.

    CORE: A. CiteseerX position (ave) top 36%, impact (ave) 0.316. Average position: top 34%.

  10. M. Olmedilla, F. Bueno, M. Hermenegildo. Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. Logic Program Synthesis and Transformation, 1993, Workshops in Computing, pages 177-195, Springer-Verlag, July 1993.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

  11. G. Gupta, M. Hermenegildo, V. Santos-Costa. And-Or Parallel Prolog: A Recomputation Based Approach. New Generation Computing, Vol. 11, Num. 3-4, pages 297-323, Springer Verlag, 1993.

    JCR: position (ave) top 61%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURECOMPUTER SCIENCE, THEORY & METHODS CORE: B. Citeseer: position 305/1221 (top 25%), impact 0.97. Average position: top 50%.

  12. M. Hermenegildo, K. Greene. The &-Prolog System: Exploiting Independent And-Parallelism. New Generation Computing, Vol. 9, Num. 3,4, pages 233-257, Springer Verlag, 1991.

    JCR: position (ave) top 61%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURECOMPUTER SCIENCE, THEORY & METHODS CORE: B. Citeseer: position 305/1221 (top 25%), impact 0.97. Average position: top 50%.

  13. M. Hermenegildo, E. Tick. Memory Referencing Characteristics and Caching Performance of AND-Parallel Prolog on Shared-Memory Architectures. New Generation Computing, Vol. 7, Num. 1, pages 37-58, Springer Verlag, October 1989.

    JCR: position (ave) top 61%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURECOMPUTER SCIENCE, THEORY & METHODS CORE: B. Citeseer: position 305/1221 (top 25%), impact 0.97. Average position: top 50%.


Books and Monographs:

  1. A. Casas. Automatic Unrestricted Independent And-Parallelism in Declarative Multiparadigm Languages. Ph.D. Thesis, University of New Mexico (UNM), Electrical and Computer Engineering Department, University of New Mexico, Albuquerque, NM 87131-0001 (USA), September 2008.

  2. M. Carro. Some Contributions to the Study of Parallelism and Concurrency in Logic Programming. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, November 2001.

  3. M. García de la Banda. Independence, Global Analysis, and Parallelism in Dynamically Scheduled Constraint Logic Programming. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, September 1994.

  4. M. Carro. Implementation of Non-Determinism and Optimization of the Memory Usage in the And-Parallel Execution of Logic Programs. Ms. Thesis, T. University of Madrid (UPM), Facultad de Informática, Madrid, 28660, 99 pages, December 1993. In Spanish.

  5. M. Hermenegildo. An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel. Ph.D. Thesis, Dept. of Electrical and Computer Engineering (Dept. of Computer Science TR-86-20), University of Texas at Austin, Austin, Texas 78712, 244 pages, UMI, Boston, MA and U. of Texas, August 1986.

  6. M. Hermenegildo. Computational Models for Sequential and Parallel Execution of Logic Programs on a Reconfigurable Architecture. Ms. Thesis, The University of Texas at Austin, ENS Bldg. 515, Austin, TX 78712, 122 pages, June 1984.


Articles in Books and Other Collections:

  1. K. Shen, M. Hermenegildo. Divided We Stand: Parallel Distributed Stack Memory Management. Implementations of Logic Programming Systems, pages 185-203, Kluwer Academic Publishers, 1994.

  2. M. Hermenegildo. Research on Parallel Logic Language Implementation and Architecture at ICOT. The ICOT Research Exchange Report, Vol. 2, pages 157-174, Institute for New Generation Computer Technology (ICOT), June 1992.


Articles in Third-Level (or Non-Indexed) Refereed Conferences and Journals:

  1. Zorana Bankovic, Umer Liqat, Pedro López-García. A General Methodology for Energy-efficient Scheduling in Multicore Environments based on Evolutionary Algorithms. Journal of Multiple-Valued Logic and Soft Computing, SOCO'15 Special Issue, To Appear, Old City Publishing, 2016.

  2. Zorana Bankovic, Pedro Lopez-Garcia. Stochastic vs. Deterministic Evolutionary Algorithm-based Allocation and Scheduling for XMOS Chips. Neurocomputing, Vol. 150, pages 82-89, Elsevier, February 2015.

    JCR: position (ave) top 55%, impact (ave) 0.69, subject(s): COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE CORE: B. CiteseerX position (ave) top 86%, impact (ave) 0.037. Average position: top 68%.

  3. M. Hermenegildo, M. Carro. Relating Data-Parallelism and (And-) Parallelism in Logic Programs. The Computer Languages Journal, Vol. 22, Num. 2/3, pages 143-163, Elsevier Science, July 1996.

    JCR: position (ave) top 73%, impact (ave) 0.34, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: C. Citeseer: position 630/1221 (top 52%), impact 0.49. Average position: top 75%.

  4. E. Pontelli, G. Gupta, D. Tang, M. Carro, M. Hermenegildo. Improving the Efficiency of Nondeterministic And-parallel Systems. The Computer Languages Journal, Vol. 22, Num. 2/3, pages 115-142, Pergamon/Elsevier, July 1996.

    JCR: position (ave) top 73%, impact (ave) 0.34, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: C. Citeseer: position 630/1221 (top 52%), impact 0.49. Average position: top 75%.

  5. A. Guzmán, M. Hermenegildo. Constructs and Evaluation Strategies for Intelligent Speculative Parallelism - Armageddon Revisited. 1988 ACM Computer Science Conference, pages 106-115, ACM, February 1988.

  6. M. Hermenegildo, R. Warren. Designing a High-Performance Parallel Logic Programming System. Computer Architecture News, Special Issue on Parallel Symbolic Programming, Vol. 15, Num. 1, pages 43-53, ACM, March 1987.


Publications in Refereed Workshops:

  1. L. Scandolo, C. Kunz, G. Barthe, M. V. Hermenegildo. Program Parallelization using Synchronized Pipelining. Pre-proceedings of the 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09), September 2009.

  2. A. Casas, M. Carro, M. V. Hermenegildo. Towards High-Level Execution Primitives for And-Parallelism: Preliminary Results. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'07, ICLP associated workshop), 15 pages, U. of Evora, September 2007.

  3. A. Casas, M. Carro, M. V. Hermenegildo. Towards A High-Level Implementation of Flexible Parallelism Primitives for Symbolic Languages. Parallel Symbolic Computation (PASCO'07), 2 pages, ACM Press, July 2007. Extended Abstract.

  4. M. Hermenegildo, D. Cabeza, M. Carro. On The Uses of Attributed Variables in Parallel and Concurrent Logic Programming Systems. Proc. of the 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies, 15 pages, U. of Madrid, September 1994. Also provided as attachment UPM-1 of deliverable D4.3/2.

  5. M. Hermenegildo, M. Carro. A Note on Data-Parallelism and (And-Parallel) Prolog. ICLP WS on Parallel and Data Parallel Execution of Logic Programs, 16 pages, June 1994.

  6. D. Tang, E. Pontelli, G. Gupta, M. Carro. Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ICLP WS on Parallel and Data Parallel Execution of Logic Programs, 14 pages, Uppsala University, CS Department, Box 311, S-751 Uppsala, Sweden, June 1994.

  7. M. Hermenegildo, The CLIP Group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel Concurrent Constraint System. Proc. of the 1994 ICOT/NSF Workshop on Parallel and Concurrent Programming, U. of Oregon, March 1994.

  8. M. Carro, L. Gómez, M. Hermenegildo. Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. JICSLP'92 Workshop on Parallel Execution, 15 pages, November 1992.

  9. M. Carro, L. Gómez, M. Hermenegildo. Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. Primer Congreso Nacional de Programación Declarativa, pages 262-278, FIM/UPM, September 1992.

  10. G. Gupta, M. Hermenegildo, V. Santos-Costa. Generalized Stack Copying for And-Or Parallel Implementations. JICSLP'92 Workshop on Parallel Execution, 15 pages, 1992.

  11. G. Gupta, M. Hermenegildo. ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP '91 Workshop on Parallel Execution of Logic Programs, LNCS, Num. 569, pages 146-159, Springer-Verlag, December 1991.

  12. I. Walker, M. Hermenegildo. An application of AI techniques and parallel implementation technology to the trajectory planning problem for redundant robot manipulators. 1987 IEEE International Workshop on Robotics: Trends, Technology, and Applications, pages 53-61, ETSII, IEEE, February 1988.


Technical Reports and Manuals:

  1. Guillermo Vigueras, Salvador Tamarit, Manuel Carro, Julio Mariño. Towards a Rule-Based Approach to Generate High-Performance Scientific Code. Num. CLIP1/2015.0, 8 pages, The CLIP Lab, March 2015. http://cliplab.org/papers/vigueras15-rule-based.pdf.

  2. P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo. A Simulation Study on Parallel Backtracking with Solution Memoing for Independent And-Parallelism. Num. CLIP1/2011.0, 12 pages, Technical University of Madrid (UPM), January 2011.

  3. A. Casas, M. Carro, M. V. Hermenegildo. A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism. Num. TR-CS-2008-10, University of New Mexico (UNM), September 2008.

  4. A. Casas, M. Carro, M. V. Hermenegildo. Automatic Unrestricted Independent And-Parallelism in Logic Programs. Num. CLIP11/2007.0, Technical University of Madrid (UPM), December 2007. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).

  5. A. Casas, M. Carro, M. V. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism. Num. TR-CS-2007-16, University of New Mexico (UNM), October 2007.

  6. A. Casas, M. Carro, M. V. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. Num. TR-CS-2007-14, University of New Mexico (UNM), September 2007.

  7. A. Casas, M. Carro, M. V. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-Restricted, Independent And-Parallelism. Num. CLIP7/2007.0, Technical University of Madrid (UPM), August 2007.

  8. A. Casas, M. Carro, M. V. Hermenegildo. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. Num. CLIP5/2007.0, Technical University of Madrid (UPM), June 2007.

  9. A. Kostenko, M. Carro. A Preliminary DHT Infrastructure for Ciao. Num. CLIP12/2006.0, Technical University of Madrid (UPM), August 2006.

  10. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. López-García, G. Puebla-(Eds.). The Ciao System. Reference Manual (V1.10). School of Computer Science, Technical University of Madrid (UPM), June 2004. System and on-line version of the manual available at http://ciao-lang.org.

  11. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. López-García, G. Puebla. The Ciao Prolog System. Reference Manual (V1.8). Num. CLIP4/2002.1, School of Computer Science, Technical University of Madrid (UPM), May 2002. System and on-line version of the manual available at http://ciao-lang.org.

  12. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. López-García, G. Puebla. The Ciao Prolog System. Reference Manual (V1.6). Num. CLIP5/2000.1, School of Computer Science, Technical University of Madrid (UPM), July 2000. System and on-line version of the manual available at http://ciao-lang.org.

  13. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. López-García, G. Puebla. The Ciao Prolog System. Reference Manual (V1.0). Num. CLIP11/99.1, School of Computer Science, Technical University of Madrid (UPM), June 1999. System and on-line version of the manual available at http://ciao-lang.org.

  14. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. López-García, G. Puebla. The Ciao Prolog System. Reference Manual (V0.6). Num. CLIP12/98.1, School of Computer Science, Technical University of Madrid (UPM), July 1998. System and on-line version of the manual available at http://ciao-lang.org.

  15. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. López-García, G. Puebla. The Ciao Prolog System. Reference Manual. Num. CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997. System and on-line version of the manual available at http://ciao-lang.org.

  16. M. Hermenegildo, M. Carro. A Note on Data-Parallelism and (And-Parallel) Prolog. Num. CLIP 6/94.0, 15 pages, School of Computer Science, Technical University of Madrid (UPM), June 1995.

  17. E. Pontelli, G. Gupta, D. Tang, M. Hermenegildo, M. Carro. Efficient Implementation of And-parallel Prolog Systems. Num. CLIP4/95.0, T.U. of Madrid (UPM), June 1995.

  18. M. Hermenegildo, D. Cabeza, M. Carro. On The Uses of Attributed Variables in Parallel and Concurrent Logic Programming Systems. Num. CLIP 5/94.0, 17 pages, School of Computer Science, Technical University of Madrid (UPM), June 1994. Presented at the ILPS'94 Post Conference Workshop on Design and Implementation of Parallel Logic Programming Systems, Available from http://www.cliplab.org/.

  19. K. Shen, M. Hermenegildo. A Flexible Scheduling and Memory Management Scheme for Non-Deterministic, And-parallel Execution. Num. CLIP6/94.0, T.U. of Madrid (UPM), June 1994.

  20. K. Shen, M. Hermenegildo. A Flexible Scheduling and Memory Management Scheme for Non-Deterministic, And-parallel Execution of Logic Programs. Num. CLIP 4/93.0, T.U. of Madrid (UPM), April 1993. Presented at the ICLP'93 Post Conference Workshop on Logic Program Implementation.

  21. M. Carro, L. Gómez, M. Hermenegildo. Using VisAndOr to Debug and Understand Parallel Execution of Logic Programs. Num. CLIP 1/93.0, School of Computer Science, Technical University of Madrid, February 1993.

  22. G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. New Mexico State University, Computer Science Dept., 1993.

  23. G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. Num. CLIP7/92.0, U. of Madrid (UPM) and New Mexico S.U., November 1992.

  24. F. Bueno, M. Hermenegildo. Results on Automatic Translation from Prolog to the Andorra Kernel Language. Num. CLIP2/91.0, T.U. of Madrid (UPM), September 1991. theory in technical report, ``Towards an Automatic Translation Algorithm from Prolog to the Andorra Kernel Language''.

  25. G. Gupta, M. Hermenegildo. ACE: And/Or-parallel Copying-based Execution of Logic Programs. Num. without, T.U. of Madrid (UPM), June 1991. also in Proc. ICLP91 Workshop on Parallel Execution of Logic Programs.

  26. G. Gupta, V. Santos-Costa, R. Yang, M. Hermenegildo. IDIOM: A Model Intergrating Dependent-, Independent-, and Or-parallelism. Num. CLIP8/91.0, University of Bristol, March 1991.

  27. K. Shen, M. Hermenegildo. A Simulation Study of Or- and Independent And-parallelism. Num. FIM-60.1/AI/90, Facultad de Informatica, U. P. Madrid, 28660 Boadilla del Monte, Madrid, Spain, October 1990.

  28. M. Hermenegildo, R. I. Nasr. A Tool for Visualizing Independent And-parallelism in Logic Programs. Num. CLIP1/90.0, T.U. of Madrid (UPM), 1990. Presented at the NACLP-90 Workshop on Parallel Logic Programming, Austin, TX.

  29. M. Hermenegildo, K. Greene. &-Prolog and its Performance: Exploiting Independent And-Parallelism. Num. ACA-ST-536-89, MCC, Austin, TX 78759, November 1989.

  30. M. Hermenegildo, F. Rossi. Strict and Non-Strict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. Num. ACA-ST-537-89, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, November 1989.

  31. M. Hermenegildo, K. Muthukumar, K. Greene, F. Rossi, R. I. Nasr. An Overview of the PAL Project. Num. ACT-ST-234-89, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, September 1989.

  32. M. Hermenegildo, F. Rossi. On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. Num. ACA-ST-032-89, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, January 1989.

  33. M. Hermenegildo, E. Tick. Memory Performance of AND-Parallel Prolog on Shared-Memory Architectures. Num. ACA-ST-036-88, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, January 1988.

  34. M. Hermenegildo, E. Tick. Performance Evaluation of the RAP-WAM Restricted AND-Parallel Architecture on Shared Memory Multiprocessors. Num. PP-085-87, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, March 1987.

  35. R. Warren, M. Hermenegildo. Experimenting with Prolog: An Overview. Num. ACA/PP 43, Microelectronics and Computer Technology Corporation (MCC), 3500 W. Balcones Center Dr. Austin, TX 78759, March 1987.

  36. M. Hermenegildo. Relating Goal Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. Num. PP-408-86, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, December 1986.

  37. M. Hermenegildo, G. J. Lipovski, R. Warren. Goal Scheduling and Memory Management in Parallel Logic Systems. Num. PP-083-86, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, March 1986.

  38. M. Hermenegildo. A Restricted AND-parallel Execution Model and Abstract Machine for Prolog Programs. Num. PP-104-85, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, October 1985.

Last updated on Fri Dec 1 13:15:42 CET 2017