Skip to main content
hardmath's user avatar
hardmath's user avatar
hardmath's user avatar
hardmath
  • Member for 14 years, 6 months
  • Last seen this week
  • Knoxville, TN
Profile Activity
Stats
8,843
reputation
2.3m
reached
160
answers
0
questions
Collectives
Google Cloud
2021 • Member
Communities
View all
About

Enjoys programming in Prolog.

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

When I cross the street, I look both ways: up and dn.

Badges
View all badges
2
gold badges
40
silver badges
68
bronze badges
Top tags
View all tags
312
Score
92
Posts
58
Posts %
232
Score
9
Posts
6
Posts %
140
Score
41
Posts
26
Posts %
56
Score
8
Posts
5
Posts %
55
Score
17
Posts
11
Posts %
35
Score
13
Posts
8
Posts %
Top posts
View all questions, answers, and articles
217
The program can't start because libgcc_s_dw2-1.dll is missing
Jan 16, 2011
48
What is the difference between == and = in Prolog?
Nov 22, 2011
28
org.xml.sax.SAXParseException: Content is not allowed in prolog
Feb 28, 2011
21
What is a possible use case of BigInteger's .isProbablePrime()?
Dec 11, 2014
21
Prolog - how to check if a list includes certain elements?
Mar 4, 2011
16
Algorithm to find points that are furthest apart -- better than O(n^2)?
Jun 29, 2011
16
Prolog implying a negative predicate
Jun 13, 2011
13
Prolog count the number of times a predicate is true
May 19, 2011
13
Good IDE to get started with prolog
Mar 12, 2011
12
Permuted combinations of the elements of a list - Prolog
Jan 2, 2011
Top Meta posts
1
3
5
Does SO Careers not know my location?
5
Scrounger users that never validates good answers and never upvote
Top network posts
View all network posts
444
Add an "I don't understand" option for review audits
50
Can two topological spaces surject onto each other but not be homeomorphic?
32
Visited Calendar pop out on user activity pages missing
30
How does a non-technical manager add value to team of self-motivated software developers?
27
What's the difference between predicate and propositional logic?