SWI-Prolog
CharlesHoffmanCPA