Bad idea of the day: a prolog repl, except pred definitions are checked in reverse definition order and all pred definitions not starting with underscore are persistent. you can export the persistent environment image as a regular prolog file.