SWI-Prolog
adimetrius