search

advancedresearch / avalog

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

Move `(tr, inf)` to the front in PSI rule about natural numbers #162

Open bvssvni opened 3 years ago

bvssvni commented 3 years ago

https://github.com/advancedresearch/avalog/blob/master/source/psi.txt#L82

This should be changed to:

s'(X) : nat :- (tr, inf), X : nat.

Prevents unnecessary sub-rules from being generated.