Isn't that basically how you'd write it in Prolog?