SWI-Prolog
tripsytina