SWI-Prolog
kuniaki.mukai