Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more
QuietThud's user avatar
QuietThud's user avatar
QuietThud's user avatar
QuietThud
  • Member for 11 years, 6 months
  • Last seen more than 9 years ago
Stats
229
reputation
7k
reached
3
answers
5
questions
Loading…
About

Please help establish the Logic StackExchange! Sign your name to push us into beta. =)

Also, check out the Systems Science Stack Exchange proposal!

Learning Mathematica and Prolog for logic programming. (Ubuntu 12.04LTS)

a Totoro

This user doesn’t have any gold badges yet.
1
silver badge
13
bronze badges
2
Score
2
Posts
25
Posts %
1
Score
1
Posts
12
Posts %
0
Score
3
Posts
38
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
Top posts