SWI-Prolog
JCR