Prolog の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• Prolog へ行く。

#author("2019-09-17T17:53:23+00:00","default:sagasite","sagasite")
[[Program]] ＞ Prolog

#norelated
#contents

//----------------------------------------
~
* Prologとは？ [#h1d2aa5d]

https://ja.wikipedia.org/wiki/Prolog
>Prolog（プロログ）は、非手続き型プログラミング言語の一つ。
論理型言語に分類される。
名称は、「論理を使ったプログラミング」を意味するフランス語「programmation en logique」に由来している。

** 公式サイト [#o545a6b5]

- Prolog作者 Alain Colmerauer
http://alain.colmerauer.free.fr/

- SWI-Prolog
http://www.swi-prolog.org/
Prologの処理系

//----------------------------------------
~
* リファレンス ／ チュートリアル [#gdc688a4]

- お気楽 Prolog プログラミング入門
%% http://www.geocities.jp/m_hiroi/prolog/prolog01.html %%
http://www.nct9.ne.jp/m_hiroi/prolog/index.html

- Prolog Programming: Symbol Processing (in Japanese)
http://bach.istc.kobe-u.ac.jp/prolog/intro/symb.html

- Prolog入門
http://nw.tsuda.ac.jp/lec/prolog/intro/

//----------------------------------------
~
* ライブラリー ／ フレームワーク [#i236b6fc]

//----------------------------------------
~
* Tips [#e32fcd7e]
関数型プログラミング言語「Erlang」のベースになった言語。
ポール・グレアムの本「On Lisp」で、PrologをLispで作る方法が紹介されている。
Softbankのロボット「Pepper」のAIは、Prologで書かれている。

- Prolog実践入門 - AIに特化した老舗言語 - Qiita https://qiita.com/ShunIchikawa/items/6449f492dc38a7201162

使う機会が少ないかもしれないが、言語内のDSLとして、特定の問題を解く場合には役立つかもしれないので、一応使い方を知っておくと便利？

//----------------------------------------
~
* 参考書 [#g8d9c818]
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4274068579/vertex9-22/" target="_blank"><img src="https://images-fe.ssl-images-amazon.com/images/I/51RCHbILAFL._SL160_.jpg" border="0"></a></td>
<td>　</td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4274068579/vertex9-22/" target="_blank">７つの言語 ７つの世界</a><br>Bruce A. Tate<br>オーム社<br>2011-07-23<br>￥ 3,456</td></tr></table>
}}

----

#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4303716901/vertex9-22/" target="_blank"><img src="https://images-fe.ssl-images-amazon.com/images/I/51i%2BMRWb09L._SL160_.jpg" border="0"></a></td>
<td>　</td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4303716901/vertex9-22/" target="_blank">Prolog(プロログ)を学ぶ―文化とその実践</a><br>杉崎 昭生<br>海文堂出版<br>1995-05-01<br>￥ 2,412</td></tr></table>
}}

----

#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/0321417461/vertex9-22/" target="_blank"><img src="https://images-fe.ssl-images-amazon.com/images/I/41p-wAGjzwL._SL160_.jpg" border="0"></a></td>
<td>　</td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/0321417461/vertex9-22/" target="_blank">Prolog Programming for Artificial Intelligence (4th Edition)</a><br>Ivan Bratko<br>Pearson Education Canada<br>2011-08-31<br>￥ 8,390</td></tr></table>
}}

----

-[[Prologのソフトウェア作法>Prologue-software-practices]]

#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4000076817/vertex9-22/" target="_blank"><img src="https://images-fe.ssl-images-amazon.com/images/I/51WO8M4bsYL._SL160_.jpg" border="0"></a></td>
<td>　</td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/obidos/ASIN/4000076817/vertex9-22/" target="_blank">Prologのソフトウェア作法 (岩波コンピュータサイエンス)</a><br>黒川 利明<br>岩波書店<br>1985-11-08<br></td></tr></table>
}}

----