crocopat

CrocoPat: A Tool for Simple and Efficient Relational Programming

CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language RML is based on first-order predicate calculus. The implementation is based on the data structure binary decision diagram (BDD), which is well-known as a compact representation of large relations in computer-aided verification. CrocoPat is easy to integrate with other tools because it reads and writes relations from and to files in the simple relational text format RSF.

CrocoPat Project Home Page CrocoPat Introduction and Reference Manual (PDF)

Quick-Start Tutorial
RSF Reference
RML Reference
Advanced Programming Techniques

API and Source-Code Documentation

Files and Classes

Problem Reports

Issue Tracker

Project Information

License: GNU Lesser GPL
8 stars
svn-based source control

Labels:
Relational Programming BDD-Package Library Tool Analysis Logic First-order