ここ最近、論理プログラミングとか、Prologについて調べてたので現状のまとめ。 発端 VDMとかAlloyとか、形式手法関連を色々調べていた途中でPrologの存在を知る。 論理型言語ということで、いまいちイメージが掴めないところがあった。 最近、本腰入れて調…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。