The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
anpe is Ada Neural Prolog Engine
PyCLP is a Python library to interface ECLiPSe Constraint System
A general-level Prolog implementation of the DALMAS architecture.
a Java API & Interpreter for AgentSpeak + Prolog
TuCSoN tuple-based coordination middleware
Logic Program Updates System
Yadlr toolset for many-valued inference