<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;"><DIV>Hi, </DIV>
<DIV>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. </DIV>
<DIV>Thanks </DIV></td></tr></table><br>