SWI-Prolog
dana