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.
Member for 1 year, 1 month
2 profile views
Last seen Jul 13 '19 at 18:29
- Mathematics 32k 32k 99 gold badges5858 silver badges114114 bronze badges
- Stack Overflow 8.2k 8.2k 22 gold badges2929 silver badges6060 bronze badges
- Meta Stack Exchange 4.5k 4.5k 22 gold badges1414 silver badges1515 bronze badges
- Computational Science 3.1k 3.1k 11 gold badge1515 silver badges3535 bronze badges
- Coffee 989 989 77 silver badges1919 bronze badges
- View network profile
Top network posts
- 384 Add an "I don't understand" option for review audits
- 196 The program can't start because libgcc_s_dw2-1.dll is missing
- 46 Can two topological spaces surject onto each other but not be homeomorphic?
- 38 What is the difference between == and = in Prolog?
- 30 How does a non-technical manager add value to team of self-motivated software developers?
- 26 org.xml.sax.SAXParseException: Content is not allowed in prolog
- 22 What are some theorems that currently only have computer-assisted proofs?
- View more network posts →