John R. Fisher
John R. Fisher
cpp email
prolog :- tutorial
Colog weblog
Math research
Logic research
   AutoLogic