>>496
論理型プログラミングがしたいなら、とっとと別の言語を探した方が
幸せになれると思うよ。