Skip to main content
hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 12 years
  • Last seen more than 9 years ago
About

Enjoys programming in Prolog.

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.