Quintus Prolog

Quintus Prolog was first introduced in 1984 as an implementation of the recently proposed Warren Abstract Machine by Quintus Computer Science, which had been founded for this purpose by David H. D. Warren, William Kornfeld, Lawrence Byrd, Fernando Pereira and Cuthbert Hurd.{{Cite journal |last1=Körner |first1=Philipp |last2=Leuschel |first2=Michael |last3=Barbosa |first3=João |last4=Costa |first4=Vítor Santos |last5=Dahl |first5=Verónica |last6=Hermenegildo |first6=Manuel V. |last7=Morales |first7=Jose F. |last8=Wielemaker |first8=Jan |last9=Diaz |first9=Daniel |last10=Abreu |first10=Salvador |last11=Ciatto |first11=Giovanni |date=November 2022 |title=Fifty Years of Prolog and Beyond |journal=Theory and Practice of Logic Programming |language=en |volume=22 |issue=6 |pages=776–858 |doi=10.1017/S1471068422000102 |issn=1471-0684|doi-access=free |hdl=10174/33387 |hdl-access=free }} Quintus was sold to Intergraph Corporation in 1989,{{cite book |author=John A. N. Lee |url=https://archive.org/details/internationalbio00john/page/388 |title=International biographical dictionary of computer pioneers |publisher=Taylor & Francis for IEEE Computer Society Press |year=1995 |isbn=978-1-884964-47-3 |pages=[https://archive.org/details/internationalbio00john/page/388 388–389] |chapter=Cuthbert C. Hurd |chapter-url=https://books.google.com/books?id=ocx4Jc12mkgC&pg=PA388}}{{cite book |author=David E. Weisberg |title=The Engineering Design Revolution:The People, Companies and Computer Systems That Changed Forever the Practice of Engineering |year=2008 |chapter=Intergraph |chapter-url=http://www.cadhistory.net/chapters/14_Intergraph.pdf |archive-url=https://web.archive.org/web/20100707074339/http://www.cadhistory.net/chapters/14_Intergraph.pdf |archive-date=July 7, 2010 |url-status=dead |accessdate=May 26, 2010}} and was eventually acquired by SICS in 1998. After several of its features were amalgamated into their Prolog implementation SICStus, its final version release was Quintus 3.5 in 2003. {{As of|2023|November}}, Quintus is still maintained by SICS.{{Cite web |title=Quintus Prolog Homepage |url=https://quintus.sics.se/ |access-date=2023-11-12 |website=quintus.sics.se}}

The syntax used by Quintus Prolog was based on that of DEC-10 Prolog. It was long known as the most highly performing implementation of Prolog, and was the first to implement optimisations such as instruction merging and specialisation for the Warren Abstract Machine.{{Cite book |last1=Nässén |first1=Henrik |last2=Carlsson |first2=Mats |last3=Sagonas |first3=Konstantinos |chapter=Instruction merging and specialization in the SICStus Prolog virtual machine |date=2001-09-05 |pages=49–60 |title=Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming |chapter-url=http://dx.doi.org/10.1145/773184.773191 |location=New York, NY, USA |publisher=ACM |doi=10.1145/773184.773191|isbn=1-58113-388-X }}

File:Prolog_systems.svg

Quintus Prolog rose to a de facto standard, and significantly influenced the ISO standard for Prolog developed in 1995/6. In addition, while the module system envisaged by the ISO standard deviates from that of Quintus, the Quintus module system is in fact more widely adopted by modern Prolog implementations than that mandated by ISO. Several other popular Prolog systems, both commercial and research-based, are directly influenced by Quintus Prolog, including SICStus, SWI-Prolog, YAP and Ciao.

• Comparison of Prolog implementations
• Prolog syntax and semantics

{{Reflist}}

• {{CC-notice|cc=by4|from this source=Fifty Years of Prolog and Beyond|url=https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/fifty-years-of-prolog-and-beyond/3A5329B6E3639879301A6D44346FD1DD|date=17 May 2022|author(s)=PHILIPP KÖRNER, MICHAEL LEUSCHEL, JOÃO BARBOSA, VÍTOR SANTOS COSTA, VERÓNICA DAHL, MANUEL V. HERMENEGILDO, JOSE F. MORALES, JAN WIELEMAKER, DANIEL DIAZ, SALVADOR ABREU and GIOVANNI CIATTO}}

Category:Prolog programming language family