Links

Old issues (pre 2010) of the ALP Newsletters
Planet Prolog blog (mantained by Tom Schrijvers)
National associations for logic programming:
- GULP: Gruppo Ricercatori e Utenti Logic Programming (Italy)
Prolog systems:
- B Prolog
- CIAO Prolog
- ECLiPSe Constraint Logic Programming System
- GNU Prolog
- SICStus Prolog
- SWI Prolog
- YAP Prolog
Answer set programming systems:
- CMODELS
- DLV Disjunctive Logic Programming with Stable Model Semantics
- Potassco (gringo, clasp, etc.)
- Smodels (and lparse)
Extensions of logic programming:
- Logtalk Object-oriented logic programming language

The association for Logic Programming