SWI-Prolog
hotdog