Categories, Relations and Logic Programming

---

• Algebra of Programs
• University of Pisa (di.unipi.it) Department of Computer Science
• Lambda-Prolog home page
• CLIP Lab at DIA/FIM/UPM (Polytechnic University of Madrid)

Some anonymous ftp directories

• Penn Logic and Computation Group
• Stanford Theory Group
• Edinburgh CS Department
• Imperial CS Department
• Paris VII Equipe de Logique
• Pisa CS Department
• DEC SRC

Some internet resources in Logic Programming and other areas.

The World Wide Web Virtual Library: Logic Programming

Virtual Library Computing Languages AI . Logic Programming . Please mail Jonathan.Bowen@comlab.ox.ac.uk if you know of relevant on-line information not included here. Use the comp.lang.prolog newsgroup for queries related to logic programming ...
--- [568] http://www.comlab.ox.ac.uk/archive/logic-prog.html (32K)

Logic Programming and Artificial Intelligence Group of the KULeuven

Logic Programming and Artificial Intelligence Research Group at the K.U. Leuven . Welcome to the WWW page of the LPAI (Logic Programming and Artificial Intelligence) Research Group at the Department of Computer Science at the Katholieke ...
--- [567] http://www.cs.kuleuven.ac.be/~lpai/ (2K)

Welcome to the Logic Programming Section

, Department of Computing, Imperial College. This is a World Wide Web server. It provides local section information as well as information from servers around the world. Our server is situated on laotzu.doc.ic.ac.uk. . Logic Programming ...
--- [566] http://laotzu.doc.ic.ac.uk/ (3K)

Wesleyan University