Golden Rules of recursion

• Declare the BASE CASE(S) of a recursion relation BEFORE the recursive case(s).
• Make sure that the recursive call within the body of the relation will have arguments that differ from the head of the relation at the moment of execution
  
  This depends on the type of arguments used in the goal, e.g. in the last query (ancestor) - only had variables as arguments