SWI-Prolog
bladyjoker