Prologでまったり Part5 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/03/24(金) 14:51:42.44

過去スレ
Prologでまったり Part4
http://pc12.2ch.net/test/read.cgi/tech/1235561034/
Prologでまったり Part3
http://pc11.2ch.net/test/read.cgi/tech/1193354806/
PrologでまったりPart 2
http://pc11.2ch.net/test/read.cgi/tech/1102664221/
Prolog でまったり
http://pc5.2ch.net/test/read.cgi/tech/976462999/

**デフォルトの名無しさん** · 2017/03/24(金) 20:35:29.83

すみません。最後のPartなしは、リンクが切れていました。
一番肝心のスレッドなのに残念ですね。

**デフォルトの名無しさん** · 2017/03/24(金) 20:39:51.26

人工知能がブームになりつつあり、Prologにとっては追い風と書いたところ、

ジャンプするには向かい風の方がよい

との答えをもらいました。

**デフォルトの名無しさん** · 2017/03/25(土) 00:52:32.52

>>2
ググったらみみずんにあった
http://mimizun.com/log/2ch/tech/976462999/

**デフォルトの名無しさん** · 2017/03/26(日) 18:33:47.40

Prologに型概念はないと言い切ってよいものだろうか。

**デフォルトの名無しさん** · 2017/03/30(木) 17:20:53.83

ふと、新聞に載ってる論理パズルを解くプログラムを書きたくなって
Debian に GNU Prolog をインストールして二十数年ぶりに Prolog を楽しんでるのだが、
まだ maplist が実装されていないバージョンだということに今気付いた。
2007 年にリリースされた 1.3.0 らしい。いや、特に困るわけでもないが。
fd_domain や fd_all_different は実装されてるからね。特に不足は無いよ。
不足があるなら自分で新しいのを入れればいいし。まあ、まったりいこう。

**デフォルトの名無しさん** · 2017/03/31(金) 08:17:08.38

>>888
その部分では関数型言語も手続型言語もオブジェクト指向が強調されたものでも記述はできるが、その記述の関係さ

7 · 2017/03/31(金) 08:22:24.23

すみません。論理Polog初心者スレと間違えて書き込んでしまいました

**デフォルトの名無しさん** · 2017/03/31(金) 19:43:34.32

>>5
型はないです。型という概念が使われることもない。外からどう見えようとも。

**デフォルトの名無しさん** · 2017/04/01(土) 12:04:38.01

>>9
本当は integer や float も atom という認識でよかったのではないか

**デフォルトの名無しさん** · 2017/04/02(日) 16:59:28.60

人工知能といっても今流行ってるDeepLearningの世界にPrologの出番なんて無いと思うんだけどどう関係すんの？

**デフォルトの名無しさん** · 2017/04/02(日) 18:34:31.57

>>11
DeepLearningを含む機械学習やニューラルネットワークによる認識は
人工知能のごく一部。知識プログラミングにこれがつながるのはそれこそ
進化論的に大変。人間の思考、判断、意志、統制は、シンボル操作がやはり
中心になる。この領域の中心付近に述語論理があり、そういう意味で、
Prologはこの人工知能の世界では今後もずっとに安泰の地位にいる。

**デフォルトの名無しさん** · 2017/04/02(日) 18:36:10.74

ずっと安泰の地位にいる。ですね。