Pettersson, M. (1994). RML - A New Language and Implementation for Natural Semantics. Technical Report LiTH-IDA-R-94-25, Department of Computer and Information Science, Linköping University, Sweden. Presented at the International Conference on Programming Language Implementation and Logic Programming (PLILP'94), Madrid, September 14-16, 1994. (bibtex),
Abstract: RML is a programming language intended for the implementation of Natural Semantics specifications. The basic procedural elements are relations: many-to-many mappings defined by a number of axioms or inference rules. It has control flow, logical variables and (explicit) unification as in Prolog; from ML it borrows a polymorphic type system, data structures, and pattern matching; a facility for separately-compilable modules also exists. A simple prototype compiler, based on translating RML to Continuation-Passing Style and then to C, has been implemented. Benchmarks indicate that this compiler generates code that is several orders of magnitude faster than Typol, and two times faster than standard Prolog compilers.
CS Dept TR Overview