Prologでまったり Part5

1 ：デフォルトの名無しさん：2017/03/24(金) 14:51:42.44 ID:ZNjVJLCP.net

過去スレ
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/

2 ：デフォルトの名無しさん：2017/03/24(金) 20:35:29.83 ID:qYto0KqJ.net

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

3 ：デフォルトの名無しさん：2017/03/24(金) 20:39:51.26 ID:qYto0KqJ.net

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

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

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

4 ：デフォルトの名無しさん：2017/03/25(土) 00:52:32.52 ID:qwoL3pH1.net

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

5 ：デフォルトの名無しさん：2017/03/26(日) 18:33:47.40 ID:AnJi4Uz+.net

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

6 ：デフォルトの名無しさん：2017/03/30(木) 17:20:53.83 ID:WsRWxyVT.net

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

7 ：デフォルトの名無しさん：2017/03/31(金) 08:17:08.38 ID:9hE01YVS.net

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

8 ：7：2017/03/31(金) 08:22:24.23 ID:9hE01YVS.net

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

9 ：デフォルトの名無しさん：2017/03/31(金) 19:43:34.32 ID:YFIAsqYo.net

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

10 ：デフォルトの名無しさん：2017/04/01(土) 12:04:38.01 ID:gl56yuNT.net

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

11 ：デフォルトの名無しさん：2017/04/02(日) 16:59:28.60 ID:yhAnz0vw.net

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

12 ：デフォルトの名無しさん：2017/04/02(日) 18:34:31.57 ID:jRfAXiJp.net

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

13 ：デフォルトの名無しさん：2017/04/02(日) 18:36:10.74 ID:jRfAXiJp.net

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

14 ：デフォルトの名無しさん：2017/04/02(日) 21:09:04.44 ID:yhAnz0vw.net

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

15 ：デフォルトの名無しさん：2017/04/02(日) 21:27:14.79 ID:KLExlLIQ.net

>>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、
>回答の生成までを単一のネットワークにする

16 ：デフォルトの名無しさん：2017/04/02(日) 22:09:22.59 ID:jRfAXiJp.net

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

17 ：デフォルトの名無しさん：2017/04/02(日) 23:31:47.53 ID:KLExlLIQ.net

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

18 ：デフォルトの名無しさん：2017/04/03(月) 20:35:32.05 ID:r1rinKhd.net

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

19 ：デフォルトの名無しさん：2017/04/04(火) 07:19:25.90 ID:KH/GhSFx.net

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

20 ：デフォルトの名無しさん：2017/04/04(火) 09:02:08.12 ID:KH/GhSFx.net

解ったぞ！ ; の後に 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 の方で対処してくれないと。

21 ：デフォルトの名無しさん：2017/04/04(火) 09:07:01.03 ID:KH/GhSFx.net

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

22 ：デフォルトの名無しさん：2017/04/04(火) 17:59:32.06 ID:KH/GhSFx.net

単に 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-; にしてみた。

23 ：デフォルトの名無しさん：2017/04/04(火) 19:43:46.75 ID:GDXtDLgc.net

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

24 ：デフォルトの名無しさん：2017/04/09(日) 17:58:20.20 ID:oNfwzwgh.net

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

25 ：デフォルトの名無しさん：2017/04/09(日) 20:02:28.24 ID:kB0+YiBD.net

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

26 ：デフォルトの名無しさん：2017/04/10(月) 07:47:09.66 ID:LBDhdaKW.net

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

27 ：デフォルトの名無しさん：2017/04/10(月) 09:56:04.56 ID:EdjYscd8.net

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

28 ：デフォルトの名無しさん：2017/04/10(月) 10:02:02.44 ID:b+5ml5KP.net

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

29 ：デフォルトの名無しさん：2017/04/10(月) 10:16:46.41 ID:LBDhdaKW.net

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では切れています。

30 ：デフォルトの名無しさん：2017/04/10(月) 10:18:53.87 ID:LBDhdaKW.net

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

31 ：デフォルトの名無しさん：2017/04/10(月) 12:53:10.94 ID:dVOREBP7.net

>>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 があるバージョンを
使えばいいと思うよ。

32 ：デフォルトの名無しさん：2017/04/13(木) 17:36:21.71 ID:C4pVfI8/.net

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

33 ：デフォルトの名無しさん：2017/04/13(木) 18:49:38.84 ID:zFvhZDnr.net

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

34 ：デフォルトの名無しさん：2017/04/14(金) 18:45:04.44 ID:Xi9X67bT.net

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

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

35 ：デフォルトの名無しさん：2017/05/03(水) 22:12:53.29 ID:jbhMxViH.net

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

36 ：デフォルトの名無しさん：2017/06/13(火) 23:42:07.13 ID:3xaVR795.net

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

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

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

37 ：36：2017/06/13(火) 23:46:21.36 ID:3xaVR795.net

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

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

38 ：デフォルトの名無しさん：2017/06/14(水) 20:28:21.72 ID:/Jq2k2dd.net

SWI-Prologインタプリタ

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

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

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

39 ：デフォルトの名無しさん：2017/06/15(木) 06:08:36.12 ID:OS4b1hKm.net

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

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

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

40 ：デフォルトの名無しさん：2017/06/15(木) 06:12:07.38 ID:OS4b1hKm.net

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

41 ：デフォルトの名無しさん：2017/06/15(木) 06:22:15.34 ID:OS4b1hKm.net

% swipl -G445000M

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

が可能だということ。

42 ：デフォルトの名無しさん：2017/06/15(木) 06:41:01.44 ID:SczZ9hH4.net

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

43 ：デフォルトの名無しさん：2017/06/16(金) 06:18:01.36 ID:Qm+kDu/O.net

>>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.

44 ：デフォルトの名無しさん：2017/06/16(金) 06:19:09.35 ID:Qm+kDu/O.net

% 実行結果

| ?- 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 倍くらいなら驚くほどではないと思う。

45 ：デフォルトの名無しさん：2017/06/16(金) 07:24:41.91 ID:3eXmF8sI.net

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

46 ：デフォルトの名無しさん：2017/06/16(金) 16:54:43.29 ID:TakoXWt8.net

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

47 ：デフォルトの名無しさん：2017/06/21(水) 20:47:56.02 ID:v8ZlsGJ1.net

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

48 ：デフォルトの名無しさん：2017/06/26(月) 14:25:30.75 ID:1MBq+06J.net

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

49 ：デフォルトの名無しさん：2017/06/26(月) 19:19:28.13 ID:J+dCdevE.net

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

50 ：デフォルトの名無しさん：2017/06/26(月) 20:39:09.17 ID:1MBq+06J.net

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

51 ：デフォルトの名無しさん：2017/07/01(土) 13:39:49.52 ID:yvgbUlYU.net

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

52 ：デフォルトの名無しさん：2017/07/02(日) 06:07:25.30 ID:b2F1GUNM.net

>>51
全く使っていない

53 ：デフォルトの名無しさん：2017/07/02(日) 06:58:37.04 ID:7x1CJ3Ta.net

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

54 ：デフォルトの名無しさん：2017/07/03(月) 05:54:57.56 ID:6QSWtKdI.net

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

55 ：デフォルトの名無しさん：2017/07/03(月) 10:52:00.94 ID:p/temOJb.net

それに尽きる

56 ：デフォルトの名無しさん：2017/08/02(水) 11:00:33.21 ID:AyM7Pnm7.net

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

57 ：デフォルトの名無しさん：2017/08/02(水) 12:36:37.86 ID:E8GFzbft.net

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

58 ：デフォルトの名無しさん：2017/08/02(水) 20:33:24.50 ID:iKI4Roin.net

可能だよ

59 ：デフォルトの名無しさん：2017/08/02(水) 20:40:47.00 ID:E8GFzbft.net

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

60 ：デフォルトの名無しさん：2017/08/03(木) 04:03:02.89 ID:WCischub.net

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

61 ：デフォルトの名無しさん：2017/08/03(木) 12:49:51.06 ID:0ZfpTseB.net

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

62 ：デフォルトの名無しさん：2017/08/04(金) 03:49:13.37 ID:kIgI5e6Z.net

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

63 ：デフォルトの名無しさん：2017/08/05(土) 10:44:36.62 ID:MSodZ/NA.net

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

64 ：デフォルトの名無しさん：2017/08/06(日) 01:06:18.01 ID:eutB4+go.net

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

65 ：デフォルトの名無しさん：2017/08/06(日) 11:05:55.46 ID:peki0++3.net

赤軍は？

66 ：デフォルトの名無しさん：2017/08/06(日) 12:59:05.66 ID:SmKvCm0C.net

＞65

＞赤軍は？

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

67 ：デフォルトの名無しさん：2017/08/06(日) 17:35:57.36 ID:Co8jByrZ.net

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

68 ：デフォルトの名無しさん：2017/08/06(日) 17:42:40.12 ID:D2MwPYUj.net

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

69 ：デフォルトの名無しさん：2017/08/07(月) 09:24:07.63 ID:tdYEUDnr.net

>68

＞65では、
＞赤軍は？

と書いてあって、

赤軍派？

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

70 ：デフォルトの名無しさん：2017/08/07(月) 20:15:00.51 ID:y+tGiyqS.net

嫌味なマジレスｗ

71 ：デフォルトの名無しさん：2017/08/07(月) 20:50:47.72 ID:9xNxBROd.net

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

72 ：デフォルトの名無しさん：2017/10/17(火) 18:22:42.68 ID:jeogK+o2B

これくらい誤解されている言語は他にないだろうな。
これ以上はないと言っていいくらい、単純な言語なんだが。

73 ：デフォルトの名無しさん：2017/10/25(水) 11:21:14.75 ID:ozqNX1fD.net

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

74 ：デフォルトの名無しさん：2017/12/21(木) 07:07:21.01 ID:ewcS0SAQ.net

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

75 ：デフォルトの名無しさん：2017/12/21(木) 08:15:15.55 ID:EOeEZWwX.net

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

76 ：デフォルトの名無しさん：2017/12/21(木) 09:32:27.33 ID:ewcS0SAQ.net

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

77 ：デフォルトの名無しさん：2017/12/22(金) 23:29:19.91 ID:6BLzPHcG.net

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

78 ：デフォルトの名無しさん：2018/02/16(金) 06:41:22.56 ID:W1XJdyx1.net

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

79 ：デフォルトの名無しさん：2018/03/23(金) 03:56:42.38 ID:v4A1VyNI.net

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

Prologの採用事例がまた一つ

80 ：デフォルトの名無しさん：2018/03/23(金) 04:08:26.39 ID:6jIYybpe.net

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

81 ：デフォルトの名無しさん：2018/03/23(金) 18:09:31.47 ID:Wi+5DRxB.net

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

82 ：デフォルトの名無しさん：2018/05/01(火) 08:58:56.17 ID:fTDqzH+p.net

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

83 ：デフォルトの名無しさん：2018/05/02(水) 03:42:05.92 ID:MIS1A4AD.net

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

84 ：デフォルトの名無しさん：2018/05/23(水) 08:30:56.56 ID:PUSKgIep.net

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

85 ：デフォルトの名無しさん：2018/05/23(水) 20:04:35.28 ID:Au5e7VGg.net

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

E5JQH

86 ：デフォルトの名無しさん：2018/07/05(木) 01:36:48.58 ID:RfoszcD2.net

Z7K

87 ：デフォルトの名無しさん：2018/11/05(月) 10:15:56.17 ID:j3sHpoUt.net

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

88 ：デフォルトの名無しさん：2018/11/05(月) 14:32:06.16 ID:JsuzbYis.net

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

89 ：デフォルトの名無しさん：2018/11/06(火) 08:41:11.47 ID:CZhh9Cm6.net

>88
座布団一枚！

90 ：デフォルトの名無しさん：2018/11/11(日) 14:34:03.14 ID:vUUak6BF.net

http://r2.upup.be/wV2qsULdHm

91 ：デフォルトの名無しさん：2018/11/11(日) 17:51:52.84 ID:96wp+TZd.net

NGゆき

92 ：デフォルトの名無しさん：2019/02/05(火) 17:47:02.82 ID:sCQhaZP1.net

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

93 ：デフォルトの名無しさん：2019/02/26(火) 20:00:32.82 ID:W0wJxBNy.net

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

>>92
くやしく。

94 ：デフォルトの名無しさん：2019/02/27(水) 02:39:32.99 ID:uWJyq6/U.net

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

95 ：デフォルトの名無しさん：2019/02/27(水) 02:48:11.64 ID:WT+xSYik.net

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

96 ：デフォルトの名無しさん：2019/02/27(水) 12:50:03.80 ID:+TCpifLa.net

makeで足りてるから

97 ：デフォルトの名無しさん：2019/03/06(水) 18:36:48.48 ID:fBh61pOJ.net

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

98 ：デフォルトの名無しさん：2019/03/08(金) 22:49:07.51 ID:NeLzfZqe.net

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

99 ：デフォルトの名無しさん：2019/03/08(金) 23:01:46.51 ID:meEyRQaU.net

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

100 ：デフォルトの名無しさん：2019/03/08(金) 23:23:02.60 ID:3HgW2fRj.net

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