<div dir="ltr"><div>I took my first Prolog course in the summer of 1984 and got hooked immediately. In the late 80s, the Japanese state gave 12 years of generous funding to SICS, the Swedish Institute of Computer Science - until its disappearance in 2018 the largest computer science research institute in Sweden for >30 years - to "develop 5th generation programming languages." This led to many things, including SICStus Prolog, which still has many active users and is in the top10 of most thanked code libraries in published research: <a href="https://sicstus.sics.se/">https://sicstus.sics.se/</a>  </div><div><br></div><div>Some of the people still developing solvers for Prolog are among the best programmers I have had the pleasure to work with. I worked at SICS for 18 years and wrote many meta-interpreters for Prolog myself, but I did not commit any new constraint solvers to the core of SICStus. A story typical of early 90s Prolog development is me asking one of my mentors, Torkel Franzén, whom some of you would remember from the Usenet days, why he did not promote his latest solver, was it no good? (I used it in my course on automated theorem proving and it rocked.) Well, he said, it's the fastest prover in the world, by far. But it's for intuitionistic logic. Thus, it has no merit. Torkel and I taught a string of Ph D courses in the 90s, including Foundations of Logic Programming, based on the wonderful book by Lloyd. Torkel said to the students that if you can't find a 1st ed, just buy a later edition and rip out the added chapters.</div><div><br></div><div>We had lots of fun in particular with not(not(not( constructions, i.e. negated negation-as-failure clauses...</div><div>M.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 30 Mar 2022 at 18:30, McMillan, William W <<a href="mailto:william.mcmillan@cuaa.edu">william.mcmillan@cuaa.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">




<div dir="ltr">
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
Pierre, you mention the use of Prolog in Japan, but IBM was also quite interested in it during the 1980s (I believe in the U.S.).  They had a recruiting table set up at the 1984 ACM Computer Science Conference just to recruit Prolog developers.</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
You're probably familiar with a Windows-based "Prolog" that was sold under the name Turbo Prolog (possibly from Borland).  I put Prolog in quotes because Turbo Prolog required compile-time variable-type binding, which is good for efficiency, but so inflexible
 for AI systems that it was useless.</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
There were several other Prolog implementations, such as Arity Prolog, that were real Prolog, but that had their own extensions to support things like character-based windows for the UI (hot stuff in the 1980s).<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
I may have docs or info on some of these other Prologs if anyone is interested.</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
Personal note: Prolog is still the most powerful programming language ever developed.  I found that the number of lines of C or Java code to the number of lines of Prolog code to implement the same functionality (exclusive of the UI) was 10 to 100, depending on
 the complexity.  But good use of Prolog requires extensive rewiring of the programmer's brain to do anything but simple stuff.<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
(OK, OK, APL fans, I'll admit you have the same advantage for numerical apps!)<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
Bill</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0);background-color:rgb(255,255,255)">
<br>
</div>
<div id="gmail-m_238555882078720115appendonsend"></div>
<hr style="display:inline-block;width:98%">
<div id="gmail-m_238555882078720115divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> Members <<a href="mailto:members-bounces@lists.sigcis.org" target="_blank">members-bounces@lists.sigcis.org</a>> on behalf of Pierre Mounier-Kuhn <<a href="mailto:mounier@msh-paris.fr" target="_blank">mounier@msh-paris.fr</a>><br>
<b>Sent:</b> Wednesday, March 30, 2022 7:58 AM<br>
<b>To:</b> members <<a href="mailto:members@sigcis.org" target="_blank">members@sigcis.org</a>><br>
<b>Subject:</b> [SIGCIS-Members] History of Prolog</font>
<div> </div>
</div>
<div>
<p style="font-family:"sans-serif";color:red;padding:5px;border:2px solid black;margin-bottom:15px">
<font face="sans-serif" color="red"><b style="font-weight:bold">CAUTION:</b> This email originated from outside of Concordia University. Do not click links or open attachments unless you recognize the sender and know the content is safe.</font></p>
<div>
<div style="font-family:arial,helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<div><span style="font-family:"times new roman","new york",times,serif">Hi all,</span><br>
</div>
<div>
<div><span style="font-family:"times new roman","new york",times,serif">Prolog was a programming language based on formal logic, designed in 1972 at the university of Marseille by Alain Colmerauer and his team. It was adopted ten years later in Japan to develop
 AI systems. Nowadays, it is almost as forgotten as Algol or APL. A conference is planned for November 2022 in Paris to pay hommage to Colmerauer and his work. A Colmerauer Prize Committee is formed, chaired by Prof. em. Robert Kowalski, Distinguished Research
 Fellow at Imperial College, London.</span><br>
</div>
<div><span style="font-family:"times new roman","new york",times,serif">I would like to know whether people, beyond Colmerauer's circle, have included Prolog, its development and use, in their historical research.</span></div>
<div><span style="font-family:"times new roman","new york",times,serif">Thanks for your answers!</span></div>
<div><span style="font-family:"times new roman","new york",times,serif">Best regards,</span></div>
<div><span style="font-family:"times new roman","new york",times,serif">Pierre Mounier-Kuhn</span></div>
</div>
</div>
</div>
</div>
</div>

_______________________________________________<br>
This email is relayed from members at <a href="http://sigcis.org" rel="noreferrer" target="_blank">sigcis.org</a>, the email discussion list of SHOT SIGCIS. Opinions expressed here are those of the member posting and are not reviewed, edited, or endorsed by SIGCIS. The list archives are at <a href="http://lists.sigcis.org/pipermail/members-sigcis.org/" rel="noreferrer" target="_blank">http://lists.sigcis.org/pipermail/members-sigcis.org/</a> and you can change your subscription options at <a href="http://lists.sigcis.org/listinfo.cgi/members-sigcis.org" rel="noreferrer" target="_blank">http://lists.sigcis.org/listinfo.cgi/members-sigcis.org</a></blockquote></div></div>