SWI-Prolog
anuwatpe