SWI-Prolog
BlondMammuth