John R. Fisher
John R. Fisher
cpp email
prolog :- tutorial
Colog weblog colog
Colog 2012
Math research 1971-1981

Logic research 1995-2009