Open greenTara opened 11 years ago
Add functional RuleML examples to the repo, including: shalen - about length of a list and "shape" others?
The current version of OO jDREW does not handle equality. Therefore it is critical that the examples document the results of queries, providing a specification of the operational semantics.
Add functional RuleML examples to the repo, including: shalen - about length of a list and "shape" others?