blawx icon indicating copy to clipboard operation
blawx copied to clipboard
verified publisher icon Lexpedite

Determinacy Error in scasp_human

Open Gauntlet173 opened this issue 2 years ago • 0 comments

In circumstances where a numerical formula is being used, and all the variables in that formula are unground, we can get a determinacy error from SWIPL in the process of generating an scasp natural language explanation.

Gauntlet173 avatar Oct 19 '23 22:10 Gauntlet173