Readme.txt :how to use JProlog