SWI-Prolog
westly