<HTML>
<HEAD>
<!-- Created by texi2html 1.56k + clip patches and <A href="http://www.clip.dia.fi.upm.es/Software">lpdoc</A> from ciao.texi on 28 January 2007 -->
<LINK rel="stylesheet" href="ciao.css" type="text/css">
<TITLE>The Ciao Prolog System - References</TITLE>
</HEAD>
<BODY>
Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_233.html">previous</A>, <A HREF="ciao_235.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>.
<P><HR><P>
<H1><A NAME="SEC917" HREF="ciao_toc.html#TOC917">References</A></H1>
<DL COMPACT>
<DT><STRONG>[AAF91]</STRONG>
<DD>
J. Almgren, S. Andersson, L. Flood, C. Frisk, H. Nilsson, and J. Sundberg.
<BR> <EM>{Sics</EM>tus {P}rolog {L}ibrary {M}anual}.
<BR> Po Box 1263, S-16313 Spanga, Sweden, October 1991.
<DT><STRONG>[AKNL86]</STRONG>
<DD>
Hassan Ait-Kaci, Roger Nasr, and Pat Lincoln.
<BR> {E} {A}n {O}verview.
<BR> Technical Report AI-420-86-P, Microelectronics and Computer Technology
Corporation, 9430 Research Boulevard, Austin, TX 78759, December 1986.
<DT><STRONG>[AKPS92]</STRONG>
<DD>
H. A{\"\i}t-Kaci, A. Podelski, and G. Smolka.
<BR> A feature-based constraint system for logic programming with entailment.
<BR> In <EM>Proc. Fifth Generation Computer Systems 1992</EM>, pages 1012--1021,
1992.
<DT><STRONG>[Apt97]</STRONG>
<DD>
K. Apt, editor.
<BR> <EM>{F</EM>rom {L}ogic {P}rogramming to {P}rolog}.
<BR> Prentice-Hall, Hemel Hempstead, Hertfordshire, England, 1997.
<DT><STRONG>[BA82]</STRONG>
<DD>
M. Ben-Ari.
<BR> <EM>Principles of Concurrent Programming</EM>.
<BR> Prentice Hall International, 1982.
<DT><STRONG>[BBP81]</STRONG>
<DD>
D.L. Bowen, L. Byrd, L.M. Pereira, F.C.N. Pereira, and D.H.D. Warren.
<BR> Decsystem-10 prolog user's manual.
<BR> Technical report, Department of Artificial Intelligence, University of
Edinburgh, October 1981.
<DT><STRONG>[BCC97]</STRONG>
<DD>
F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. L\'{o}pez-Garc\'{\i}a, and
G. Puebla.
<BR> {T}he {C}iao {P}rolog {S}ystem. {R}eference {M}anual.
<BR> The Ciao System Documentation Series--{TR} {CLIP}3/97.1, School of Computer
Science, Technical University of Madrid (UPM), August 1997.
<BR> System and on-line version of the manual available at
\htmladdnormallink{{\tt http://www.ciaohome.org}} {http://www.ciaohome.org}.
<DT><STRONG>[BdlBH99]</STRONG>
<DD>
F. Bueno, M.~Garc\'{\i}a de~la Banda, and M. Hermenegildo.
<BR> {E}ffectiveness of {A}bstract {I}nterpretation in {A}utomatic
{P}arallelization: {A} {C}ase {S}tudy in {L}ogic {P}rogramming.
<BR> <EM>ACM Transactions on Programming Languages and Systems</EM>,
21(2):189--238, March 1999.
<DT><STRONG>[BLGPH04]</STRONG>
<DD>
F. Bueno, P. L\'{o}pez-Garc\'{\i}a, G. Puebla, and M. Hermenegildo.
<BR> {T}he {Ciao} {P}rolog {P}reprocessor.
<BR> Technical Report CLIP1/04, Technical University of Madrid (UPM), Facultad de
Inform\'atica, 28660 Boadilla del Monte, Madrid, Spain, January 2004.
<DT><STRONG>[Bue95]</STRONG>
<DD>
F. Bueno.
<BR> {T}he {CIAO} {M}ultiparadigm {C}ompiler: {A} {U}ser's {M}anual.
<BR> {T}echnical {R}eport {CLIP}8/95.0, Facultad de Inform\'atica, UPM, June
1995.
<DT><STRONG>[Byr80]</STRONG>
<DD>
L. Byrd.
<BR> Understanding the {C}ontrol {F}low of {P}rolog {P}rograms.
<BR> In S.-A. T\"{a}rnlund, editor, <EM>Workshop on Logic Programming</EM>,
Debrecen, 1980.
<DT><STRONG>[Car87]</STRONG>
<DD>
M. Carlsson.
<BR> {F}reeze, {I}ndexing, and {O}ther {I}mplementation {I}ssues in the {Wam}.
<BR> In <EM>Fourth International Conference on Logic Programming</EM>, pages
40--58. University of Melbourne, {MIT} Press, May 1987.
<DT><STRONG>[Car88]</STRONG>
<DD>
M. Carlsson.
<BR> <EM>{Sics</EM>tus {P}rolog {U}ser's {M}anual}.
<BR> Po Box 1263, S-16313 Spanga, Sweden, February 1988.
<DT><STRONG>[CCG98]</STRONG>
<DD>
I. Caballero, D. Cabeza, S. Genaim, J.M. Gomez, and M. Hermenegildo.
<BR> persdb\_sql: {SQL} {P}ersistent {D}atabase {I}nterface.
<BR> {T}echnical {R}eport D3.1.M2-A2 CLIP10/98.0, RADIOWEB Project, December
1998.
<DT><STRONG>[CGH93]</STRONG>
<DD>
M. Carro, L. G\'{o}mez, and M. Hermenegildo.
<BR> {S}ome {P}aradigms for {V}isualizing {P}arallel {E}xecution of {L}ogic
{P}rograms.
<BR> In <EM>1993 International Conference on Logic Programming</EM>, pages
184--201. {MIT} Press, June 1993.
<DT><STRONG>[CH95]</STRONG>
<DD>
D. Cabeza and M. Hermenegildo.
<BR> {D}istributed {C}oncurrent {C}onstraint {E}xecution in the {CIAO} {S}ystem.
<BR> In <EM>Proc. of the 1995 COMPULOG-NET Workshop on Parallelism and
Implementation Technologies</EM>, Utrecht, NL, September 1995. U. Utrecht / T.U.
Madrid.
<BR> Available from {http://www.cliplab.org/}.
<DT><STRONG>[CH97]</STRONG>
<DD>
D. Cabeza and M. Hermenegildo.
<BR> {WWW P}rogramming using {C}omputational {L}ogic {S}ystems (and the
{PiLLoW}/{Ciao} {L}ibrary).
<BR> In <EM>Proceedings of the Workshop on Logic Programming and the {WWW</EM> at
{WWW6}}, San Francisco, CA, April 1997.
<DT><STRONG>[CH99]</STRONG>
<DD>
D. Cabeza and M. Hermenegildo.
<BR> {T}he {C}iao {M}odular {C}ompiler and {I}ts {G}eneric {P}rogram {P}rocessing
{L}ibrary.
<BR> In <EM>ICLP'99 WS on Parallelism and Implementation of (C)LP Systems</EM>,
pages 147--164. N.M. State U., December 1999.
<DT><STRONG>[CH00a]</STRONG>
<DD>
D. Cabeza and M. Hermenegildo.
<BR> {A} {N}ew {M}odule {S}ystem for {P}rolog.
<BR> In <EM>International Conference on Computational Logic, CL2000</EM>, number
1861 in LNAI, pages 131--148. Springer-Verlag, July 2000.
<DT><STRONG>[CH00b]</STRONG>
<DD>
D. Cabeza and M. Hermenegildo.
<BR> {T}he {C}iao {M}odular, {S}tandalone {C}ompiler and {I}ts {G}eneric
{P}rogram {P}rocessing {L}ibrary.
<BR> In <EM>Special Issue on Parallelism and Implementation of (C)LP Systems</EM>,
volume 30(3) of <EM>Electronic Notes in Theoretical Computer Science</EM>.
{E}lsevier - {N}orth {H}olland, March 2000.
<DT><STRONG>[CH00c]</STRONG>
<DD>
M. Carro and M. Hermenegildo.
<BR> {T}ools for {C}onstraint {V}isualization: {T}he {VIFID/TRIFID} {T}ool.
<BR> In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors,
<EM>{A</EM>nalysis and {V}isualization {T}ools for {C}onstraint {P}rogramming},
number 1870 in LNCS, pages 253--272. Springer-Verlag, September 2000.
<DT><STRONG>[CH00d]</STRONG>
<DD>
M. Carro and M. Hermenegildo.
<BR> {T}ools for {S}earch {T}ree {V}isualization: {T}he {APT} {T}ool.
<BR> In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors,
<EM>{A</EM>nalysis and {V}isualization {T}ools for {C}onstraint {P}rogramming},
number 1870 in LNCS, pages 237--252. Springer-Verlag, September 2000.
<DT><STRONG>[CHGT98]</STRONG>
<DD>
D. Cabeza, M. Hermenegildo, S. Genaim, and C. Taboch.
<BR> {D}esign of a {G}eneric, {H}omogeneous {I}nterface to {R}elational
{D}atabases.
<BR> {T}echnical {R}eport D3.1.M1-A1, CLIP7/98.0, RADIOWEB Project, September
1998.
<DT><STRONG>[CHV96a]</STRONG>
<DD>
D. Cabeza, M. Hermenegildo, and S. Varma.
<BR> {T}he {P}i{LL}o{W}/{Ciao} {L}ibrary for {INTERNET/WWW} {P}rogramming using
{C}omputational {L}ogic {S}ystems.
<BR> In <EM>Proceedings of the 1st Workshop on Logic Programming Tools for
INTERNET Applications</EM>, pages 72--90, JICSLP'96, Bonn, September 1996.
<DT><STRONG>[CHV96b]</STRONG>
<DD>
D. Cabeza, M. Hermenegildo, and S. Varma.
<BR> {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.
<BR> In <EM>Proceedings of the 1st Workshop on Logic Programming Tools for
INTERNET Applications</EM>, JICSLP'96, Bonn, September 1996.
<BR> Available from \htmladdnormallink{{\tt
http://clement.info.umoncton.ca/\~{}lpnet}}
{http://clement.info.umoncton.ca/\~{}lpnet}.
<DT><STRONG>[CLI95]</STRONG>
<DD>
The {CLIP Group}.
<BR> {CIAO} {C}ompiler: {D}istributed {E}xecution and {L}ow {L}evel {S}upport
{S}ubsystem.
<BR> {P}ublic {S}oftware, {ACCLAIM} {D}eliverable {D4.3/2-A3}, Facultad de
Inform\'atica, UPM, June 1995.
<DT><STRONG>[CM81]</STRONG>
<DD>
W.F. Clocksin and C.S. Mellish.
<BR> <EM>Programming in Prolog</EM>.
<BR> Springer-Verlag, 1981.
<DT><STRONG>[Col78]</STRONG>
<DD>
A. Colmerauer.
<BR> Metamorphosis grammars.
<BR> In <EM>Natural language communication with computers</EM>, pages 133--189.
Springer LNCS 63, 1978.
<DT><STRONG>[Col82]</STRONG>
<DD>
A. {Colmerauer et al.}
<BR> <EM>Prolog II: Reference Manual and Theoretical Model</EM>.
<BR> Groupe D'intelligence Artificielle, Facult\'{e} Des Sciences De Luminy,
Marseille, 1982.
<DT><STRONG>[DEDC96]</STRONG>
<DD>
P. Deransart, A. Ed-Dbali, and L. Cervoni.
<BR> <EM>Prolog: The Standard</EM>.
<BR> Springer-Verlag, 1996.
<DT><STRONG>[Dij65]</STRONG>
<DD>
E.W. Dijkstra.
<BR> Co-operating sequential processes.
<BR> In F. Genuys, editor, <EM>Programming Languages</EM>. Academic Press, London,
1965.
<DT><STRONG>[DL93]</STRONG>
<DD>
S.~K. Debray and N.~W. Lin.
<BR> Cost analysis of logic programs.
<BR> <EM>{ACM</EM> Transactions on Programming Languages and Systems},
15(5):826--875, November 1993.
<DT><STRONG>[DLGH97]</STRONG>
<DD>
S.K. Debray, P. L\'{o}pez-Garc\'{\i}a, and M. Hermenegildo.
<BR> {N}on-{F}ailure {A}nalysis for {L}ogic {P}rograms.
<BR> In <EM>1997 International Conference on Logic Programming</EM>, pages 48--62,
Cambridge, MA, June 1997. MIT Press, Cambridge, MA.
<DT><STRONG>[DLGHL97]</STRONG>
<DD>
S.~K. Debray, P. L\'{o}pez-Garc\'{\i}a, M. Hermenegildo, and N.-W. Lin.
<BR> {L}ower {B}ound {C}ost {E}stimation for {L}ogic {P}rograms.
<BR> In <EM>1997 International Logic Programming Symposium</EM>, pages 291--305.
MIT Press, Cambridge, MA, October 1997.
<DT><STRONG>[GCH98]</STRONG>
<DD>
J.M. Gomez, D. Cabeza, and M. Hermenegildo.
<BR> {WebDB}: {A} {D}atabase {WWW} {I}nterface.
<BR> {T}echnical {R}eport D3.1.M2-A3 CLIP11/98.0, RADIOWEB Project, December
1998.
<DT><STRONG>[GdW94]</STRONG>
<DD>
J.P. Gallagher and D.A. de Waal.
<BR> Fast and precise regular approximations of logic programs.
<BR> In Pascal {Van~Hentenryck}, editor, <EM>Proc.~of the 11th International
Conference on Logic Programming</EM>, pages 599--613. MIT Press, 1994.
<DT><STRONG>[HBC96]</STRONG>
<DD>
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.
<BR> {T}he {CIAO} {M}ulti-{D}ialect {C}ompiler and {S}ystem: {A} {D}emo and
{S}tatus {R}eport.
<BR> In <EM>Proceedings of the JICSLP'96 Workshop on Parallelism and
Implementation Technology</EM>. Computer Science Department, Technical University
of Madrid, September 1996.
<BR> Available from \htmladdnormallink{{\tt
http://www.cliplab.org/Projects/COMPULOG/meeting96/papers/PS/clip.ps.gz}}
{http://www.cliplab.org/Projects/COMPULOG/meeting96/papers/PS/clip.ps.gz}.
<DT><STRONG>[HBC99]</STRONG>
<DD>
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.
<BR> {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.
<BR> In <EM>{P</EM>arallelism and {I}mplementation of {L}ogic and {C}onstraint
{L}ogic {P}rogramming}, pages 65--85. Nova Science, Commack, NY, USA, April
1999.
<DT><STRONG>[HBdlBP95]</STRONG>
<DD>
M. Hermenegildo, F. Bueno, M.~Garc\'{\i}a de~la Banda, and G. Puebla.
<BR> {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.
<BR> In <EM>Proceedings of the ILPS'95 Workshop on Visions for the Future of
Logic Programming</EM>, Portland, Oregon, USA, December 1995.
<BR> Available from \htmladdnormallink{{\tt http://www.cliplab.org/}}
{http://www.cliplab.org/}.
<DT><STRONG>[HBPLG99]</STRONG>
<DD>
M. Hermenegildo, F. Bueno, G. Puebla, and P. L\'{o}pez-Garc\'{\i}a.
<BR> {P}rogram {A}nalysis, {De}bugging and {O}ptimization {U}sing the {C}iao
{S}ystem {P}reprocessor.
<BR> In <EM>1999 Int'l. Conference on Logic Programming</EM>, pages 52--66,
Cambridge, MA, November 1999. MIT Press.
<DT><STRONG>[HC93]</STRONG>
<DD>
M. Hermenegildo and The {CLIP Group}.
<BR> {T}owards {CIAO}-{P}rolog -- {A} {P}arallel {C}oncurrent {C}onstraint
{S}ystem.
<BR> In <EM>Proc. of the Compulog Net Area Workshop on Parallelism and
Implementation Technologies</EM>. FIM/UPM, Madrid, Spain, June 1993.
<DT><STRONG>[HC94]</STRONG>
<DD>
M. Hermenegildo and The {CLIP Group}.
<BR> {S}ome {M}ethodological {I}ssues in the {D}esign of {CIAO} - {A} {G}eneric,
{P}arallel, {C}oncurrent {C}onstraint {S}ystem.
<BR> In <EM>Principles and Practice of Constraint Programming</EM>, number 874 in
LNCS, pages 123--133. Springer-Verlag, May 1994.
<DT><STRONG>[HC97]</STRONG>
<DD>
M. Hermenegildo and The {CLIP Group}.
<BR> {A}n {A}utomatic {D}ocumentation {G}enerator for {(C)LP} -- {R}eference
{M}anual.
<BR> The Ciao System Documentation Series--{TR} {CLIP}5/97.3, Facultad de
Inform\'atica, UPM, August 1997.
<BR> Online at {\tt http://www.ciaohome.org}.
<DT><STRONG>[HCC95]</STRONG>
<DD>
M. Hermenegildo, D. Cabeza, and M. Carro.
<BR> {U}sing {A}ttributed {V}ariables in the {I}mplementation of {C}oncurrent and
{P}arallel {L}ogic {P}rogramming {S}ystems.
<BR> In <EM>Proc. of the Twelfth International Conference on Logic
Programming</EM>, pages 631--645. {MIT} Press, June 1995.
<DT><STRONG>[Her86]</STRONG>
<DD>
M. Hermenegildo.
<BR> {A}n {A}bstract {M}achine for {R}estricted {AND}-parallel {E}xecution of
{L}ogic {P}rograms.
<BR> In <EM>Third International Conference on Logic Programming</EM>, number 225 in
Lecture Notes in Computer Science, pages 25--40. Imperial College,
Springer-Verlag, July 1986.
<DT><STRONG>[Her96]</STRONG>
<DD>
M. Hermenegildo.
<BR> {W}riting "{S}hell {S}cripts" in {SICS}tus {P}rolog, April 1996.
<BR> Posting in {\tt comp.lang.prolog}. Available from \htmladdnormallink{{\tt
http://www.cliplab.org/}} {http://www.cliplab.org/}.
<DT><STRONG>[Her99]</STRONG>
<DD>
M. Hermenegildo.
<BR> {A} {D}ocumentation {G}enerator for {L}ogic {P}rogramming {S}ystems.
<BR> {T}echnical {R}eport {CLIP}10/99.0, Facultad de Inform\'atica, UPM,
September 1999.
<DT><STRONG>[Her00]</STRONG>
<DD>
M. Hermenegildo.
<BR> {A} {D}ocumentation {G}enerator for {(C)LP} {S}ystems.
<BR> In <EM>International Conference on Computational Logic, CL2000</EM>, number
1861 in LNAI, pages 1345--1361. Springer-Verlag, July 2000.
<DT><STRONG>[HG90]</STRONG>
<DD>
M. Hermenegildo and K. Greene.
<BR> {\&-P}rolog and its {P}erformance: {E}xploiting {I}ndependent
{A}nd-{P}arallelism.
<BR> In <EM>1990 International Conference on Logic Programming</EM>, pages
253--268. {MIT} Press, June 1990.
<DT><STRONG>[HG91]</STRONG>
<DD>
M. Hermenegildo and K. Greene.
<BR> {T}he \&-{P}rolog {S}ystem: {E}xploiting {I}ndependent {A}nd-{P}arallelism.
<BR> <EM>{N</EM>ew {G}eneration {C}omputing}, 9(3,4):233--257, 1991.
<DT><STRONG>[Hog84]</STRONG>
<DD>
C.~J. Hogger.
<BR> <EM>Introduction to Logic Programming</EM>.
<BR> Academic Press, London, 1984.
<DT><STRONG>[Hol90]</STRONG>
<DD>
C. Holzbaur.
<BR> <EM>{S</EM>pecification of {C}onstraint {B}ased {I}nference {M}echanisms
through {E}xtended {U}nification}.
<BR> PhD thesis, {U}niversity of {V}ienna, 1990.
<DT><STRONG>[Hol92]</STRONG>
<DD>
C. Holzbaur.
<BR> {M}etastructures vs. {A}ttributed {V}ariables in the {C}ontext of
{E}xtensible {U}nification.
<BR> In <EM>1992 International Symposium on Programming Language Implementation
and Logic Programming</EM>, pages 260--268. LNCS631, Springer Verlag, August
1992.
<DT><STRONG>[Hol94]</STRONG>
<DD>
C. Holzbaur.
<BR> <EM>{SICStus 2.1/DMCAI Clp 2.1.1</EM> {U}ser's {M}anual}.
<BR> University of Vienna, 1994.
<DT><STRONG>[JL88]</STRONG>
<DD>
D. Jacobs and A. Langen.
<BR> {C}ompilation of {L}ogic {P}rograms for {R}estricted {A}nd-{P}arallelism.
<BR> In <EM>European Symposium on Programming</EM>, pages 284--297, 1988.
<DT><STRONG>[Knu84]</STRONG>
<DD>
D. Knuth.
<BR> Literate programming.
<BR> <EM>Computer Journal</EM>, 27:97--111, 1984.
<DT><STRONG>[Kor85]</STRONG>
<DD>
R. Korf.
<BR> Depth-first iterative deepening: an optimal admissible tree search.
<BR> <EM>Artificial Intelligence</EM>, 27:97--109, 1985.
<DT><STRONG>[LGHD96]</STRONG>
<DD>
P. L\'{o}pez-Garc\'{\i}a, M. Hermenegildo, and S.~K. Debray.
<BR> {A} {M}ethodology for {G}ranularity {B}ased {C}ontrol of {P}arallelism in
{L}ogic {P}rograms.
<BR> <EM>Journal of Symbolic Computation, Special Issue on Parallel Symbolic
Computation</EM>, 22:715--734, 1996.
<DT><STRONG>[MH89]</STRONG>
<DD>
K. Muthukumar and M. Hermenegildo.
<BR> {D}etermination of {V}ariable {D}ependence {I}nformation at {C}ompile-{T}ime
{T}hrough {A}bstract {I}nterpretation.
<BR> In <EM>1989 North American Conference on Logic Programming</EM>, pages
166--189. {MIT} Press, October 1989.
<DT><STRONG>[Nai85]</STRONG>
<DD>
L.\ Naish.
<BR> <EM>{T</EM>he {MU-P}rolog 3.2 {R}eference {M}anual}.
<BR> TR 85/11, Dept. of Computer Science, U. of Melbourne, October 1985.
<DT><STRONG>[Nai91]</STRONG>
<DD>
Lee Naish.
<BR> Adding equations to {NU-Prolog}.
<BR> In <EM>Proceedings of The Third International Symposium on Programming
Language Implementation and Logic Programming (PLILP'91)</EM>, number 528 in
Lecture Notes in Computer Science, pages 15--26, Passau, Germany, August
1991. Springer-Verlag.
<DT><STRONG>[Par97]</STRONG>
<DD>
The RADIOWEB~Project Partners.
<BR> {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.
<BR> {T}echnical {R}eport, RADIOWEB Project, July 1997.
<DT><STRONG>[PBH97]</STRONG>
<DD>
G. Puebla, F. Bueno, and M. Hermenegildo.
<BR> {A}n {A}ssertion {L}anguage for {D}ebugging of {C}onstraint {L}ogic
{P}rograms.
<BR> In <EM>Proceedings of the ILPS'97 Workshop on Tools and Environments for
(Constraint) Logic Programming</EM>, October 1997.
<BR> 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.
<DT><STRONG>[PBH00]</STRONG>
<DD>
G. Puebla, F. Bueno, and M. Hermenegildo.
<BR> {A}n {A}ssertion {L}anguage for {C}onstraint {L}ogic {P}rograms.
<BR> In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors,
<EM>{A</EM>nalysis and {V}isualization {T}ools for {C}onstraint {P}rogramming},
number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000.
<DT><STRONG>[PH99]</STRONG>
<DD>
G. Puebla and M. Hermenegildo.
<BR> {S}ome {I}ssues in {A}nalysis and {S}pecialization of {M}odular
{C}iao-{P}rolog {P}rograms.
<BR> In <EM>ICLP'99 Workshop on Optimization and Implementation of Declarative
Languages</EM>, pages 45--61. U. of Southampton, U.K, November 1999.
<DT><STRONG>[PW80]</STRONG>
<DD>
F.C.N. Pereira and D.H.D. Warren.
<BR> Definite clause grammars for language analysis - a survey of the formalism
and a comparison with augmented transition networks.
<BR> <EM>Artificial Intelligence</EM>, 13:231--278, 1980.
<DT><STRONG>[SS86]</STRONG>
<DD>
L. Sterling and E. Shapiro.
<BR> <EM>The Art of Prolog</EM>.
<BR> MIT Press, 1986.
<DT><STRONG>[Swe95]</STRONG>
<DD>
Swedish Institute of Computer Science, P.O. Box 1263, S-16313 Spanga, Sweden.
<BR> <EM>{Sics</EM>tus {P}rolog {V3.0} {U}ser's {M}anual}, 1995.
<DT><STRONG>[War88]</STRONG>
<DD>
D.H.D. Warren.
<BR> The {A}ndorra {M}odel.
<BR> Presented at Gigalips Project workshop. U. of Manchester, March 1988.
</DL>
<P><HR><P>
Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_233.html">previous</A>, <A HREF="ciao_235.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>.
</BODY>
</HTML>
