>>258
p :- p1, ... ,pn,fail.
p.

これは美しくない。