Registered by Jean-Vincent Loddo

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.

Project information

Licence:
GNU GPL v2

RDF metadata

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

All bugs Latest bugs reported

Get Involved

  • Report a bug
  • warning
    Ask a question
  • warning
    Help translate

Downloads

rimmel does not have any download files registered with Launchpad.