hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 11 years, 4 months
  • Last seen more than a month ago
About

Enjoys programming in Prolog.

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

Badges
1
gold badge
1
silver badge
2
bronze badges
Posts

This user hasn’t posted yet.