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

Definitions with negative recursion leads to incorrect Prolog program

Issue #339 duplicate
Joachim Jansen created an issue

Due to a faulty combination of forall and tnot, the resulting program will not have any answers to the desired query.

Comments (2)

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