SWI-Prolog
salamander