SWI-Prolog
execution