sicp-ex-4.64

  
  
  
 first,  query (outranked-by (Bitdiddle Ben) ?who), after unifying the conclusion of rule. we will evaluate (outranked-by ?middle-manager ?boss), this will query (outranked-by ?staff-person ?boss) again, so it will be in infinite loop.