A system for examining and evaluating a disjunctive pattern with symbolic forms similar to that of Prolog and Datalog.
|
|
||
|---|---|---|
| doc | Add sources | |
| src | Add sources | |
| AUTHORS | Add sources | |
| CHANGELOG | Add sources | |
| LICENSE | Add sources | |
| NEWS | Add sources | |
| PRIMER | Add sources | |
| README | Add sources | |
| TODO | Add sources | |
/ Catalog Abstraction System +/