SWI-Prolog
molfar