SWI-Prolog
Sanjuro