![]() ![]() ![]() |
![]() |
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 |