Partial functions in definitions behave differently with xsb on or off
http://dtai.cs.kuleuven.be/krr/idp-ide/?src=4e6385b77d3ebe21a6e4
On the current master (4e450a51b38449b14d5b8b93e6d86ae1391b751b) with XSB = false:
Unsatisfiable
Number of models: 0
With XSB = true:
Number of models: 1
Model 1
=======
structure : V {
A = { 0..5 }
f = { 0->0; 1->1; 2->2; 3->3; 4->3; 5->3 }
}
On adams.cs.kuleuven.be, unknown version, today, XSB = true:
Number of models: 1
Model 1
=======
structure : V {
A = { 0..5 }
f = { 3->3 }
}
Comments (9)
-
-
-
reporter Dit geeft bij mij
Number of models: 1 Model 1 ======= structure : V { A = { 0..5 } f = { 0->0; 1->0; 2->0; 3->0; 4->0; 5->0 } }
en op adams:
Number of models: 1 Model 1 ======= structure : V { A = { 0..5 } f = { } }
-
huh? beide zijn verkeerd. Dit zou geen modellen mogen hebben aangezien de definitie geen (partiele) functie definieert.
-
-
assigned issue to
De check voor partiële functies zullen nog niet fatsoenlijk geïmplementeerd zijn.
Het kan ook zijn dat er iets misloopt wanneer een term meerdere malen gedefinieerd wordt.
-
assigned issue to
-
Issue
#881was marked as a duplicate of this issue. -
-
Zie ook (vbtje maurice) http://dtai.cs.kuleuven.be/krr/idp-ide/?src=18ea7f1bca4384e36261
-
- changed status to resolved
Fixed construction of function tables resulting from XSB. Fixes issue
#869→ <<cset 4a77a0dbc249>>
- Log in to comment
Xsb is clearly wrong here @jjansen.