Standard control predicates
 
 
true always succeeds
fail always fails
! cut: if the goal after cut fails, the parent goal also fails
 (disable next answers)
once(Goal) executes a goal, but it is not re-executable (don't give the second answer)
repeat always tries to find next answer