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/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なるライブラリで提供されてるらしいけど使ってる？

**デフォルトの名無しさん** · 2017/07/02(日) 06:07:25.30

>>51
全く使っていない

**デフォルトの名無しさん** · 2017/07/02(日) 06:58:37.04

GNU Prolog で制約論理プログラミングしてるよ。
ゼブラパズルに置き換えられる問題は世の中に結構ある。

**デフォルトの名無しさん** · 2017/07/03(月) 05:54:57.56

Prologがメジャーに復帰するためにはもう少し生きたプログラムが
表面に出てこないと

**デフォルトの名無しさん** · 2017/07/03(月) 10:52:00.94

それに尽きる

**デフォルトの名無しさん** · 2017/08/02(水) 11:00:33.21

>>48
これって、第四の受動素子「メモリスタ」を使った奴だね。
いずれはこれに置き換わっていくのかな・・・

**デフォルトの名無しさん** · 2017/08/02(水) 12:36:37.86

Prologのサンプルみたいんだけど、これって他のOOP言語とかでもライブラリとして実装可能じゃない？

**デフォルトの名無しさん** · 2017/08/02(水) 20:33:24.50

可能だよ

**デフォルトの名無しさん** · 2017/08/02(水) 20:40:47.00

じゃあprologを使うメリットって何？
いや、別にprologをdisりたい訳じゃないけどどういう言語なのかなと思って

**デフォルトの名無しさん** · 2017/08/03(木) 04:03:02.89

Prolog Programming for Artificial Intelligence (4th Edition)ってどうですか?
いい本なら買うつもりです

**デフォルトの名無しさん** · 2017/08/03(木) 12:49:51.06

>>59
Prolog専用の言語環境を使うメリットの話？
そりゃ他言語のライブラリより
餅は餅屋で機能が豊富だから

**デフォルトの名無しさん** · 2017/08/04(金) 03:49:13.37

>>3
関数型の次は論理型がくる

**デフォルトの名無しさん** · 2017/08/05(土) 10:44:36.62

中核派のほうに細々と生き残ってるよなあ

**デフォルトの名無しさん** · 2017/08/06(日) 01:06:18.01

中核派がPrologを使っていたとは。
革マル派はLispですか？

**デフォルトの名無しさん** · 2017/08/06(日) 11:05:55.46

赤軍は？

**デフォルトの名無しさん** · 2017/08/06(日) 12:59:05.66

＞65

＞赤軍は？

赤軍というのは、通常は旧ソ連の軍隊のこと。
赤軍合唱団というのもありますが、
あなたの言いたいのは、日本の「連合赤軍」のこと
でしょう？

**デフォルトの名無しさん** · 2017/08/06(日) 17:35:57.36

>>66
連合赤軍ではなく日本赤軍のことかもしれないぞ
テルアビブ空港で乱射後自爆した

**デフォルトの名無しさん** · 2017/08/06(日) 17:42:40.12

だから赤軍派？って言ったじゃねーか！

**デフォルトの名無しさん** · 2017/08/07(月) 09:24:07.63

>68

＞65では、
＞赤軍は？

と書いてあって、

赤軍派？

とは、書いてありませんが。
実は「派」の字は書いてあったのだが、
私が老眼の為に見えなかったのでしょうか。
と

**デフォルトの名無しさん** · 2017/08/07(月) 20:15:00.51

嫌味なマジレスｗ

**デフォルトの名無しさん** · 2017/08/07(月) 20:50:47.72

Prologおじさん改めPrologおじいさんですね

**デフォルトの名無しさん** · 2017/10/25(水) 11:21:14.75

ラズパイ上で動くPrologが既にあるのだが、どんなアプリが面白いだろうか

**デフォルトの名無しさん** · 2017/12/21(木) 07:07:21.01

兎にも角にもアレクサ君と連携

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

Prologって型定義をしないけど型が全くないという訳ではない
アトム、アトミック、整数、浮動小数点数、リスト
だけどそれ以上に区別する気はない

**デフォルトの名無しさん** · 2017/12/21(木) 09:32:27.33

ラバパイではそういうわけにはいかないが最近の速いパソコンだとPrologの一つの単一化も
3ナノ秒以下で実行されるらしい
Prologは遅いからとかの言い訳は利かないのかも

**デフォルトの名無しさん** · 2017/12/22(金) 23:29:19.91

ラバパイじゃ遅そうだな
ラバだからな

**デフォルトの名無しさん** · 2018/02/16(金) 06:41:22.56

☆ 日本の、改憲を行いましょう。現在、衆議員と参議院の
両院で、改憲議員が３分の２を超えております。
『憲法改正国民投票法』、でググってみてください。国会の発議は
すでに可能です。平和は勝ち取るものです。お願い致します。☆☆

**デフォルトの名無しさん** · 2018/03/23(金) 03:56:42.38

・電通、企業の顧客対応を自動化・高度化する日本語AIサービス「Kiku-Hana」を開発
http://tech.nikkeibp.co.jp/it/atclact/activer/nkpr/RSP474948_22032018/

Prologの採用事例がまた一つ

**デフォルトの名無しさん** · 2018/03/23(金) 04:08:26.39

自然言語処理はPrologの得意分野だからな

**デフォルトの名無しさん** · 2018/03/23(金) 18:09:31.47

自然言語処理が確率的な手法で進めば進むほど、Prologの出番が出てくる。

**デフォルトの名無しさん** · 2018/05/01(火) 08:58:56.17

法律の条文解釈をHaskellでやってるのは見た事あるけど、Prologって、そういうのも可能なんだろうか？

**デフォルトの名無しさん** · 2018/05/02(水) 03:42:05.92

日本の法律は厳密に定義されていない部分がわりにあってうまくいかないという話をどこかで読んだことあるな
実際の基準や閾値は判例見ないとわからなかったりとか
そういうあいまいなところを実情に合わせて柔軟に解釈して運用することで時代の変化にある程度追従していけるようにしてあるのかも

**デフォルトの名無しさん** · 2018/05/23(水) 08:30:56.56

憲法解釈でやりたい放題なんだから今さら

**デフォルトの名無しさん** · 2018/05/23(水) 20:04:35.28

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

E5JQH

**デフォルトの名無しさん** · 2018/07/05(木) 01:36:48.58

Z7K

**デフォルトの名無しさん** · 2018/11/05(月) 10:15:56.17

WikipediaのPrologの記載にある種の執念を感じた(笑)

**デフォルトの名無しさん** · 2018/11/05(月) 14:32:06.16

>86
あれはまだまだ序文にすぎないよ
プロローグだけに

**デフォルトの名無しさん** · 2018/11/06(火) 08:41:11.47

>87
座布団一枚！

**デフォルトの名無しさん** · 2018/11/11(日) 14:34:03.14

http://r2.upup.be/wV2qsULdHm

**デフォルトの名無しさん** · 2018/11/11(日) 17:51:52.84

NGゆき

**デフォルトの名無しさん** · 2019/02/05(火) 17:47:02.82

TwitterでPrologがちょっと燃えててワラタ

**デフォルトの名無しさん** · 2019/02/26(火) 20:00:32.82

yarnに採用！おめでとう！
https://jser.info/2019/02/26/yarn-v2berryfastify-v2tslint/
また、ワークスペースの改善としてConstraintsというProlog(実際にはtau-prolog)を使った制約を扱うプラグインが追加されています。ワークスペース間の依存などのルールをPrologを使って記述して、より効率的に扱えるようにするのが目的のようです。

>>91
くやしく。

**デフォルトの名無しさん** · 2019/02/27(水) 02:39:32.99

パッケージ管理やビルドツールにPrologを使うというのは（Prologを使える人が少ないという点を除けば）極めて良いアイデアだと思う

**デフォルトの名無しさん** · 2019/02/27(水) 02:48:11.64

なんで今まで誰もやらなかったのかね

**デフォルトの名無しさん** · 2019/02/27(水) 12:50:03.80

makeで足りてるから

**デフォルトの名無しさん** · 2019/03/06(水) 18:36:48.48

Prologでリストを使わない人はいないと思うのだけれど、
引数の部分にリスト以外の複合項を全く書かない人もいる。一方、引数に終始、複合項や式が
出続ける書き手もいる。
もちろん、対象領域が違うからという理由が大きいのだけれど、そのことは少し軽く見て、
そういう視点で観察してプログラマを分類してみるのも面白い。

**デフォルトの名無しさん** · 2019/03/08(金) 22:49:07.51

Prologの本はいっぱいあるけど、GHC系言語の解説書ってないのかなぁ。
あれでどんなプログラミングができるのかいまいちイメージがつかめない。

**デフォルトの名無しさん** · 2019/03/08(金) 23:01:46.51

>>97
結局、これはいい、という適用分野が見つからなかった

**デフォルトの名無しさん** · 2019/03/08(金) 23:23:02.60

>>97
30年以上前のしか知らない
https://www.amazon.co.jp/dp/4320022661
読んだことないし

**デフォルトの名無しさん** · 2019/03/08(金) 23:25:00.97

そうなんだ？
Prologを踏まえて作られたものだから少なくともそれよりは利点があるものと思ったけど。

**デフォルトの名無しさん** · 2019/03/08(金) 23:25:55.60

>>99
あ、あるんだね。ありがとう。

**デフォルトの名無しさん** · 2019/03/09(土) 00:15:35.43

並行論理プログラミング言語 GHC / KL1 - Kazunori Ueda - 早稲田大学
http://www.ueda.info.waseda.ac.jp/~ueda/readings/GHC-intro.pdf

GHCの考案者による解説

**デフォルトの名無しさん** · 2019/04/17(水) 08:44:19.08

>>40
SSDだと遅い？