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

[471 デフォルトの名無しさん 2014/10/09(木) 18:53:47.65 ID:0qGZB94E]

>>463
こんなの学部一、二年だろ？
http://www.amazon.co.jp/Constraint-Logic-Programming-Selected-Research/dp/0262023539
こういうの読みなよ。