chi

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.