If curious, past threads:<p><i>Prolog and Logic Programming Historical Sources Archive</i> - <a href="https://news.ycombinator.com/item?id=22658770" rel="nofollow">https://news.ycombinator.com/item?id=22658770</a> - March 2020 (33 comments)<p><i>The Birth of Prolog (1992) [pdf]</i> - <a href="https://news.ycombinator.com/item?id=18178215" rel="nofollow">https://news.ycombinator.com/item?id=18178215</a> - Oct 2018 (39 comments)<p><i>A Tribute to Alain Colmerauer (2001)</i> - <a href="https://news.ycombinator.com/item?id=15254369" rel="nofollow">https://news.ycombinator.com/item?id=15254369</a> - Sept 2017 (1 comment)<p><i>In Memoriam Alain Colmerauer: 1941-2017</i> - <a href="https://news.ycombinator.com/item?id=14399688" rel="nofollow">https://news.ycombinator.com/item?id=14399688</a> - May 2017 (5 comments)<p>Others? Prolog itself is probably too big a theme to list here, but Prolog origins?<p>(Edit: thanks to commenter who supplied now-deleted reference.)
As Kowalski has acknowledged and reported by others, Prolog was invented as a subset of Planner that only implemented backward chaining.<p>See the following for further information:<p>"Middle History of Logic Programming: Resolution, Planner, Prolog and the Japanese Fifth Generation Project" ArXiv 2009.<p><a href="https://dev.arxiv.org/abs/0904.3036" rel="nofollow">https://dev.arxiv.org/abs/0904.3036</a>
I was wondering if anyone knows of a resource in the same vein as [1] or [2] but to implement a prolog interpreter instead of lisp.<p>1: <a href="https://github.com/kanaka/mal" rel="nofollow">https://github.com/kanaka/mal</a><p>2: <a href="http://www.buildyourownlisp.com/" rel="nofollow">http://www.buildyourownlisp.com/</a>
One of the debates I always enjoy when it shows up on HN is the comparison of lightweight serialization formats, especially, e.g., sexprs vs json. I don’t believe I’ve ever seen Prolog terms show up, but they seem apposite.