Quintus Prolog
Description

A Prolog system developed by the USA based Quintus Corp., the first commercially successful workstation Prolog system and as such pioneered a number of features for a traditional Prolog system that had up until then only been available in research systems or in language hybrids such as Turbo Prolog. These included a embedding, module system, foreign language interface (allowing the system to link with objects made in other programming languages) and customization through hook predicates and functions.
Because the original Quintus company rapidly loosing interest in their artificial intelligence product line at the time the 32 bit OS/2 version was being finished, it remained in more or less eternal beta. The Quintus Prolog system ended up being purchased by one of their customers in the form of AI International, but they had limited development resources and resold it a little while later to SICS who dropped the OS/2 release altogether.
History
Originally introduced in 1985