Quintus Prolog
| Quintus Prolog | |
|---|---|
| Developer | Swedish Institute of Computer Science |
| Initial release | 1984 |
| Final release | 3.5
/ 29 December 2003 |
| Repository |
|
| Engine | |
| Type | Prolog implementation |
| License | Proprietary |
| Website | quintus |
Quintus Prolog is a proprietary implementation of the Prolog programming language based on the Warren Abstract Machine. Originally developed by Quintus Computer Systems, it is currently maintained by SICS. It was long known as the most highly-performing implementation of Prolog, and the early 1990s, it defined a de facto standard for Prolog implementations.
History
[edit | edit source]Quintus Prolog was first introduced in 1984 as an implementation of the recently proposed Warren Abstract Machine by Quintus Computer Systems, which had been founded for this purpose by David H. D. Warren, William Kornfeld, Lawrence Byrd, Fernando Pereira and Cuthbert Hurd.[1] Quintus was sold to Intergraph Corporation in 1989,[2][3] and was eventually acquired by SICS in 1998.[1] After several of its features were amalgamated into their Prolog implementation SICStus, its final version release was Quintus 3.5 in 2003. As of November 2023[update], Quintus is still maintained by SICS.[1][4]
Features
[edit | edit source]The syntax used by Quintus Prolog was based on that of DEC-10 Prolog.[1] 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.[1][5]
Legacy
[edit | edit source]
Quintus Prolog rose to a de facto standard, and significantly influenced the ISO standard for Prolog developed in 1995/6.[1] 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.[1] Several other popular Prolog systems, both commercial and research-based, are directly influenced by Quintus Prolog, including SICStus, SWI-Prolog, YAP and Ciao.[1]
See also
[edit | edit source]References
[edit | edit source]- ^ a b c d e f g h Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
