I got it. Thank you very much for your answer.
Hi Michael, Thank you very much for your patient answer! I tried with "tnot" and get the correct result. But I'd like to ask if this indicates a small bug on "not", or if this incorrect usage should be reported by grammar checker. Because for this example, executing the two rules separately and executing them together should have the same result, right? Best, Chi
Hi, I am very sorry to disturb you! But I found that this problem also occurs in programs without any warnings. Consider the following program: :- table jbuh/1. jbuh(19). jbuh(-23). jbuh(0). jbuh(-23). jbuh(6). nlwd(-2). nlwd(-20). nlwd(8). nlwd(29). nlwd(23). pfeg(A, A) :- nlwd(A). jbuh(A) :- nlwd(A), not jbuh(A). jbuh(B) :- pfeg(B, C), jbuh(C). I execute it with the command: /tmp/xsb-code/XSB/bin/xsb --noprompt --quietload --nobanner --nofeedback -e "[example], jbuh(A), writeln([A]), fail. halt."...
A question on recursive query
Hello Michael, I made a stupid mistake on command, thank you very much for your patient reply.
Hello Michael, Thank you very much for your answer! Is it only for recursive queries with negation that the results cannot be obtained using non-interactive mode? Could you please tell me what the correct command should be if I want to use non-interactive mode?
A minor question on negation in recursive query
Thank you very much for your patient answer! I got it! We can close this ticket now.
Hi, Thank you very much for your quick answer. I still have a very small question, even if I am tabling sxud/1, shouldn't the fix point be reached when the facts of the relation in the recursive query are unchanged?
The Datalog engine hang on recursive query
Thank you very much! I close this issue.
How can I execute a program with command line or python directly