SWI-Prolog
konokaiden