101 reputation
112
bio website uclue.com
location Knoxville, TN
age 61
visits member for 1 year, 7 months
seen Jun 12 at 10:37

Enjoys programming in Prolog.

Richard O'Keefe: "Prolog is an efficient programming language because it is a very stupid theorem prover."