- GULP Youtube channel
- The Association for Logic Programming
Prolog systems:
- ALS Prolog (Applied Logic Systems Inc)
- B Prolog (Afany Software-Zhou)
- CIAO Prolog (and repository of the CLIP/IMDEA group)
- ECLiPSe Constraint Logic Programming System
- GNU Prolog (D. Diaz)
- SICStus Prolog (M. Carlsson)
- Strawberry Prolog (D. Dobrev)
- SWI Prolog (J. Wielemaker)
- tu-Prolog (A. Omicini et al)
- XSB Prolog (XSB Inc and others)
- YAP Prolog (Univ do Porto)
- WIN Prolog (LPA Ldt)
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
- TOY A constraint functional logic system
- The ProB Animator and Model Checker
- Visual Prolog: a multi-paradigm programming language based on Prolog.
Notice: the content of this page is based on the links page of the ALP website.