John Fisher

Automating Coherent Logic
UiB project support 2005-2009
Colog Java 2009 ..
Visit to Bergen March 2008
GeologUI Java 2007 ..
Geolog and Skolem Machines Prolog 2005 ..

√