Instructions: Import the project. The API is availabe here: https://github.com/tmitsi/ruleml-prolog-translator-api