Partial functions in definitions behave differently with xsb on or off

[Ruben Lapauw]

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 }
}

[Bart Bogaerts]

Xsb is clearly wrong here @jjansen.

[Bart Bogaerts]

See also http://dtai.cs.kuleuven.be/krr/idp-ide/?src=99df258fc40a067dd42d

[Ruben Lapauw]

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 = {  }
}

[Bart Bogaerts]

huh? beide zijn verkeerd. Dit zou geen modellen mogen hebben aangezien de definitie geen (partiele) functie definieert.

[Joachim Jansen]

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.

[Bart Bogaerts]

Issue #881 was marked as a duplicate of this issue.

[Bart Bogaerts]

Zie ook

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=5a01e6d5222e8e1c74fc

[Bart Bogaerts]

Zie ook (vbtje maurice) http://dtai.cs.kuleuven.be/krr/idp-ide/?src=18ea7f1bca4384e36261

[Joachim Jansen]

Fixed construction of function tables resulting from XSB. Fixes issue #869

→ <<cset 4a77a0dbc249>>