SWI-Prolog
notooth