hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 10 years, 3 months
  • Last seen more than 1 year 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
4
bronze badges
Posts

This user hasn’t posted yet.