Standard control predicates
true
always succeeds
fail
always fails
once(Goal)
executes a goal, but it is not re-executable (don't give the second answer)
repeat
always tries to find next answer
