References

[AAF91]

J. Almgren, S. Andersson, L. Flood, C. Frisk, H. Nilsson, and J. Sundberg.
{Sicstus {P}rolog {L}ibrary {M}anual}.
Po Box 1263, S-16313 Spanga, Sweden, October 1991.

[AKNL86]

Hassan Ait-Kaci, Roger Nasr, and Pat Lincoln.
{E} {A}n {O}verview.
Technical Report AI-420-86-P, Microelectronics and Computer Technology Corporation, 9430 Research Boulevard, Austin, TX 78759, December 1986.

[AKPS92]

H. A{\"\i}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 {L}ogic {P}rogramming to {P}rolog}.
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.

[BCC97]

F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. L\'{o}pez-Garc\'{\i}a, and G. Puebla.
{T}he {C}iao {P}rolog {S}ystem. {R}eference {M}anual.
The Ciao System Documentation Series--{TR} {CLIP}3/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997.
System and on-line version of the manual available at \htmladdnormallink{{\tt http://clip.dia.fi.upm.es/Software/Ciao/}} {http://clip.dia.fi.upm.es/Software/Ciao/}.

[BdlBH99]

F. Bueno, M.~Garc\'{\i}a de~la Banda, and M. Hermenegildo.
{E}ffectiveness of {A}bstract {I}nterpretation in {A}utomatic {P}arallelization: {A} {C}ase {S}tudy in {L}ogic {P}rogramming.
ACM Transactions on Programming Languages and Systems, 21(2):189--238, March 1999.

[BLGPH04]

F. Bueno, P. L\'{o}pez-Garc\'{\i}a, G. Puebla, and M. Hermenegildo.
{T}he {Ciao} {P}rolog {P}reprocessor.
Technical Report CLIP1/04, Technical University of Madrid (UPM), Facultad de Inform\'atica, 28660 Boadilla del Monte, Madrid, Spain, January 2004.

[Bue95]

F. Bueno.
{T}he {CIAO} {M}ultiparadigm {C}ompiler: {A} {U}ser's {M}anual.
{T}echnical {R}eport {CLIP}8/95.0, Facultad de Inform\'atica, UPM, June 1995.

[Byr80]

L. Byrd.
Understanding the {C}ontrol {F}low of {P}rolog {P}rograms.
In S.-A. T\"{a}rnlund, editor, Workshop on Logic Programming, Debrecen, 1980.

[Car87]

M. Carlsson.
{F}reeze, {I}ndexing, and {O}ther {I}mplementation {I}ssues in the {Wam}.
In Fourth International Conference on Logic Programming, pages 40--58. University of Melbourne, {MIT} Press, May 1987.

[Car88]

M. Carlsson.
{Sicstus {P}rolog {U}ser's {M}anual}.
Po Box 1263, S-16313 Spanga, Sweden, February 1988.

[CCG98]

I. Caballero, D. Cabeza, S. Genaim, J.M. Gomez, and M. Hermenegildo.
persdb\_sql: {SQL} {P}ersistent {D}atabase {I}nterface.
{T}echnical {R}eport D3.1.M2-A2 CLIP10/98.0, RADIOWEB Project, December 1998.

[CGH93]

M. Carro, L. G\'{o}mez, and M. Hermenegildo.
{S}ome {P}aradigms for {V}isualizing {P}arallel {E}xecution of {L}ogic {P}rograms.
In 1993 International Conference on Logic Programming, pages 184--201. {MIT} Press, June 1993.

[CH95]

D. Cabeza and M. Hermenegildo.
{D}istributed {C}oncurrent {C}onstraint {E}xecution in the {CIAO} {S}ystem.
In Proc. of the 1995 COMPULOG-NET Workshop on Parallelism and Implementation Technologies, Utrecht, NL, September 1995. U. Utrecht / T.U. Madrid.
Available from \htmladdnormallink{{\tt http://www.clip.dia.fi.upm.es/}} {http://www.clip.dia.fi.upm.es/}.

[CH97]

D. Cabeza and M. Hermenegildo.
{WWW P}rogramming using {C}omputational {L}ogic {S}ystems (and the {PiLLoW}/{Ciao} {L}ibrary).
In Proceedings of the Workshop on Logic Programming and the {WWW at {WWW6}}, San Francisco, CA, April 1997.

[CH99]

D. Cabeza and M. Hermenegildo.
{T}he {C}iao {M}odular {C}ompiler and {I}ts {G}eneric {P}rogram {P}rocessing {L}ibrary.
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. Hermenegildo.
{A} {N}ew {M}odule {S}ystem for {P}rolog.
In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 131--148. Springer-Verlag, July 2000.

[CH00b]

D. Cabeza and M. Hermenegildo.
{T}he {C}iao {M}odular, {S}tandalone {C}ompiler and {I}ts {G}eneric {P}rogram {P}rocessing {L}ibrary.
In Special Issue on Parallelism and Implementation of (C)LP Systems, volume 30(3) of Electronic Notes in Theoretical Computer Science. {E}lsevier - {N}orth {H}olland, March 2000.

[CH00c]

M. Carro and M. Hermenegildo.
{T}ools for {C}onstraint {V}isualization: {T}he {VIFID/TRIFID} {T}ool.
In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, {Analysis and {V}isualization {T}ools for {C}onstraint {P}rogramming}, number 1870 in LNCS, pages 253--272. Springer-Verlag, September 2000.

[CH00d]

M. Carro and M. Hermenegildo.
{T}ools for {S}earch {T}ree {V}isualization: {T}he {APT} {T}ool.
In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, {Analysis and {V}isualization {T}ools for {C}onstraint {P}rogramming}, number 1870 in LNCS, pages 237--252. Springer-Verlag, September 2000.

[CHGT98]

D. Cabeza, M. Hermenegildo, S. Genaim, and C. Taboch.
{D}esign of a {G}eneric, {H}omogeneous {I}nterface to {R}elational {D}atabases.
{T}echnical {R}eport D3.1.M1-A1, CLIP7/98.0, RADIOWEB Project, September 1998.

[CHV96a]

D. Cabeza, M. Hermenegildo, and S. Varma.
{T}he {P}i{LL}o{W}/{Ciao} {L}ibrary for {INTERNET/WWW} {P}rogramming using {C}omputational {L}ogic {S}ystems.
In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, pages 72--90, JICSLP'96, Bonn, September 1996.

[CHV96b]

D. Cabeza, M. Hermenegildo, and S. Varma.
{T}he {{\sf P}}{\em i}{{\sf LL}}{\em o}{{\sf W}}/{Ciao} {L}ibrary for {INTERNET/WWW} {P}rogramming using {C}omputational {L}ogic {S}ystems.
In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP'96, Bonn, September 1996.
Available from \htmladdnormallink{{\tt http://clement.info.umoncton.ca/\~{}lpnet}} {http://clement.info.umoncton.ca/\~{}lpnet}.

[CLI95]

The {CLIP Group}.
{CIAO} {C}ompiler: {D}istributed {E}xecution and {L}ow {L}evel {S}upport {S}ubsystem.
{P}ublic {S}oftware, {ACCLAIM} {D}eliverable {D4.3/2-A3}, Facultad de Inform\'atica, 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\'{e} Des Sciences De Luminy, Marseille, 1982.

[DEDC96]

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

[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\'{o}pez-Garc\'{\i}a, and M. Hermenegildo.
{N}on-{F}ailure {A}nalysis for {L}ogic {P}rograms.
In 1997 International Conference on Logic Programming, pages 48--62, Cambridge, MA, June 1997. MIT Press, Cambridge, MA.

[DLGHL97]

S.K. Debray, P. L\'{o}pez-Garc\'{\i}a, M. Hermenegildo, and N.-W. Lin.
{L}ower {B}ound {C}ost {E}stimation for {L}ogic {P}rograms.
In 1997 International Logic Programming Symposium, pages 291--305. MIT Press, Cambridge, MA, October 1997.

[GCH98]

J.M. Gomez, D. Cabeza, and M. Hermenegildo.
{WebDB}: {A} {D}atabase {WWW} {I}nterface.
{T}echnical {R}eport D3.1.M2-A3 CLIP11/98.0, RADIOWEB Project, December 1998.

[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, pages 599--613. MIT Press, 1994.

[HBC96]

M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M.~Garc\'{\i}a de~la Banda, P. L\'{o}pez-Garc\'{\i}a, and G. Puebla.
{T}he {CIAO} {M}ulti-{D}ialect {C}ompiler and {S}ystem: {A} {D}emo and {S}tatus {R}eport.
In Proceedings of the JICSLP'96 Workshop on Parallelism and Implementation Technology. Computer Science Department, Technical University of Madrid, September 1996.
Available from \htmladdnormallink{{\tt http://www.clip.dia.fi.upm.es/Projects/COMPULOG/meeting96/papers/PS/clip.ps.% gz}} {http://www.clip.dia.fi.upm.es/Projects/COMPULOG/meeting96/papers/PS/clip.ps% .gz}.

[HBC99]

M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, {M.~Garc\'{\i}a de la Banda}, P. L\'{o}pez-Garc\'{\i}a, and G. Puebla.
{T}he {CIAO} {M}ulti-{D}ialect {C}ompiler and {S}ystem: {A}n {E}xperimentation {W}orkbench for {F}uture {(C)LP} {S}ystems.
In {Parallelism and {I}mplementation of {L}ogic and {C}onstraint {L}ogic {P}rogramming}, pages 65--85. Nova Science, Commack, NY, USA, April 1999.

[HBdlBP95]

M. Hermenegildo, F. Bueno, M.~Garc\'{\i}a de~la Banda, and G. Puebla.
{T}he {CIAO} {M}ulti-{D}ialect {C}ompiler and {S}ystem: {A}n {E}xperimentation {W}orkbench for {F}uture {(C)LP} {S}ystems.
In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, December 1995.
Available from \htmladdnormallink{{\tt http://www.clip.dia.fi.upm.es/}} {http://www.clip.dia.fi.upm.es/}.

[HBPLG99]

M. Hermenegildo, F. Bueno, G. Puebla, and P. L\'{o}pez-Garc\'{\i}a.
{P}rogram {A}nalysis, {De}bugging and {O}ptimization {U}sing the {C}iao {S}ystem {P}reprocessor.
In 1999 Int'l. Conference on Logic Programming, pages 52--66, Cambridge, MA, November 1999. MIT Press.

[HC93]

M. Hermenegildo and The {CLIP Group}.
{T}owards {CIAO}-{P}rolog -- {A} {P}arallel {C}oncurrent {C}onstraint {S}ystem.
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}.
{S}ome {M}ethodological {I}ssues in the {D}esign of {CIAO} - {A} {G}eneric, {P}arallel, {C}oncurrent {C}onstraint {S}ystem.
In Principles and Practice of Constraint Programming, number 874 in LNCS, pages 123--133. Springer-Verlag, May 1994.

[HC97]

M. Hermenegildo and The {CLIP Group}.
{A}n {A}utomatic {D}ocumentation {G}enerator for {(C)LP} -- {R}eference {M}anual.
The Ciao System Documentation Series--{TR} {CLIP}5/97.3, Facultad de Inform\'atica, UPM, August 1997.
Online at {\tt http://clip.dia.fi.upm.es/Software/Ciao/}.

[HCC95]

M. Hermenegildo, D. Cabeza, and M. Carro.
{U}sing {A}ttributed {V}ariables in the {I}mplementation of {C}oncurrent and {P}arallel {L}ogic {P}rogramming {S}ystems.
In Proc. of the Twelfth International Conference on Logic Programming, pages 631--645. {MIT} Press, June 1995.

[Her86]

M. Hermenegildo.
{A}n {A}bstract {M}achine for {R}estricted {AND}-parallel {E}xecution of {L}ogic {P}rograms.
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.
{W}riting "{S}hell {S}cripts" in {SICS}tus {P}rolog, April 1996.
Posting in {\tt comp.lang.prolog}. Available from \htmladdnormallink{{\tt http://www.clip.dia.fi.upm.es/}} {http://www.clip.dia.fi.upm.es/}.

[Her99]

M. Hermenegildo.
{A} {D}ocumentation {G}enerator for {L}ogic {P}rogramming {S}ystems.
{T}echnical {R}eport {CLIP}10/99.0, Facultad de Inform\'atica, UPM, September 1999.

[Her00]

M. Hermenegildo.
{A} {D}ocumentation {G}enerator for {(C)LP} {S}ystems.
In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 1345--1361. Springer-Verlag, July 2000.

[HG90]

M. Hermenegildo and K. Greene.
{\&-P}rolog and its {P}erformance: {E}xploiting {I}ndependent {A}nd-{P}arallelism.
In 1990 International Conference on Logic Programming, pages 253--268. {MIT} Press, June 1990.

[HG91]

M. Hermenegildo and K. Greene.
{T}he \&-{P}rolog {S}ystem: {E}xploiting {I}ndependent {A}nd-{P}arallelism.
{New {G}eneration {C}omputing}, 9(3,4):233--257, 1991.

[Hog84]

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

[Hol90]

C. Holzbaur.
{Specification of {C}onstraint {B}ased {I}nference {M}echanisms through {E}xtended {U}nification}.
PhD thesis, {U}niversity of {V}ienna, 1990.

[Hol92]

C. Holzbaur.
{M}etastructures vs. {A}ttributed {V}ariables in the {C}ontext of {E}xtensible {U}nification.
In 1992 International Symposium on Programming Language Implementation and Logic Programming, pages 260--268. LNCS631, Springer Verlag, August 1992.

[Hol94]

C. Holzbaur.
{SICStus 2.1/DMCAI Clp 2.1.1 {U}ser's {M}anual}.
University of Vienna, 1994.

[JL88]

D. Jacobs and A. Langen.
{C}ompilation of {L}ogic {P}rograms for {R}estricted {A}nd-{P}arallelism.
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.

[LGHD96]

P. L\'{o}pez-Garc\'{\i}a, M. Hermenegildo, and S.K. Debray.
{A} {M}ethodology for {G}ranularity {B}ased {C}ontrol of {P}arallelism in {L}ogic {P}rograms.
Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation, 22:715--734, 1996.

[MH89]

K. Muthukumar and M. Hermenegildo.
{D}etermination of {V}ariable {D}ependence {I}nformation at {C}ompile-{T}ime {T}hrough {A}bstract {I}nterpretation.
In 1989 North American Conference on Logic Programming, pages 166--189. {MIT} Press, October 1989.

[Nai85]

L.\ Naish.
{The {MU-P}rolog 3.2 {R}eference {M}anual}.
TR 85/11, Dept. of Computer Science, U. of Melbourne, October 1985.

[Nai91]

L. Naish.
Adding equations to {NU-Prolog}.
In Symp. on Progr. Language Impl. and Logic Progr (PLILP'91), LNCS 528, pages 15--26. Springer Verlag, 1991.

[Par97]

The RADIOWEB~Project Partners.
{RADIOWEB} {EP}25562: {A}utomatic {G}eneration of {W}eb {S}ites for the {R}adio {B}rodcasting {I}ndustry -- {P}roject {D}escription / {T}echnical {A}nnex.
{T}echnical {R}eport, RADIOWEB Project, July 1997.

[PBH97]

G. Puebla, F. Bueno, and M. Hermenegildo.
{A}n {A}ssertion {L}anguage for {D}ebugging of {C}onstraint {L}ogic {P}rograms.
In Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, October 1997.
Available from \htmladdnormallink{{\tt ftp://clip.dia.fi.upm.es/pub/papers/assert\_lang\_tr\_discipldeliv.ps.gz}} {ftp://clip.dia.fi.upm.es/pub/papers/assert\_lang\_tr\_discipldeliv.ps.gz} as technical report {CLIP}2/97.1.

[PBH00]

G. Puebla, F. Bueno, and M. Hermenegildo.
{A}n {A}ssertion {L}anguage for {C}onstraint {L}ogic {P}rograms.
In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, {Analysis and {V}isualization {T}ools for {C}onstraint {P}rogramming}, number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000.

[PH99]

G. Puebla and M. Hermenegildo.
{S}ome {I}ssues in {A}nalysis and {S}pecialization of {M}odular {C}iao-{P}rolog {P}rograms.
In ICLP'99 Workshop on Optimization and Implementation of Declarative Languages, pages 45--61. U. of Southampton, U.K, November 1999.

[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.

[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 {P}rolog {V3.0} {U}ser's {M}anual}, 1995.

[War88]

D.H.D. Warren.
The {A}ndorra {M}odel.
Presented at Gigalips Project workshop. U. of Manchester, March 1988.

Go to the first, previous, next, last section, table of contents.