Rimmel is an OCaml language extension providing pseudo-logical clauses.
Rimmel provides a clause oriented syntax allowing a mix of functional and logic programming styles.
The user may define more than one clause per “function” identifier in order to morally define a relation (more than one output):
f(p;e) :- g(e;p),...,h(e;p).
...
f(p;e) :- k(e;p),...,l(e;p).
The meaning of a set of clauses is given using categorical structures. A long term goal of the project is the integration of the Prolog-style unification with the standard pattern matching. The syntax extension is implemented in Camlp4, the powerful standard OCaml preprocessor.
View full history Series and milestones
trunk series is the current focus of development.
All code Code
- Version control system:
- Bazaar
- Programming languages:
- OCaml, Camlp4