| Developer(s) | Swedish Institute of Computer Science |
|---|---|
| Initial release | 1984 |
| Final release | 3.5
/ 29 December 2003 |
| 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 Science, 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.