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

[170 デフォルトの名無しさん 2013/10/04(金) 23:07:34.51]

ところで、Prologで仕様記述やその検証ができるなら試してみたいんだが、
その方法を解説した本やWebサイトとかあるのかな？
「理論的にはできるはず」だけだとProlog自体よく知らない俺には無理だが。