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

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

**デフォルトの名無しさん** · 2017/04/02(日) 21:09:04.44

>>12
ごく一部といっても今流行ってるのは機会学習だけでそれ以外は良くも悪くも全く変わってないよね？
だからPrologにとって追い風も何も無いと思うんだが。

**デフォルトの名無しさん** · 2017/04/02(日) 21:27:14.79

>>12
Prologは記号処理に還元できる問題は得意だから今後も使われるだろう。
でも人間の曖昧な思考やそれに基づく自然言語は記号処理に還元できない。
そして自然言語処理でDeepLearningが次々と成果を出している。
FacebookのMemory Networksは述語論理抜きで質問に答える。
Prologはもう人工知能研究の中心ではないし今後もならないのでは?

ニューラル機械翻訳と記号幻想の死
http://rekken.g.hatena.ne.jp/murawaki/20161017/p1
Facebookの人工知能アルゴリズム「memory networks」について調べてみた
https://www.slideshare.net/metaps_JP/facebookmemory-networks-keo
NIP2015読み会「End-To-End Memory Networks」
http://www.slideshare.net/unnonouno/nip2015endtoend-memory-networks
>複数の文からなる事実から、質問に答えるタスクを、end-to-endで学習する手法を提案した
>単語の埋め込み、文のエンコード、各事実に対するattention、
>回答の生成までを単一のネットワークにする

**デフォルトの名無しさん** · 2017/04/02(日) 22:09:22.59

>>15
>でも人間の曖昧な思考やそれに基づく自然言語は記号処理に還元できない。
こう言い切る根拠がわからない

**デフォルトの名無しさん** · 2017/04/02(日) 23:31:47.53

>>16
数学の命題のように100%正しい命題なら記号処理に還元できる。
でも風が吹けば桶屋が儲かるのような確率的命題を扱うには
離散値ではなく連続値で推論する仕組みが要る。
ベイジアンネットワークやニューラルネットワークなら確率的命題を扱える。

**デフォルトの名無しさん** · 2017/04/03(月) 20:35:32.05

swi-prologをEmacsで書く環境つくってるんだけど
run-prologで質問にセミコロンで答えてもリターンキーおすまで反応なくて
リターンおすとそこで終りになってしまうんだけどいい対策ないですか?
ターミナルならちゃんと次の答えの候補までだしてくれるんだけど

**デフォルトの名無しさん** · 2017/04/04(火) 07:19:25.90

ありがとう。そういうことが起こるということには気付いてたけど
shell-mode を使ってるからだということがやっと分かった。
shell-mode では ; を単独で送れるようなキーバインディンディングにはなっていない。
しかし、run-prolog にも同じ問題があるとしたらいささか奇妙なことだと思うのだけど。
とりあえず、; にちゃんと応えてほしいなら ansi-term を使えばいいかも。
もちろん run-prolog を使いたいだろうとは思うけど。
; は諦めて失敗駆動ループで全部出力するという手もあるよ。

**デフォルトの名無しさん** · 2017/04/04(火) 09:02:08.12

解ったぞ！ ; の後に M-x (comint-send-input t) だ！
やってみた！

| ?- member(X,[a,b,c,d]).
member(X,[a,b,c,d]).

X = a ? ;;

X = b ?
Action (; for next solution, a for all solutions, RET to stop) ? ;;

X = c ?
Action (; for next solution, a for all solutions, RET to stop) ? ;;

X = d ?
Action (; for next solution, a for all solutions, RET to stop) ? ;;

(4 ms) no
| ?-

どうだ、うまくいったぞ！ ……って、やってられっかー！
やっぱり run-prolog の方で対処してくれないと。

**デフォルトの名無しさん** · 2017/04/04(火) 09:07:01.03

ごめん、M-x じゃなくて M-: だった。

**デフォルトの名無しさん** · 2017/04/04(火) 17:59:32.06

単に Prolog インタプリタを対話的に使いたいだけなら Emacs の外でやる方が快適なんだけど
それでは不便だからやっぱり Emacs の shell でやりたい。だからこんなことをしてみた。

(defun comint-send-input-without-nl ()
(interactive)
(comint-send-input t)
)

これを C-c C-j にバインドして使う。どうやら期待通りに動いているようだ。
まあ、; はよく使うからこんなのを使ってもいいかな。

(defun prolog-other-answer ()
(interactive)
(insert ";")
(comint-send-input t)
)

こっちは C-; にしてみた。

**デフォルトの名無しさん** · 2017/04/04(火) 19:43:46.75

よくわからないけどM-;で%が入力されて
全部の回答がでてきた

**デフォルトの名無しさん** · 2017/04/09(日) 17:58:20.20

>>10
50数冊Prologの本は出版されていますが
型についての言及はほとんどないですね。

**デフォルトの名無しさん** · 2017/04/09(日) 20:02:28.24

データ型という意味なら項(term)が該当するのだろうけど
C/C++の型の意味だとPrologは型無し言語にあたるかと・・

**デフォルトの名無しさん** · 2017/04/10(月) 07:47:09.66

>>25
型とかクラスということを考えると、述語で定義される全体が、それにもっとも近い
ような気がします。変数も単一化の道具のようなもので、事実上ないと言うに近い
ですし。

**デフォルトの名無しさん** · 2017/04/10(月) 09:56:04.56

>>26
Prologの変数って、
長い長い ======================== 等号のように見えますね。

**デフォルトの名無しさん** · 2017/04/10(月) 10:02:02.44

>>27
その理解で正しいのでは

**デフォルトの名無しさん** · 2017/04/10(月) 10:16:46.41

Prologの変数では、setof/3やfindall/3の中の変数ですね。
外側の変数を受け継いだ場合です。

?- length(L,2),setof(A,A ^ member(A,L),X),L = [1,2].
L = X, X = [1, 2].

?- length(L,2),findall(A,member(A,L),X),L = [1,2].
L = [1, 2],
X = [_G711, _G708].

?- setof/3は受け継いていますが、findallでは切れています。

**デフォルトの名無しさん** · 2017/04/10(月) 10:18:53.87

自由変数なんていう概念が通用することが分かります。

**デフォルトの名無しさん** · 2017/04/10(月) 12:53:10.94

>>18
問題は解決した? 原因が判ったよ。
; には prolog-inferior-self-insert-command というコマンドが割り当てられていて、
これが期待される動作だと思うんだけど、新しいバージョンではなぜか
この prolog-inferior-self-insert-command が無くなっている。
Emacs 24.4 に含まれている 1.22 にはまだあるけど 1.25 には無い。
理由は判らない。少なくとも prolog.el の Changelog にはそれらしい記述が無い。
とりあえず、prolog-inferior-self-insert-command があるバージョンを
使えばいいと思うよ。

**デフォルトの名無しさん** · 2017/04/13(木) 17:36:21.71

>>29
どれが自由変数なんですか

**デフォルトの名無しさん** · 2017/04/13(木) 18:49:38.84

>>32
findall/3の方のAです

**デフォルトの名無しさん** · 2017/04/14(金) 18:45:04.44

ファイルから行ならびを得る(_ファイル,_行ならび) :-
open(_ファイル,read,_入力),
findall(_項,(
repeat,(at_end_of_stream(_入力),close(_入力),!,fail;
行入力(_入力,_行))),_行ならび).

行入力(_入力,_行) :-
read_line_to_codes(_入力,_文字コードならび),
atom_codes(_行,_文字コードならび).

**デフォルトの名無しさん** · 2017/05/03(水) 22:12:53.29

The Art of Prolog が PDF で公開されてるのはいいんだけど、テキストデータは無いのかな……
tesseract-ocr でテキスト化してるけど結構大変だ。

**デフォルトの名無しさん** · 2017/06/13(火) 23:42:07.13

メモリ128GBの環境で述語 foo/1 引数にユニークなアトムを生成して5億節を定義する。

?- between(1,500000000,N),
atom_number(A,N),
assertz(foo(A)),
N = 500000000.

これで110GBを費やした。一節の追加あたり実に220byteということになり、
想像以上に大きくなった。

36 · 2017/06/13(火) 23:46:21.36

処理系は SWI-Prologインタプリタ (64bit版)

アトムテーブルがハッシュで管理されているとして、こんなにメモリを消費
するものだろうか。

**デフォルトの名無しさん** · 2017/06/14(水) 20:28:21.72

SWI-Prologインタプリタ

一方、atomの生成をやめて、グローバルスタックにリストして整数を積む。

?- findall(N,between(1,500000000,N),L).

これだと1リスト要素ごとに24バイト消費する。

**デフォルトの名無しさん** · 2017/06/15(木) 06:08:36.12

Microsolft Azure の一時間あたりの料金

G5: 32 コア, 448 GB RAM,6144GB ディスク, \1,044.276/時間

消費税込みで月間81万円くらい。

**デフォルトの名無しさん** · 2017/06/15(木) 06:12:07.38

448GBメモリを使うことができれば、
Prologのオンメモリデータベースで大企業でもかなりの部分がカバーできる。
ディスクストレージへのバックアップ時間など、課題もあるだろうが。

**デフォルトの名無しさん** · 2017/06/15(木) 06:22:15.34

% swipl -G445000M

?- findall(N,between(1,18000000000,N),L).

が可能だということ。

**デフォルトの名無しさん** · 2017/06/15(木) 06:41:01.44

>>41
近い将来には1TBメモリ 100万/月になるだろう
そうなると、プログラム言語の中で最もその恩恵を受けるのはPrologということか

**デフォルトの名無しさん** · 2017/06/16(金) 06:18:01.36

>>36
% GNU Prolog 1.4.4 でやってみたよ。コードはこんなんでいい?

ps :- shell('ps p $PPID -O sz',_).

eat_memory( Start,End) :-
\+(( between( Start,End,N), number_atom( N,A), assertz( foo( A)), fail)).

main :-
os_version( OS), write( OS), nl,
ps,
eat_memory( 1,10000),
ps,
eat_memory( 10001,20000),
ps,
true.

**デフォルトの名無しさん** · 2017/06/16(金) 06:19:09.35

% 実行結果

| ?- main.
main.
Linux 3.16.0-4-amd64
PID SZ S TTY TIME COMMAND
2993 32177 S pts/3 00:00:00 /home/i/Downloads/gprolog-1.4.4/bin/gprolog
PID SZ S TTY TIME COMMAND
2993 32807 S pts/3 00:00:00 /home/i/Downloads/gprolog-1.4.4/bin/gprolog
PID SZ S TTY TIME COMMAND
2993 33466 S pts/3 00:00:01 /home/i/Downloads/gprolog-1.4.4/bin/gprolog

(1728 ms) yes
| ?-

% 65 くらいだね。SWI の実装は知らないが 3.5 倍くらいなら驚くほどではないと思う。

**デフォルトの名無しさん** · 2017/06/16(金) 07:24:41.91

>>39
>>40
>>42
クラウドだとコストかかりすぎだけど
オンメモリデータベースとしての用途は
将来的に今よりもっと出てきそうだね

**デフォルトの名無しさん** · 2017/06/16(金) 16:54:43.29

>>44
ありがとうございます。3.5倍だとして、ハッシュテーブル等の構築の仕方の
差でしょうか。

**デフォルトの名無しさん** · 2017/06/21(水) 20:47:56.02

それにしても一億節になると一節の追加時間が二万分の一秒と極端に遅い。
ハッシュの重なりが1万通りくらい出てきて平均5000回リンクを辿ると
いうことか。

**デフォルトの名無しさん** · 2017/06/26(月) 14:25:30.75

Prologもインメモリデータベースとしてさらに進化するべき時期。
http://www.publickey1.jp/blog/17/intel_persistent_memory2018xeoncascade_lake.html

**デフォルトの名無しさん** · 2017/06/26(月) 19:19:28.13

そこはHPEのThe Machineじゃないの？

**デフォルトの名無しさん** · 2017/06/26(月) 20:39:09.17

これは凄いね
https://www.hpe.com/jp/ja/japan/newsroom/press-release/2017/051901.html

**デフォルトの名無しさん** · 2017/07/01(土) 13:39:49.52

制約論理プログラミングってのでPrologの色んな弱点緩和されてるっぽい。
SWI-Prologにもclpfdなるライブラリで提供されてるらしいけど使ってる？