<story><title>The birth of Prolog (1992) [pdf]</title><url>http://alain.colmerauer.free.fr/alcol/ArchivesPublications/PrologHistory/19november92.pdf</url></story><parent_chain><item><author>emmanueloga_</author><text>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.&lt;p&gt;1: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;kanaka&amp;#x2F;mal&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;kanaka&amp;#x2F;mal&lt;/a&gt;&lt;p&gt;2: &lt;a href=&quot;http:&amp;#x2F;&amp;#x2F;www.buildyourownlisp.com&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;http:&amp;#x2F;&amp;#x2F;www.buildyourownlisp.com&amp;#x2F;&lt;/a&gt;</text></item></parent_chain><comment><author>carapace</author><text>Traditionally the WAM[1] has been the route, but see Paul Tarau&amp;#x27;s &amp;quot;A Hitchhiker’s Guide to Reinventing a Prolog Machine&amp;quot;[2].  Check out also Nils M Holm&amp;#x27;s &amp;quot;PROLOG Control in Six Slides&amp;quot;[3]&lt;p&gt;[1] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;en.wikipedia.org&amp;#x2F;wiki&amp;#x2F;Warren_Abstract_Machine&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;en.wikipedia.org&amp;#x2F;wiki&amp;#x2F;Warren_Abstract_Machine&lt;/a&gt;&lt;p&gt;[2] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.cse.unt.edu&amp;#x2F;~tarau&amp;#x2F;research&amp;#x2F;2017&amp;#x2F;eng.pdf&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.cse.unt.edu&amp;#x2F;~tarau&amp;#x2F;research&amp;#x2F;2017&amp;#x2F;eng.pdf&lt;/a&gt;&lt;p&gt;[3] &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;www.t3x.org&amp;#x2F;bits&amp;#x2F;prolog6.html&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;www.t3x.org&amp;#x2F;bits&amp;#x2F;prolog6.html&lt;/a&gt; &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=20591771&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=20591771&lt;/a&gt;&lt;p&gt;I don&amp;#x27;t know anything about it but there&amp;#x27;s &amp;quot;Prolog.c: a simple Prolog interpreter written in 200 LOC of C++ (2000) (cam.ac.uk)&amp;quot;&lt;p&gt;&lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=12193694&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=12193694&lt;/a&gt;&lt;p&gt;&lt;a href=&quot;http:&amp;#x2F;&amp;#x2F;www.cl.cam.ac.uk&amp;#x2F;~am21&amp;#x2F;research&amp;#x2F;funnel&amp;#x2F;prolog.c&quot; rel=&quot;nofollow&quot;&gt;http:&amp;#x2F;&amp;#x2F;www.cl.cam.ac.uk&amp;#x2F;~am21&amp;#x2F;research&amp;#x2F;funnel&amp;#x2F;prolog.c&lt;/a&gt;</text></comment>
<story><title>The birth of Prolog (1992) [pdf]</title><url>http://alain.colmerauer.free.fr/alcol/ArchivesPublications/PrologHistory/19november92.pdf</url></story><parent_chain><item><author>emmanueloga_</author><text>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.&lt;p&gt;1: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;kanaka&amp;#x2F;mal&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;kanaka&amp;#x2F;mal&lt;/a&gt;&lt;p&gt;2: &lt;a href=&quot;http:&amp;#x2F;&amp;#x2F;www.buildyourownlisp.com&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;http:&amp;#x2F;&amp;#x2F;www.buildyourownlisp.com&amp;#x2F;&lt;/a&gt;</text></item></parent_chain><comment><author>ethagnawl</author><text>You could study core.logic: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;clojure&amp;#x2F;core.logic&amp;#x2F;tree&amp;#x2F;master&amp;#x2F;src&amp;#x2F;main&amp;#x2F;clojure&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;clojure&amp;#x2F;core.logic&amp;#x2F;tree&amp;#x2F;master&amp;#x2F;src&amp;#x2F;main&amp;#x2F;c...&lt;/a&gt;&lt;p&gt;I swear I&amp;#x27;d bookmarked a resource that was more analogous to #2, but you may want to have a look at The Little Prover: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;mitpress.mit.edu&amp;#x2F;books&amp;#x2F;little-prover&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;mitpress.mit.edu&amp;#x2F;books&amp;#x2F;little-prover&lt;/a&gt;</text></comment>