SWI-Prolog
bwat