Go to the first, previous, next, last section, table of contents.
- [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.
- [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.
- [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.
- [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.
- [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.
- [CH99a]
-
D. Cabeza and M. Hermenegildo.
{A} {N}ew {M}odule {S}ystem for {P}rolog.
In ICLP'99 WS on Parallelism and Implementation of (C)LP Systems.
N.M. State U., December 1999.
- [CH99b]
-
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.
N.M. State U., December 1999.
- [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.
Text and code available from \htmladdnormallink{{\tt
http://www.clip.dia.fi.upm.es/miscdocs/pillow/pillow.html}}
{http://www.clip.dia.fi.upm.es/miscdocs/pillow/pillow.html}.
- [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}.
- [Col78]
-
A. Colmerauer.
Metamorphosis grammars.
In Natural language communication with computers, pages 133--189.
Springer LNCS 63, 1978.
- [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.
- [DLH97]
-
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.
- [DLHL97]
-
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.
- [GHD96]
-
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.
- [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/}.
- [Her99a]
-
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.
- [Her99b]
-
M. Hermenegildo.
{A} {D}ocumentation {G}enerator for {L}ogic {P}rogramming {S}ystems.
In ICLP'99 Workshop on Logic Programming Environments. N.M. State
University, December 1999.
- [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.
- [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.
- [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.
- [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.
- [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. N.M. State U., Las Cruces, NM, 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.
- [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.
Go to the first, previous, next, last section, table of contents.