Logic Programming Repositories and Resources
No pretense is made of being exhaustive. We simply drop here every now and then pointers that we come across. A lot is missing. If you want a particular pointer to be included by all means please let us know.
- Compulog-Net: The computational logic network (central pages)
- Compulog-Net pages at UPM (implementation and parallelism area)
- The COMPULOG/CLIP pages on Internet and WWW programming using LP and CLP
- The ALP Newsletter Archive
- The constraints archive at City University, London, UK.
- Constraint Logic Programming pointers at the University of Leeds.
- The logic programming virtual library entry at Oxford University, UK.
- The CMU Prolog Repository
- Logical Frameworks WWW Page
- Jonathan Bowen's page on Logic Programming
- Bibliography on Abstract Interpretation for Logic Programming.
- Interest Group in Pure and Applied Logics (IGPL).
- Michael Ley's pages on DBs and Logic Programming.
- The Computational Logic Group (CLIP) at UPM.
Implementations...Not only Logic Programming, but also (Concurrent) (Constraint) Programming.
- The Ciao Prolog Development System
and other CLIP co-developed software, including:
- A next-generation, GNU-licensed Prolog system which is also much more.
- The CiaoPP preprocessor: property inference and checking (types, modes, failure, cost,...), analysis, specialization, optimization, parallelization, ...
- The LPdoc autodocumenter for LP and CLP systems.
- SWI Prolog, sources and binaries.
- D. Díaz's wamcc, clp_fd, clp_b, an experimental implementation that compiles to C.
- SICStus: A mature commercial Prolog and CLP system.
- ECLiPSe, the integration of ECRC's former Sepia, MegaLog, CHIP and ElipSys systems into a single powerful tool.
- Prolog Development Center (PDC) homepage (formerly Turbo Prolog, now Visual Prolog).
- Micha Meier's ProTcl, an interface between Prolog and Tcl/Tk.
- The Oz homepage.
- Prolog by BIM.