The GNU Prolog native compiler
Syntax tree editor for rapid annotation of existing text
A Database System for Metamodeling and Method Engineering
Euler Yet another proof Engine
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
Prolog to C compiler with runtime for DOS, Windows and Raspbian
A Wumpus World in c# and prolog with a GUI
Short C++/Java/C#/Python benchmark
C#Prolog -- A Prolog interpreter written in managed C#
A cross platform audio inteface
Goal-directed answer-set programming
(download) Linux Adequate"available approximately five days"
Prolog wrapper for BWAPI