The GNU Prolog native compiler
A Database System for Metamodeling and Method Engineering
Euler Yet another proof Engine
Syntax tree editor for rapid annotation of existing text
Prolog to C compiler with runtime for DOS, Windows and Raspbian
C#Prolog -- A Prolog interpreter written in managed C#
Goal-directed answer-set programming