>>152
Prologはひとつ?  それとも
':-'/1 と ':-'/2 と '?-'/1 の3通りかな