プログラム toy.sf.net

TOY 無料

TOYは、主な宣言型プログラミングスタイルとその組み合わせをサポートするように設計された制約機能ロジックシステムです