illness_index A Computer Program of a Medical Textbook.
An OrBAC policy editor
A Wumpus World in c# and prolog with a GUI
Short C++/Java/C#/Python benchmark
Java Internet Prolog (Moved to GitHub)
A 100% Java Warren Abstract Machine implementation.
Constraint Logic can solve word logic puzzles.