Quintus Prolog

Quintus Prolog
DeveloperSwedish Institute of Computer Science
Release1984
Final release
3.5 / 29 December 2003 (2003-12-29)
TypeProlog implementation
LicenseProprietary
Websitequintus.sics.se

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.