John Fisher
Automated Coherent Logic
UiB project support 2005-2009
Colog
Java
2009 ..
Visit to Bergen
March 2008
GeologUI
Java
2007 ..
Geolog and Skolem Machines
Prolog
2005 ..
√W3C
