search

advancedresearch / avalog

An experimental implementation of Avatar Logic with a Prolog-like syntax
Apache License 2.0
66 stars 3 forks source link

Handle case in inequality rule #144

Closed bvssvni closed 3 years ago

bvssvni commented 3 years ago

Closes https://github.com/advancedresearch/avalog/issues/139