>>703
>なんでこのスレでやっちゃダメなんだ。

スレ違いだから。

Prologの勉強をPrologスレでやってみて、「集合論に基づいた言語の作成」に関する話になったらここに来ればいい。