webdev
01-17-2011, 10:54 AM
Hi all, I just started to learn prolog. I wrote some facts and then some rules. I give to swi-prolog my question and solutions are appearing . I would like to ask if someone knows which stategy does swi-prolog use ? backward chaining or forward chaining ? Can I see somehow all the...