(and* goals)
A function version of all, which takes a list of goals and succeeds only fi they all succeed.