Prolog
https://gyazo.com/2fd854933331f6af1f87faf09aafd192
Programming in Logic
論理プログラミング
言語
入門
http://karel.tsuda.ac.jp/lec/prolog/intro/
https://qiita.com/ShunIchikawa/items/6449f492dc38a7201162
http://bach.istc.kobe-u.ac.jp/prolog/intro/database.html
http://bach.istc.kobe-u.ac.jp/prolog/intro/
/marshmallow-rm/Prologのおすすめの入門書、あるいはチュートリアルはありますか？
『Prologへの入門』
例
code:prolog
plus(0, Y, Y). /* 0+y=y */
plus(s(X), Y, s(Z)) :- plus(X, Y, Z). /* x+y=z ならば (x+1) + y = (z+1)*/
https://kseo.github.io/posts/2014-02-17-learning-prolog-to-be-a-better-haskell-programmer.html
for haskeller
参考
https://ja.wikipedia.org/wiki/Prolog
https://magazine.rubyist.net/articles/0021/0021-Legwork.html
https://qiita.com/tadashi9e/items/44a73bba8deb02e5a4a7
/miyamonz/Prolog
(知識)14 知識と推論
https://www.amazon.co.jp/dp/4320026608/
#プログラミング言語