References

1

T. Berners-Lee, R. Cailliau, A. Luotonen, H.F. Nielsen, and A. Secret. The World-Wide Web. Communications of the ACM, 37(8):76-82, August 1994.

2

K. De Bosschere. Multi-Prolog, Another Approach for Parallelizing Prolog. In Proceedings of Parallel Computing, pages 443-448. Elsevier, North Holland, 1989.

3

K. Bowen. Personal communication, March 1996. Available from http://www.als.com/als/html_pl.html.

4

D. Cabeza and M. 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.clip.dia.fi.upm.es/.

5

D. Cabeza and M. Hermenegildo. html.pl: An HTML Package for (C)LP systems. Spain, March 1996. Available from http://www.clip.dia.fi.upm.es/miscdocs/.

6

D. Cabeza and M. Hermenegildo. LP/CLP HTML and WWW interface publicly available, February 1996. Posting in comp.lang.prolog. Available from http://www.clip.dia.fi.upm.es/.

7

D. Cabeza, M. 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, JICSLP''96, Bonn, September 1996. Available from http://clement.info.umoncton.ca/~lpnet.

8

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

9

T. Chikayama, T. Fujise, and D. Sekita. A Portable and Efficient Implementation of KL1. In Evan Tick, editor, Proc. of the 1994 ICOT/NSF Workshop on Parallel and Concurrent Programming. U. of Oregon, March 1994.

10

A. Colmerauer. Les gramaire de metamorphose. Technical report, Univ. D'aix-Marseille, Groupe De Ia, 1975.

11

A. Colmerauer. An Introduction to Prolog III. CACM, 28(4):412-418, 1990.

12

European Computer Research Center. Eclipse User's Guide, 1993.

13

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

14

M. Hermenegildo. Writing ``Shell Scripts'' in SICStus Prolog, April 1996. Posting in comp.lang.prolog. Available from http://www.clip.dia.fi.upm.es/.

15

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.clip.dia.fi.upm.es/.

16

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.

17

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

18

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, LNCS 874, pages 123-133. Springer-Verlag, May 1994.

19

S. Le Houitouze. A New Data Structure for Implementing Extensions to Prolog. In P. Deransart and J. Mauszyński, editors, Proceedings of Programming Language Implementation and Logic Programming, number 456 in Lecture Notes in Computer Science, pages 136-150. Springer, August 1990.

20

J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In ACM Symp. Principles of Programming Languages, pages 111-119. ACM, 1987.

21

S. Janson and S. Haridi. Programming Paradigms of the Andorra Kernel Language. In 1991 International Logic Programming Symposium, pages 167-183. MIT Press, 1991.

22

R. A. Kowalski. Predicate Logic as a Programming Language. In Proceedings IFIPS, pages 569-574, 1974.

23

S.W. Loke and A. Davison. Logic programming with the World-Wide Web. In 7th. ACM Conference on Hypertext, pages 235-245. ACM Press, March 1996. Available from http://www.cs.unc.edu/~barman/HT96/P14/lpwww.html.

24

H. Simonis M. Dincbas and P. Van Hentenryck. Solving Large Combinatorial Problems in Logic Programming. Journal of Logic Programming, 8(1 & 2):72-93, 1990.

25

L. Leth Ph. Bonnet, S. Bressan and B. Thomsen. Towards ECLiPSe Agents on the INTERNET. In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP''96, Bonn, September 1996. Available from http://clement.info.umoncton.ca/~lpnet/lpnet2.html.

26

G. Smolka. The Definition of Kernel Oz. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), November 1994.

27

A. Davison S.W. Loke and L. Sterling. Lightweight Deductive Databases on the World-Wide Web. In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP''96, Bonn, September 1996. Available from http://clement.info.umoncton.ca/~lpnet/lpnet10.html.

28

Péter Szeredi, Katalin Molnár, and Rob Scott. Serving Multiple HTML Clients from a Prolog Application. In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP''96, Bonn, September 1996. Available from http://clement.info.umoncton.ca/~lpnet/lpnet9.html.

29

P. Tarau. Binprolog 5.00, April 1996. Posting in comp.lang.prolog. Available from http://clement.info.umoncton.ca/~tarau.

30

Paul Tarau and Koen De Bosschere. Virtual World Brokerage with BinProlog and Netscape. In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP''96, Bonn, September 1996. Available from http://clement.info.umoncton.ca/~lpnet/lpnet11.html.

31

D.H.D. Warren and F. C. N. Pereira. An Efficient, Easily Adaptable System For Interpreting Natural Language Queries. American Journal of Computational Linguistics, 8(3-4):110-122, 1982.