v0.4.0

metatypeman released this 20 Jul 18:51

· 171 commits to master since this release

3ce6fe7

Modalities:
- Obligation modality
- Self obligation modality
Facts about facts
Binding grouping with logic variable in logical query
Triggers on adding facts
Fixing issues

Assets 4