Uninstantiated argument of evaluable function +/2
Issue #433
resolved
xsb error in benchmark 4 van IDP2 waar IDP3 als preprocessor gebruikt wordt.
Comments (10)
-
-
reporter
check the competition (and see mail that i forwarded sunday)
-
waar wordt IDP3 gebruikt? Ik zie enkel idp2 files en syntax
-
reporter
Ik zie een solution.idp Dit is idp3 en dient waarschijnlijk voor pre- of postprocessing
-
- in welke directory? In de IDP2/16... dir staat er geen solution.idp
-
reporter
Final files
-
reporter
maar het moest benchmark 4 zijn (zie mail) niet 16
-
- edited description
-
- changed status to resolved
Extended XSB's abs implementation to allow more flexible reasoning
Prolog calls of the form
?- idpxsb_abs(VAR,nr).
with nr a number and VAR a variable will return correctly now with bindings VAR = nr; VAR = -nr; no.
This fixes bug
#433→ <<cset 433fd2031ab5>>
-
Extended XSB's abs implementation to allow more flexible reasoning
Prolog calls of the form
?- idpxsb_abs(VAR,nr).
with nr a number and VAR a variable will return correctly now with bindings VAR = nr; VAR = -nr; no.
This fixes bug
#433→ <<cset 433fd2031ab5>>
- Log in to comment
.idp file?