Quintus Prolog
Quintus Prolog

Quintus Prolog Release 3 is a well known and well proven embeddable implementation of Prolog for UNIX and PC platforms, designed to support the building of software components that can be easily integrated into applications written using other languages and tools. This is an extremely robust and well proven Prolog implementation well suited for serious commercial applications and research projects which require dependable software tools.

 

External homepage: 
http://quintus.sics.se/