三つ目のconde行は十分一般的に見えますが、なぜはじめの二つのconde行が必要なんですか? これでいいんじゃないの、って話 (defrel (/o n m q r) (fresh (mq) (
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。