Syntax tree editor for rapid annotation of existing text
An OrBAC policy editor
A Wumpus World in c# and prolog with a GUI
It`s Open Source Project That Contains Huge SDK`S Inside It.
Traverse conformance checker
Prolog wrapper for BWAPI
Closing the gap between Space and Semantics
FFC Group Assignment on Prolog using NetBeans + SWI-Prolog