search

advancedresearch / avalog

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

Fixed bug in parser, added `IsVar` trait #170

Closed bvssvni closed 2 years ago

bvssvni commented 2 years ago

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