Hacker News new | ask | show | jobs
Logical Foundations of Prolog (youtube.com)
7 points by b-man 10 days ago