ifp

and_p

not_p

succeed

fail

findall

call

once

repeat