hardmath
179
reputation
1
4
6
Enjoys programming in Prolog.
Richard O'Keefe: "Prolog is an efficient programming language because it is a very stupid theorem prover."