SWI-Prolog
karl_popp