Logic Programming on the WWW

General info...

• 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...

• 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.
  (includes many previous CLIP systems such as PiLLoW, PLAI, &-Prolog, etc.).
• 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.
• Trinc-Prolog.
• The Oz homepage.
• Prolog by BIM.

Some talks, articles,...

• The CLIP papers and reports (by topic and by year).
• The (older) CLIP reports archive.
• Issues in Implementing Logic Languages, a talk by Peter VanRoy.
• Papers on the Extended Definite Clause Grammar notation.