search

LPCIC / elpi

Embeddable Lambda Prolog Interpreter
GNU Lesser General Public License v2.1
290 stars 36 forks source link

[dt] #272 rebased #274

Closed FissoreD closed 1 month ago

FissoreD commented 1 month ago

This solves bug from issue #272 (parentheses forgotten in the code) Moreover, it reduces the size of paths: for each predicate we store the size of the longest list in its rules and use this length to prevent lists in the goal to be longer then this bound

gares commented 1 month ago

Is there a known issue or it can be merged?

FissoreD commented 1 month ago

I think everything is OK, I just want to add the comment to listTailVarUnif