Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library

Theory and Practice of Logic Programming

Volumn 1, Issue 3, 2001, Pages 251-282

  Cabeza, Daniel ^a   Hermenegildo, Manuel ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

(Constraint) Logic Programming; CGI; Distributed execution; HTML; HTTP; WWW; XML

Indexed keywords

EID: 0345880720     PISSN: 14710684     EISSN: None     Source Type: Journal    
DOI: 10.1017/S147106840100117X     Document Type: Article

References (40)

1. Berners-Lee, T., Cailliau, R., Luotonen, A., Nielsen, H. F. and Secret, A. (1994) The World Wide Web. Comm. ACM, 37(8), 76-82.
2. Bowen, K. (1996) Personal communication. (Available from: http://www.als.com/als/html_pl.html.)
3. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P. and Puebla, G. (1997) The Ciao Prolog System. Reference Manual. The Ciao System Documentation Series - TR CLIP3/97.1. School of Computer Science, Technical University of Madrid (UPM).
4. Cabeza, D. and Hermenegildo, M. (1995) Distributed concurrent constraint execution in the CIAO system. Proc. 1995 Compulog-Net Workshop on Parallelism and Implementation Technologies. Utrecht, The Netherlands. (Available from: http://www.clip.dia.fi.upm.es/.)
5. Cabeza, D., and Hermenegildo, M. (1996a) html.pl: An HTML package for (C)LP systems. Spain. (Available from: http://www.clip.dia.fi.upm.es/miscdocs/.)
6. Cabeza, D. and Hermenegildo, M. (1996b) LP/CLP HTML and WWW interface publicly available. Posting in comp.lang.prolog. (Available from: http://www.clip.dia.fi.upm.es/.)
7. Cabeza, D. and Hermenegildo, M. (1997) WWW Programming using computational logic systems (and the PiLLoW/Ciao Library). Proceedings Workshop on Logic Programming and the WWW at WWW6.
8. Cabeza, D. and Hermenegildo, M. (1998) A WWW Database Management Interface for Prolog. Technical Report CLIP2/98.0. School of Computer Science, Technical University of Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid, Spain.
9. ∼lpnet.)
10. Calejo, M. (1999) Java+prolog: A land of opportunities. Proceedings 1st International Conference on the Practical Application of Constraint Technologies and Logic Programming, pp. 1-2. The Practical Application Company Ltd. (Also available at: http://dev.servisoft.pt/interprolog/paclp99/default.htm.)
11. Carlsson, M. (1988) Sicstus Prolog User's Manual. PO Box 1263, S-16313 Spanga, Sweden.
12. Carro, M. and Hermenegildo, M. (1999) Concurrency in Prolog using threads and a shared database. International Conference on Logic Programming, pp. 320-334. MIT Press.
13. Cederberg, P. and the CLIP Group (1999) Flexible Layout and Styling - The LaSt Language. Technical Report D2.2.M3 CLIP 3/99.0. RADIOWEB Project.
14. Chikayama, T., Fujise, T. and Sekita, D. (1994) A portable and efficient implementation of KL1. In: Tick, E. (ed.), Proc. 1994 ICOT/NSF Workshop on Parallel and Concurrent Programming. University of Oregon.
15. Colmerauer, A. (1975) Les gramaire de metamorphose. Technical report, University D'aix-Marseille.
16. Colmerauer, A. (1990) An introduction to Prolog III. Comm. ACM, 28(4), 412-418.
17. Davulcu, H., Freire, J., Kifer, M. and Ramakrishnan, I. V. (1999) A layered architecture for querying dynamic web content. ACM SIGMOD International Conference on Management of Data. URL: http://www.acm.org/sigmod/sigmod99/eproceedings/.
18. De Bosschere, K. (1989) Multi-Prolog, another approach for parallelizing Prolog. Proceedings of Parallel Computing, pp. 443-448. Elsevier, North Holland.
19. ECRC (1993) Eclipse user's guide. European Computer Research Center.
20. ∼acs/docs/other/forms-intro.shtml.)
21. Hermenegildo, M. (1996) Writing "Shell Scripts" in SICStus Prolog. Posting in comp.lang.prolog. Available from: http://www.clip.dia.fi.upm.es/.
22. Hermenegildo, M. and the CLIP Group (1994) Some methodological issues in the design of CIAO - A generic, parallel, concurrent constraint system. Principles and Practice of Constraint Programming: Lecture Notes in Computer Science 874, pp. 123-133. Springer-Verlag.
23. Hermenegildo, M., Bueno, F., García de la Banda, M. and Puebla, G. (1995a) The CIAO multi-dialect compiler and system: an experimentation workbench for future (C)LP systems. Proceedings ILPS'95 Workshop on Visions for the Future of Logic Programming. (Available from: http://www.clip.dia.fi.upm.es/.)
24. Hermenegildo, M., Cabeza, D. and Carro, M. (1995b) Using attributed variables in the implementation of concurrent and parallel logic programming systems. Proc. 12th International Conference on Logic Programming, pp. 631-645. MIT Press.
25. Hermenegildo, M., Bueno, F., Cabeza, D., Carro, M., M. García de la Banda, López-García, P. and Puebla, G. (1999a) The CIAO multi-dialect compiler and system: an experimentation workbench for future (C)LP systems. Parallelism and Implementation of Logic and Constraint Logic Programming, pp. 65-85. Commack, NY: Nova Science.
26. Hermenegildo, M., Puebla, G. and Bueno, F. (1999b) Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. In: Apt, K. R., Marek, V., Truszczynski, M. and Warren, D. S. (eds.), The Logic Programming Paradigm: a 25-Year Perspective, pp. 161-192. Springer-Verlag.
27. Jaffar, J. and Lassez, J.-L. (1987) Constraint Logic Programming. ACM Symposium on Principles of Programming Languages, pp. 111-119. ACM.
28. Janson, S. and Haridi, S. (1991) Programming paradigms of the Andorra Kernel Language. International Logic Programming Symposium, pp. 167-183. MIT Press.
29. Kowalski, R. A. (1974) Predicate logic as a programming language. Proceedings IFIPS, pp. 569-574.
30. ∼barman/HT96/P14/lpww. html.)
31. Dincbas, M., Simonis, H, and Van Hentenryck, P. (1990) Solving large combinatorial problems in logic programming. J. Logic Programming, 8(1 & 2), 72-93.
32. Partners, The RADIOWEB Project (1997) RADIO WEB EP25562: Automatic Generation of Web Sites for the Radio Brodcasting Industry - Project Description / Technical Annex. Technical Report, RADIOWEB Project.
33. ∼lpnet/lpnet2.html.)
34. Smedbäck, G., Carro, M. and Hermenegildo, M. (1999). Interfacing Prolog and VRML and its application to constraint visualization. The Practical Application of Constraint Technologies and Logic Programming, pp. 453-471. The Practical Application Company.
35. Smolka, G. (1994) The Definition of Kernel Oz. DFKI Oz documentation series. German Research Center for Artificial Intelligence (DFKI).
36. ∼lpnet/lpnet10.html.)
37. ∼lpnet/lpnet9.html.)
38. ∼tarau.
39. Van Hentenryck, P. (1989) Constraint Satisfaction in Logic Programming. MIT Press.
40. Warren, D. H. D. and Pereira, F. C. N. (1982) An efficient, easily adaptable system for interpreting natural language queries. Am. J. Computational Linguistics, 8(3-4), 110-122.