SWI-Prolog
tata_g