- changed component to XSB
Instantiated values in heads of definitions cause segfault.
{ nat(0). }
causes a segfault when trying to convert into Prolog clauses, but
{ nat(x) <- x = 0. }
does not.
Problem lies with the translator trying to ask the name and sort of the "0" there, which is not present in the Rule body.
Comments (8)
-
reporter -
reporter - attached bug_instantiated_head.idp
-
reporter - changed status to resolved
Added support for definitions that have domain elements in their head.
Domain elements need to be handled differently. The old code assumed that every term in the head was a variable. Casting this to a VarTerm* and trying to use its attributes consequently resulted in errors.
This fixes bug
#338.→ <<cset 44d2917ed7bb>>
-
reporter Added support for definitions that have domain elements in their head.
Domain elements need to be handled differently. The old code assumed that every term in the head was a variable. Casting this to a VarTerm* and trying to use its attributes consequently resulted in errors.
This fixes bug
#338.→ <<cset 871e4d0877c0>>
-
reporter Added support for definitions that have domain elements in their head.
Domain elements need to be handled differently. The old code assumed that every term in the head was a variable. Casting this to a VarTerm* and trying to use its attributes consequently resulted in errors.
This fixes bug
#338.→ <<cset a830be7a2e86>>
-
reporter Added support for definitions that have domain elements in their head.
Domain elements need to be handled differently. The old code assumed that every term in the head was a variable. Casting this to a VarTerm* and trying to use its attributes consequently resulted in errors.
This fixes bug
#338.→ <<cset d70fc6e1c8a6>>
-
reporter Added support for definitions that have domain elements in their head.
Domain elements need to be handled differently. The old code assumed that every term in the head was a variable. Casting this to a VarTerm* and trying to use its attributes consequently resulted in errors.
This fixes bug
#338.→ <<cset d42f3705bffb>>
-
Added support for definitions that have domain elements in their head.
Domain elements need to be handled differently. The old code assumed that every term in the head was a variable. Casting this to a VarTerm* and trying to use its attributes consequently resulted in errors.
This fixes bug
#338.→ <<cset 2fe51fe94694>>
- Log in to comment