References

[AAF91]

J. Almgren, S. Andersson, L. Flood, C. Frisk, H. Nilsson, and J. Sundberg.
Sicstus Prolog Library Manual.
Po Box 1263, S-16313 Spanga, Sweden, October 1991.

[AC19a]

Joaquín Arias and Manuel Carro.
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP.
Theory and Practice of Logic Programming, 19(3):412--448, 2019.

[AC19b]

Joaquín Arias and Manuel Carro.
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP.
Theory and Practice of Logic Programming, 19(5-6):1107--1123, September 2019.

[AC19c]

Joaquín Arias and Manuel Carro.
Incremental evaluation of lattice-based aggregates in logic programming using modular TCLP.
In 21st Intl. Symposium on Practical Aspects of Declarative Languages, pages 98--114, January 2019.

[AKNL86]

Hassan Ait-Kaci, Roger Nasr, and Pat Lincoln.
E An Overview.
Technical Report AI-420-86-P, Microelectronics and Computer Technology Corporation, 9430 Research Boulevard, Austin, TX 78759, December 1986.

[AKPS92]

H. Aït-Kaci, A. Podelski, and G. Smolka.
A feature-based constraint system for logic programming with entailment.
In Proc. Fifth Generation Computer Systems 1992, pages 1012--1021, 1992.

[Apt97]

K. Apt, editor.
From Logic Programming to Prolog.
Prentice-Hall, Hemel Hempstead, Hertfordshire, England, 1997.

[BA82]

M. Ben-Ari.
Principles of Concurrent Programming.
Prentice Hall International, 1982.

[BBP81]

D.L. Bowen, L. Byrd, L.M. Pereira, F.C.N. Pereira, and D.H.D. Warren.
Decsystem-10 prolog user's manual.
Technical report, Department of Artificial Intelligence, University of Edinburgh, October 1981.

[BCC04]

F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. López-García, and G. Puebla-(Eds.).
The Ciao System. Reference Manual (v1.10).
The Ciao System Documentation Series--TR CLIP3/97.1.10(04), School of Computer Science, Technical University of Madrid (UPM), Facultad de Informática, 28660 Boadilla del Monte, Madrid, Spain, August 2004.
System and on-line version of the manual available at http://ciao-lang.org.

[BCHP96]

F. Bueno, D. Cabeza, M. V. Hermenegildo, and G. Puebla.
Global Analysis of Standard Prolog Programs.
In European Symposium on Programming, number 1058 in LNCS, pages 108--124, Sweden, April 1996. Springer-Verlag.

[BGH99]

F. Bueno, M. García de la Banda, and M. V. Hermenegildo.
Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming.
ACM Transactions on Programming Languages and Systems, 21(2):189--238, March 1999.

[BLGH04]

F. Bueno, P. López-García, and M. V. Hermenegildo.
Multivariant Non-Failure Analysis via Standard Abstract Interpretation.
In 7th International Symposium on Functional and Logic Programming (FLOPS 2004), number 2998 in LNCS, pages 100--116, Heidelberg, Germany, April 2004. Springer-Verlag.

[BLGPH04]

F. Bueno, P. López-García, G. Puebla, and M. V. Hermenegildo.
The Ciao Prolog Preprocessor.
Technical Report CLIP1/04, Technical University of Madrid (UPM), Facultad de Informática, 28660 Boadilla del Monte, Madrid, Spain, January 2004.

[Bue95]

F. Bueno.
The CIAO Multiparadigm Compiler: A User's Manual.
Technical Report CLIP8/95.0, Facultad de Informática, UPM, June 1995.

[Byr80]

L. Byrd.
Understanding the Control Flow of Prolog Programs.
In S.-A. Tärnlund, editor, Proceedings of the 1980 Logic Programming Workshop, pages 127--138, Debrecen, Hungary, July 1980.

[Cab04]

D. Cabeza.
An Extensible, Global Analysis Friendly Logic Programming System.
PhD thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, August 2004.

[Car87]

M. Carlsson.
Freeze, Indexing, and Other Implementation Issues in the Wam.
In Fourth International Conference on Logic Programming, pages 40--58. University of Melbourne, MIT Press, May 1987.

[Car88]

M. Carlsson.
Sicstus Prolog User's Manual.
Po Box 1263, S-16313 Spanga, Sweden, February 1988.

[CCH06]

A. Casas, D. Cabeza, and M. V. Hermenegildo.
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems.
In The 8th International Symposium on Functional and Logic Programming (FLOPS'06), pages 142--162, Fuji Susono (Japan), April 2006.

[CD96]

Philippe Codognet and Daniel Diaz.
Compiling constraints in clp(fd).
J. Log. Program., 27(3):185--226, 1996.

[CGH93]

M. Carro, L. Gómez, and M. Hermenegildo.
Some Paradigms for Visualizing Parallel Execution of Logic Programs.
In 1993 International Conference on Logic Programming, pages 184--201. MIT Press, June 1993.

[CH95]

D. Cabeza and M. V. Hermenegildo.
Distributed Concurrent Constraint Execution in the CIAO System.
In Proc. of the 1995 COMPULOG-NET Workshop on Parallelism and Implementation Technologies, Utrecht, NL, September 1995. U. Utrecht / T.U. Madrid.
Available from http://www.cliplab.org/.

[CH99a]

D. Cabeza and M. V. Hermenegildo.
Higher-order Logic Programming in Ciao.
Technical Report CLIP7/99.0, Facultad de Informática, UPM, September 1999.

[CH99b]

D. Cabeza and M. V. Hermenegildo.
The Ciao Modular Compiler and Its Generic Program Processing Library.
In ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, pages 147--164. N.M. State U., December 1999.

[CH00a]

D. Cabeza and M. V. 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.

[CH00b]

D. Cabeza and M. V. Hermenegildo.
The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library.
In Special Issue on Parallelism and Implementation of (C)LP Systems, volume 30(3) of Electronic Notes in Theoretical Computer Science. Elsevier - North Holland, March 2000.

[CH00c]

M. Carro and M. V. Hermenegildo.
Tools for Constraint Visualization: The VIFID/TRIFID Tool.
In P. Deransart, M. V. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 253--272. Springer-Verlag, September 2000.

[CH00d]

M. Carro and M. V. Hermenegildo.
Tools for Search Tree Visualization: The APT Tool.
In P. Deransart, M. V. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 237--252. Springer-Verlag, September 2000.

[CH01]

D. Cabeza and M. Hermenegildo.
Distributed WWW Programming using (Ciao) Prolog and the PiLLoW Library.
Theory and Practice of Logic Programming, 1(3):251--282, May 2001.

[CHGT98]

D. Cabeza, M. V. Hermenegildo, S. Genaim, and C. Taboch.
Design of a Generic, Homogeneous Interface to Relational Databases.
Technical Report D3.1.M1-A1, CLIP7/98.0, RADIOWEB Project, September 1998.

[CHL04]

D. Cabeza, M. V. Hermenegildo, and J. Lipton.
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.
In Ninth Asian Computing Science Conference (ASIAN'04), number 3321 in LNCS, pages 93--108. Springer-Verlag, December 2004.

[CHV96]

D. Cabeza, M. V. Hermenegildo, and S. Varma.
The PiLLoW/Ciao Library for INTERNET/WWW Programming using Computational Logic Systems.
In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, pages 72--90, JICSLP'96, Bonn, September 1996.
Text and code available from http://www.cliplab.org/miscdocs/pillow/pillow.html (http://www.cliplab.org/miscdocs/pillow/pillow.html).

[CLI95]

The CLIP Group.
CIAO Compiler: Distributed Execution and Low Level Support Subsystem.
Public Software, ACCLAIM Deliverable D4.3/2-A3, Facultad de Informática, UPM, June 1995.

[CM81]

W.F. Clocksin and C.S. Mellish.
Programming in Prolog.
Springer-Verlag, 1981.

[Col78]

A. Colmerauer.
Metamorphosis grammars.
In Natural language communication with computers, pages 133--189. Springer LNCS 63, 1978.

[Col82]

A. Colmerauer et al.
Prolog II: Reference Manual and Theoretical Model.
Groupe D'intelligence Artificielle, Faculté Des Sciences De Luminy, Marseille, 1982.

[COS96]

The COSYTEC Team.
CHIP System Documentation, April 1996.

[DEDC96]

P. Deransart, A. Ed-Dbali, and L. Cervoni.
Prolog: The Standard.
Springer-Verlag, 1996.

[dG12]

P. Chico de Guzmán.
Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs.
PhD thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, November 2012.

[dGCHS12]

P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, and P. Stuckey.
A general implementation framework for tabled clp.
In Tom Schrijvers and Peter Thiemann, editors, 15th Symposium on Functional and Logic Programming, volume 7294 of LNCS, pages 104--119, May 2012.

[Dij65]

E.W. Dijkstra.
Co-operating sequential processes.
In F. Genuys, editor, Programming Languages. Academic Press, London, 1965.

[DL93]

S. K. Debray and N. W. Lin.
Cost Analysis of Logic Programs.
ACM Transactions on Programming Languages and Systems, 15(5):826--875, November 1993.

[DLGH97]

S.K. Debray, P. López-García, and M. V. Hermenegildo.
Non-Failure Analysis for Logic Programs.
In 1997 International Conference on Logic Programming, pages 48--62, Cambridge, MA, June 1997. MIT Press, Cambridge, MA.

[DLGHL97]

S. K. Debray, P. López-García, M. V. Hermenegildo, and N.-W. Lin.
Lower Bound Cost Estimation for Logic Programs.
In 1997 International Logic Programming Symposium, pages 291--305. MIT Press, Cambridge, MA, October 1997.

[DS99]

Bart Demoen and K. Sagonas.
CHAT is Theta(SLG-WAM).
In D. Mc. Allester H. Ganzinger and A. Voronkov, editors, International Conference on Logic for Programming and Automated Reasoning, volume 1705 of Lectures Notes in Computer Science, pages 337--357. Springer, September 1999.

[GdW94]

J.P. Gallagher and D.A. de Waal.
Fast and Precise Regular Approximations of Logic Programs.
In Pascal Van Hentenryck, editor, Proc. of the 11th International Conference on Logic Programming (ICLP'94), pages 599--613. MIT Press, 1994.

[HBC96]

M. V. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López-García, and G. Puebla.
The CIAO Multi-Dialect Compiler and System: A Demo and Status Report.
In Proceedings of the JICSLP'96 Workshop on Parallelism and Implementation Technology. Computer Science Department, Technical University of Madrid, September 1996.
Available from http://www.cliplab.org/Projects/COMPULOG/meeting96/papers/PS/clip.ps.gz (http://www.cliplab.org/Projects/COMPULOG/meeting96/papers/PS/clip.ps.gz).

[HBC99]

M. V. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López-Garcí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.

[HBC12]

M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, and G. Puebla.
An Overview of Ciao and its Design Philosophy.
Theory and Practice of Logic Programming, 12(1--2):219--252, January 2012.
http://arxiv.org/abs/1102.5497.

[HBdlBP95]

M. Hermenegildo, F. Bueno, M. García 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.cliplab.org/ (http://www.cliplab.org/).

[HBPLG99]

M. V. Hermenegildo, F. Bueno, G. Puebla, and P. López-García.
Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor.
In 1999 Int'l. Conference on Logic Programming, pages 52--66, Cambridge, MA, November 1999. MIT Press.

[HC93]

M. Hermenegildo and The CLIP Group.
Towards CIAO-Prolog -- A Parallel Concurrent Constraint System.
In Proc. of the Compulog Net Area Workshop on Parallelism and Implementation Technologies. FIM/UPM, Madrid, Spain, June 1993.

[HC94]

M. Hermenegildo and The CLIP Group.
Some Methodological Issues in the Design of CIAO - A Generic, Parallel, Concurrent Constraint System.
In Principles and Practice of Constraint Programming, number 874 in LNCS, pages 123--133. Springer-Verlag, May 1994.

[HC97]

M. V. Hermenegildo and The CLIP Group.
An Automatic Documentation Generator for (C)LP -- Reference Manual.
The Ciao System Documentation Series--TR CLIP5/97.3, Facultad de Informática, UPM, August 1997.
Online at http://ciao-lang.org.

[HCC95]

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

[Her86]

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

[Her96]

M. Hermenegildo.
Writing ``Shell Scripts'' in SICStus Prolog, April 1996.
Posting in comp.lang.prolog. Available from http://www.cliplab.org/ (http://www.cliplab.org/).

[Her99]

M. V. Hermenegildo.
A Documentation Generator for Logic Programming Systems.
Technical Report CLIP10/99.0, Facultad de Informática, UPM, September 1999.

[Her00]

M. V. Hermenegildo.
A Documentation Generator for (C)LP Systems.
In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 1345--1361. Springer-Verlag, July 2000.

[HG91]

M. Hermenegildo and K. Greene.
The &-Prolog System: Exploiting Independent And-Parallelism.
New Generation Computing, 9(3,4):233--257, 1991.

[Hog84]

C. J. Hogger.
Introduction to Logic Programming.
Academic Press, London, 1984.

[Hol90]

C. Holzbaur.
Specification of Constraint Based Inference Mechanisms through Extended Unification.
PhD thesis, University of Vienna, 1990.

[Hol92]

C. Holzbaur.
Metastructures vs. Attributed Variables in the Context of Extensible Unification.
In 1992 International Symposium on Programming Language Implementation and Logic Programming, pages 260--268. LNCS 631, Springer Verlag, August 1992.

[Hol94]

C. Holzbaur.
SICStus 2.1/DMCAI Clp 2.1.1 User's Manual.
University of Vienna, 1994.

[HPB99]

M. V. Hermenegildo, G. Puebla, and F. Bueno.
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging.
In K. R. Apt, V. Marek, M. Truszczynski, and D. S. Warren, editors, The Logic Programming Paradigm: a 25--Year Perspective, pages 161--192. Springer-Verlag, July 1999.

[HPBLG05]

M. V. Hermenegildo, G. Puebla, F. Bueno, and P. Lopez-Garcia.
Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor).
Science of Computer Programming, 58(1--2):115--140, October 2005.

[JL87]

Joxan Jaffar and Jean-Louis Lassez.
Constraint LP.
In POPL, pages 111--119. ACM, 1987.

[JL88]

D. Jacobs and A. Langen.
Compilation of Logic Programs for Restricted And-Parallelism.
In European Symposium on Programming, pages 284--297, 1988.

[Knu84]

D. Knuth.
Literate programming.
Computer Journal, 27:97--111, 1984.

[Kor85]

R. Korf.
Depth-first iterative deepening: an optimal admissible tree search.
Artificial Intelligence, 27:97--109, 1985.

[LGBH05]

P. López-García, F. Bueno, and M. V. Hermenegildo.
Determinacy Analysis for Logic Programs Using Mode and Type Information.
In Proceedings of the 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), number 3573 in LNCS, pages 19--35. Springer-Verlag, August 2005.

[LGBH10]

P. López-García, F. Bueno, and M. V. Hermenegildo.
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Information.
New Generation Computing, 28(2):117--206, 2010.

[LGHD96]

P. López-García, M. V. Hermenegildo, and S. K. Debray.
A Methodology for Granularity Based Control of Parallelism in Logic Programs.
Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation, 21(4--6):715--734, 1996.

[MH89]

K. Muthukumar and M. Hermenegildo.
Determination of Variable Dependence Information at Compile-Time Through Abstract Interpretation.
In 1989 North American Conference on Logic Programming, pages 166--189. MIT Press, October 1989.

[Mye86]

Eugene W Myers.
An O(ND) difference algorithm and its variations.
Algorithmica, 1(1-4):251--266, 1986.

[Nai85]

L. Naish.
The MU-Prolog 3.2 Reference Manual.
TR 85/11, Dept. of Computer Science, U. of Melbourne, October 1985.

[Nai91]

Lee Naish.
Adding equations to NU-Prolog.
In Proceedings of The Third International Symposium on Programming Language Implementation and Logic Programming (PLILP'91), number 528 in Lecture Notes in Computer Science, pages 15--26, Passau, Germany, August 1991. Springer-Verlag.

[Par97]

The RADIOWEB Project Partners.
RADIOWEB EP25562: Automatic Generation of Web Sites for the Radio Brodcasting Industry -- Project Description / Technical Annex.
Technical Report, RADIOWEB Project, July 1997.

[PBH97]

G. Puebla, F. Bueno, and M. V. Hermenegildo.
An Assertion Language for Debugging of Constraint Logic Programs.
In Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, October 1997.
Available from ftp://cliplab.org/pub/papers/assert_lang_tr_discipldeliv.ps.gz (ftp://cliplab.org/pub/papers/assert_lang_tr_discipldeliv.ps.gz) as technical report CLIP2/97.1.

[PBH00]

G. Puebla, F. Bueno, and M. V. Hermenegildo.
An Assertion Language for Constraint Logic Programs.
In P. Deransart, M. V. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000.

[PH99]

G. Puebla and M. V. Hermenegildo.
Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs.
In ICLP'99 Workshop on Optimization and Implementation of Declarative Languages, pages 45--61. U. of Southampton, U.K, November 1999.

[PRO]

The PROLOG IV Team.
PROLOG IV Manual.

[PW80]

F.C.N. Pereira and D.H.D. Warren.
Definite clause grammars for language analysis - a survey of the formalism and a comparison with augmented transition networks.
Artificial Intelligence, 13:231--278, 1980.

[RRR96]

Prasad Rao, C. R. Ramakrishnan, and I.V. Ramakrishnan.
A Thread in Time Saves Tabling Time.
In JICSLP. MIT Press, 1996.

[SMH15]

N. Stulova, J. F. Morales, and M. V. Hermenegildo.
Practical Run-time Checking via Unobtrusive Property Caching.
Theory and Practice of Logic Programming, 31st Int'l. Conference on Logic Programming (ICLP'15) Special Issue, 15(04-05):726--741, September 2015.
http://arxiv.org/abs/1507.05986.

[SMH18a]

N. Stulova, J. F. Morales, and M. V. Hermenegildo.
Exploiting Term Hiding to Reduce Run-time Checking Overhead.
In Francesco Calimeri, Kevin Hamlen, and Nicola Leone, editors, 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018), number 10702 in LNCS, pages 99--115. Springer-Verlag, January 2018.

[SMH18b]

N. Stulova, J. F. Morales, and M. V. Hermenegildo.
Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis.
Science of Computer Programming, 155:3--26, April 2018.
Selected and Extended papers from the International Symposium on Principles and Practice of Declarative Programming 2016.

[SS86]

L. Sterling and E. Shapiro.
The Art of Prolog.
MIT Press, 1986.

[Swe95]

Swedish Institute of Computer Science, P.O. Box 1263, S-16313 Spanga, Sweden.
Sicstus Prolog V3.0 User's Manual, 1995.

[TS86]

H. Tamaki and M. Sato.
OLD Resol. with Tabulation.
In ICLP'86, pages 84--98. LNCS, 1986.

[Van89]

P. Van Hentenryck.
Constraint Satisfaction in Logic Programming.
MIT Press, Cambridge, MA, 1989.

[War88]

D.H.D. Warren.
The Andorra Model.
Presented at Gigalips Project workshop. U. of Manchester, March 1988.

[War92]

D. S. Warren.
Memoing for Logic Programs.
CACM, 35(3):93--111, 1992.