If anyone is familar with Prolog, then you might have used the "trace" or "gtrace" function. I was wondering which function can I use to show the bindings in the recursion. It would be helpful for me to see what is going.