Sicstus prolog

A Prolog from the SICS (Swedish Inst of Comp Sci).