go ?=>
  member(N,1..5),
  println(N),
  fail, % or false/0 to get other solutions
  nl.
go => true.