JohnRFisher.NET
Automating Coherent Logic (archive) UiB project 2005-2009 Colog Java 2009 .. Visit to Bergen March 2008 GeologUI Java 2007 .. Geolog and Skolem Machines Prolog 2005 .. A newer version of colog is posted at http://www.csupomona.edu/~jrfisher/ download JarApps