search

G3Kappa / Ergo

Other
4 stars 0 forks source link

Last Clause Determinacy Detection #56

Closed G3Kappa closed 6 months ago

G3Kappa commented 1 year ago

Tail Call Optimization is being applied to predicates that are not determinate, causing a loss of solutions.

https://sicstus.sics.se/sicstus/docs/3.12.8/html/sicstus/Last-Clause-Determinacy-Detection.html https://sicstus.sics.se/sicstus/docs/3.12.8/html/sicstus/What-is-Detected.html#What-is-Detected https://www.mercurylang.org/information/doc-latest/mercury_ref/Determinism.html#Determinism-categories

G3Kappa commented 8 months ago

This sort of things will be handled by the #74 static analyzer eventually.