Searching (II)

• Searching allows finding all solutions to a query
• Backtracking is performed right to left
  (but other strategies also possible)

  ?- pet(X), animal(Y).
  X = spot, Y = spot ;
  X = spot, Y = barry ;
  X = spot, Y = hobbes ;
  X = barry, Y = spot ;
  X = barry, Y = barry ;
  X = barry, Y = hobbes