Язык программирования PROLOG

PROLOG - Энциклопедия языков программирования - Описание языка, истории развития, тенденций.
Приведены примеры программ для различных диалектов языка PROLOG.

The Association for Logic Programming (ALP)

ALP Links (logic programming):
Planet Prolog blog (mantained by Tom Schrijvers)
ALP Newsletter This is the electronic newsletter of the Association for Logic Programming. It contains news, net postings, call for papers, comments, conference announcements and humour, all related to Computational Logic.
Old issues (pre 2010) of the ALP Newsletters

Prolog systems:
B Prolog
CIAO Prolog
ECLiPSe Constraint Logic Programming System
GNU Prolog
SICStus Prolog
SWI Prolog
XSB Prolog
YAP Prolog
tuProlog

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