SWI-Prolog
natarg