hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 11 years, 9 months
  • Last seen this week
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.