Talk:Prolog/Putting it Together

The example prog employs 'recursion on the left' - which is to be avoided, according to an earlier recommendation. Be nice to see why it's justified here!