EdmonL/RuleML2TPTP — pull request #4 by EdmonL (2014-10-29 05:13:51+00:00)
Title: intial version. works for simple examples.

Review and comment please. If OK, comment :shipit: .
@changyangliu