search

advancedresearch / avalog

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

Remove dead-ended half-evaluated rules when reducing proofs #137

Open bvssvni opened 3 years ago

bvssvni commented 3 years ago

Dead-ended half-evaluated rules happen because of diagonalization.

They can be detected by some sub-expression of the rule having no match against facts.