dallemang/SPIN-from-RIF — pull request #2 by jpcs (2014-08-26 19:01:07+00:00)
Title: Implemented conversion from FIBO RIF to the MarkLogic rule language

FYI the implementation for upcoming MarkLogic rules format. I also implemented translation of the axioms/constants.