Partial functions in definitions behave differently with xsb on or off

Issue #869 resolved
Ruben Lapauw created an issue

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)

  1. Ruben Lapauw 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 = {  }
    }
    
  2. Bart Bogaerts

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

  3. 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.

  4. Log in to comment