SWI-Prolog
eignnx