SWI-Prolog
ericspt