Prologとか論理プログラミングについて色々 - doitakaの日記ここ最近、論理プログラミングとか、Prologについて調べてたので現状のまとめ。 発端 VDMとかAlloyとか、形式手法関連を色々調べていた途中でPrologの存在を知る。 論理型言語ということで、いまいちイメージが掴めないところがあった。 最近、本腰入れて調べてみることにした。 Prolog入門系の情報 いくつかサイト見たり、本買ったりした。 Prolog - Wikipedia とりあえずwikipedia。 "Prolog 入門" でググると、チュートリアルサイトがいくつか出たのでそれは見た。 Lisp, Prologネタ: ホットコーナー Lisp, Prologネタその２: ホットコーナー Java版Prologリンク集、Prolog、オントロジーなどのチュートリアル集: ホットコーナー http://iiyu.asablo.jp/blog/2011/02/03/5660275
