The Poet of Logic Programming (Interview with Robert Kowalski)
An interview with Robert Kowalski, the co-creator of the field of logic programming and of the Prolog language.
The Poet of Logic Programming (Interview with Robert Kowalski) launched on April 24, 2020 with 6 votes, #1,581 of 5,003 launches that month and more than 50% of that year's launches. The site was still online in September 2026, 6 years on.
What it does
An interview with Robert Kowalski, the co-creator of the field of logic programming and of the Prolog language. The conversation ranges over the history of Prolog, the ill-famed Fifth Generation Computer Systems project, the relation between symbolic AI and connectionist AI including deep learning, why rule engines fail at logic, and the future of logic programming. https://vanemden.wordpress.com/2010/06/08/interview-with-alan-robinson-inventor-of-resolution-logic/ Thanks for listening! Feel free to check out other episodes or contact me via the social links in the footer. Or go buy me a coffeefrom thesearch.space
Does a similar job
all alternatives →- WAWriting an HTTP server in Prolog2016 · jamesbvaughan.com · ▲238
A simple Prolog Interpreter written in a few lines of Python 32019 · github.com · ▲149A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators in order to perform its magic. - photonlines/Python-Prolog-Interpreter
An encoding of the UK's self-isolation rules in Prolog2021 · github.com · ▲108An encoding of the UK's self-isolation rules in Prolog - jamespwilliams/prolog-isolation-checker
Embedding a Prolog-like logic programming language in JavasScript2021 · github.com · ▲7Embedding a Prolog-like logic programming language in JavasScript and TypeScript. - xieyuheng/logic-db
Embeddable Prolog in Go2021 · github.com · ▲14The only reasonable scripting engine for Go. Contribute to ichiban/prolog development by creating an account on GitHub.
More life & fun this month
the category →
A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.
Life & fun · 3d ago · permit.petercai.com
- IV
Life & fun · 15d ago · tanzaniaeducationproject.org
Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.
Life & fun · 16d ago · bigwords.page
Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.
Life & fun · 10d ago · guitoro.com
Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.
Life & fun · 14d ago · carrierexplode.com
Life & fun · 24d ago · space.bl2.net
Source: Show HN post ↗
Launched alongside, April 2020
the whole month →
https://github.com/OlexG/finclaw ^ repo if anyone wants to contribute. I realized that sometimes I'm pretty good at making random guesses about the future. (I.E, I think OpenAI will beat Anthropic in the short term, etc...) However, I'm bad at converting these guesses into actual market plays I can profit from. As such, I wanted to make a tool that connects to the right APIs and launches a swarm of agent experts to generate related plays based on your prediction. The very first super shitty V0 MPV just has Polymarket/Kalshi bets, but I will be adding a more complex…
AI · 2020 · youtube.com
CleanShot X▲951Mac-native app for screenshots, recordings and collaboration
Dev tools · 2020 · cleanshot.com
For bureaucratic reasons, a colleague of mine had to print, sign, scan and send by email a high number of pages. To save trees, ink, time, and to...
Life & fun · 2020 · gitlab.com
