Fixed ambiguity `amb_rel(fa, z, s'(z))` in non-terminating rules - Githubissues

advancedresearch / avalog

An experimental implementation of Avatar Logic with a Prolog-like syntax

Apache License 2.0

66 stars 3 forks source link

Fixed ambiguity `amb_rel(fa, z, s'(z))` in non-terminating rules #161

Closed bvssvni closed 3 years ago