Quintus Prolog

Uma influente implementação comercial da linguagem de programação Prolog. Desempenhou um papel importante na popularização do Prolog para aplicações comerciais de inteligência artificial.