hardmath profile image
1187
Reputation: 7813
Knoxville, TN

hardmath

Enjoys programming in Prolog.

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

When I cross the street, I look both ways: up and dn.