hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 10 years, 2 months
  • Last seen more than a week 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.