1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Missing function check when XSB is on

Issue #881 duplicate
Bart Bogaerts created an issue

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

This definition does not define a partial function, but XSB gives a model.

See also the discussion on issue #880

Comments (1)

  2. Log in to comment
Assignee
Type
bug
Priority
major
Status
duplicate
Component
–
Version
–
Votes
0
Watchers
2
Jira: the preferred issue tracker for Bitbucket. Join the team!