Text this: SWI-Prolog.