【Alloy】形式言語による仕様記述【VDM】

[102 デフォルトの名無しさん 2013/09/13(金) 00:20:22.87]

述語論理を書くならprologは有力なツールでしょうね。

でも、そもそも我々は述語論理を扱いたいんじゃないんです。
むしろ触れずに済むなら、その方がきっといいんです。

目的を忘れて手段を論じても無益でしょう。