SWI-Prolog
aco