集合論に基づいた言語を作りたい

**デフォルトの名無しさん** · 2014/08/10(日) 21:27:16.56

計算機科学の基礎は集合論であるという。
ならば、集合論に基づいた言語を作れば美しい言語になるのでは？
そんな発想から徹底的に集合論的思想で言語仕様を考えるスレです。

１ · 2014/11/05(水) 21:01:40.21

prolog版connect4できたっぽいのであげます。
http://www.age2.tv/rd05/src/up5443.txt.html

長かった…！
prologでプログラミングするには…
なんと多くの辛抱が必要なものかと…！

あんまりテストしてないのでバグがあるかも。

１ · 2014/11/05(水) 21:29:06.77

prolog識者がいたら添削たのむ