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 energies as the final result (with something like print command)?
Thanks a lot
P.S. : I apologise for my english.