This is a tuProlog REPL plugin for jReality.