Other related sources

Monographic Pages

• The Logic Programming Newsletter Archive.
• Jonathan Bowen's logic programming page.
• Bill Scherlis's semantics-based program analysis and manipulation page.
• CCL (Construction of Computational Logics) publications.
• LICS (Logic In Computer Science) WWW page.
• Logic Programming at IBM Research.
• Peter Van Roy's Issues in Implementing Logic Languages.
• The newsgroup comp.lang.prolog. An archive of articles is also available.
• Mark Kantrowitz's Prolog Resource Guide.
• Marc-Michel Corsini's Abstract Interpretation for LP Bibliography.
• Michael Jampel's home page for the comp.constraints newsgroup.
• Frank Pfenning's logical frameworks page.
• Proceedings of the Post-ILPS'94 Workshop on Constraints and Databases.

Partners

• SICS home page.