Euler Yet another proof Engine
ADP is a script language designed for Web database prgramming.
Prolog to C compiler with runtime for DOS, Windows and Raspbian
An OrBAC policy editor
psys is Prolog part of anpe projet
A Wumpus World in c# and prolog with a GUI
a reasoning engine for agents and games
A cross platform audio inteface
Yadlr toolset for many-valued inference
IMDb Relational Dataset Generator
Prolog wrapper for BWAPI
A java modeling framework based on frame-slot-facet Minksy's theory
Closing the gap between Space and Semantics