【論理】Prolog【初心者】

**デフォルトの名無しさん** · 2010/11/06(土) 13:00:56

Prolog初心者のスレ

これは良い言語だ…

**783** · 2014/11/01(土) 17:43:33.36

>>789
こうですか？確かに動いてるっぽい。

straight(BOARD,X,Y,DX,DY,Stn,Len):-
X1 is X + DX,
Y1 is Y + DY,
straight(BOARD,X1,Y1,DX,DY,Stn,Len1),
Len is Len1 + 1,!.

うーん、何となくわかるけど、動く場合と動かない場合の違いがイマイチはっきりしないｗ
非決定性ぽく動くのがprologの特徴なのかと思ってました。

**デフォルトの名無しさん** · 2014/11/01(土) 20:43:43.91

>>790
>>784と非決定性は関係ないだろ。

**デフォルトの名無しさん** · 2014/11/01(土) 22:43:45.21

リスト処理とかなら未確定の変数ばっかりでも動くんだけどね。
数値計算は確定した値での計算にしか対応してない。
その意味で、数値計算はあまり特徴を活かせない分野かな。

**７８３** · 2014/11/02(日) 00:03:59.38

>>792
まあ、その辺はしょうがないんでしょうね。
数値計算は基本不可逆だろうし。

ありがとうございました。

**デフォルトの名無しさん** · 2015/05/12(火) 17:20:17.58

Prologトリビア探検隊ニユース

S-Prolog改造仲間を発見した記念カキコ

http://www.skyley.com/news/info_2015050902.html
http://www.skyley.com/products/prolog.html
Skyley Networks　/　マイコンでProlog

**デフォルトの名無しさん** · 2015/05/12(火) 17:27:07.88

おまけ

地下16階　環境外からのカットで次候補が残る

s(G) :- ( write(+s1), nl ; write(-s1), nl, fail ), G.
s(_) :- write(s2), nl.

| ?- s(( !, fail )).
+s1
s2
yes

※カットの仕様はISOと異なる

**デフォルトの名無しさん** · 2015/07/23(木) 08:35:16.01

最近Prologをはじめたのですが
すごく面白い言語だと思ってます

ただ論理パズルのような制約を満たすタイプは
記述が分かりやすくなって良いのですが

リバーシのように手が進んでいく
選択肢が変化していくタイプのものは
どう書くのが一般的なのでしょうか？

Cでforとifと変数を使うような
手続き型の記述なら分かりますが
それをむりやり翻訳してもわざわざ
Prologを使う意味が薄くなりそうなので

**796** · 2015/07/25(土) 21:40:24.71

あまりに過疎っていて返答がないので
このスレを読んでみたら
サンプルコードを見つけてしまいました

>>646-659

先読みというより局面の遷移が知りたかったのですが
どのみちゲームAIを作るなら先読みは
不可避でしょうからとても参考になります

**デフォルトの名無しさん** · 2015/07/26(日) 01:45:28.45

局面を進める(元の局面, 手, 次の局面) :- ...

みたいな述語を定義するようになると思う

**796** · 2015/07/26(日) 07:08:05.29

>>798
レスありがとうございます。

>>647
だと「着手」ですね。
言われてみるとシンプルな述語ですが
ポイントがどこか分からないので助かります。

盤面をリストで定義して
再帰か失敗駆動のループで
更新していくような感じなんでしょうか。

考えてみます。

**デフォルトの名無しさん** · 2015/11/30(月) 16:33:12.27

swi-prologで変数を表示させたときに、それがリストである以上の長さになると省略されてしまうのですが、全て表示させるにはどうすればいいですか?

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/02/22(月) 20:16:05.33

C++スレから来たProlog初心者の片山博文MZと言います。よろしくお願いします。

C++相談室 part123 [無断転載禁止]･2ch.net
http://peace.2ch.net/test/read.cgi/tech/1456040187/

**デフォルトの名無しさん** · 2016/02/22(月) 20:51:54.70

Prologにも手を出すのか
Coqは極めたのか？

**デフォルトの名無しさん** · 2016/02/24(水) 07:26:32.54

＜背理法＞
ｐと［ q￣］を仮定して矛盾を示す方法
※ｐを仮定することが重要．この点が対偶証明法と異なり，結論として［ p￣］が導ける場合に限られず，
他の内容でも数学的に矛盾することが示せたら何でもよいので，自由度が大きい．

対偶証明法と背理法
例がいっぱいある↓
http://www.geisya.or.jp/~mwm48961/koukou/cond004.htm

**デフォルトの名無しさん** · 2016/03/18(金) 07:23:29.68

>>800 以下の組込述語を使います。ここでは10000に変更しましたが、初期値はmax_depth(10)になっています。

?- set_prolog_flag(answer_write_options,[quoted(true),portray(true),max_depth(10000),spacing(next_argument)]).

**デフォルトの名無しさん** · 2016/03/18(金) 07:50:23.52

>>800 >>804
少し長くなりますが、quoted(true)など他の現在値に変更を加えないようにmax_depthだけを変更するのには、

?- current_prolog_flag(answer_write_options,L),
| select(max_depth(_),L,max_depth(10000),L2),
| set_prolog_flag(answer_write_options,L2).
L = [quoted(true), portray(true), max_depth(10), spacing(next_argument)],
L2 = [quoted(true), portray(true), max_depth(10000), spacing(next_argument)] .

**デフォルトの名無しさん** · 2016/05/01(日) 16:59:58.34

匿名通信（Tor、i2p等）ができるファイル共有ソフトBitComet（ビットコメット）みたいな、
BitTorrentがオープンソースで開発されています

言語は何でも大丈夫だそうなので、P2P書きたい！って人居ませんか？

Covenantの作者（Lyrise）がそういう人と話したいそうなので、よろしければツイートお願いします
https://twitter.com/Lyrise_al

ちなみにオイラはCovenantの完成が待ち遠しいプログラミングできないアスペルガーｗ

The Covenant Project
概要

Covenantは、純粋P2Pのファイル共有ソフトです

目的

インターネットにおける権力による抑圧を排除することが最終的な目標です。そのためにCovenantでは、中央に依存しない、高効率で検索能力の高いファイル共有の機能をユーザーに提供します

特徴

Covenant = Bittorrent + Abstract Network + DHT + (Search = WoT + PoW)

接続は抽象化されているので、I2P, Tor, TCP, Proxy, その他を利用可能です
DHTにはKademlia + コネクションプールを使用します
UPnPによってポートを解放することができますが、Port0でも利用可能です(接続数は少なくなります)
検索リクエスト、アップロード、ダウンロードなどのすべての通信はDHT的に分散され、特定のサーバーに依存しません
１ｙ

**デフォルトの名無しさん** · 2016/05/03(火) 23:09:22.63

prologでどう答えるのでしょうか

りんご＝■
バナナ＝■■
いちご＝■■■
みかん＝■■■■
キウイ＝■■■■■
りんご+りんご＝バナナ

りんご+バナナ＝？

**sage** · 2016/05/06(金) 16:28:48.46

>>807

fruit.pl
fruit_val(ringo,1).
fruit_val(banana,2).
fruit_val(ichigo,3).
fruit_val(mikan,4).
fruit_val(kiwi,5).

goukei(A,B):-
fruit_val(A,AVal),
fruit_val(B,BVal),
CVal is AVal+BVal,
fruit_val(C,CVal),
write(C).

実行結果：
[1] 20 ?- goukei(ringo,ringo).
banana
true.

[1] 21 ?- goukei(ringo,banana).
ichigo
true.

**デフォルトの名無しさん** · 2016/05/06(金) 19:24:20.00

>>808
ありがとうございます。
欲を言えば、数の概念を理解させたかったのです

**デフォルトの名無しさん** · 2016/05/06(金) 20:23:27.02

数の概念って、ペアノの公理系とか？

suc( zero, りんご ).
suc( りんご, バナナ ).
suc( バナナ, いちご ).
suc( いちご, みかん ).
suc( みかん, キウイ ).

add( zero, X, X ) :- !.
add( A, B, C ) :- suc( P, A ), suc( B, N ), add( P, N, C ).

?- add( りんご, バナナ, X ).

X = いちご

**デフォルトの名無しさん** · 2016/05/07(土) 09:29:24.35

>>810
ありがとうございます。
図々しく欲を言えば、応用範囲が広くなればもっと便利なのです。
数の概念を数学的に理解しすぎるとシンボルグラウティングを経た後の統計処理でプログラムが複雑になりすぎるので

**デフォルトの名無しさん** · 2016/05/07(土) 11:51:33.38

あぁ、こりゃだめだ。
応用範囲を広くといっても、>>807の問題から何をどうしたいのか意味不明。
そもそも閉世界仮説が前提のprologには無理なことを求めてるんじゃね？

**デフォルトの名無しさん** · 2016/05/07(土) 17:29:00.43

ホント何がしたいのか分からない
がんばって自力で実装するしかない

**デフォルトの名無しさん** · 2016/05/07(土) 18:15:08.71

072は自分でどうぞ

**デフォルトの名無しさん** · 2016/05/08(日) 21:27:34.20

まあPrologに一般的な概念を覚えさせて
具体的問題を個別対応でなく
その応用で一気に解かせたくなる
という気持ちは分かる

でもほとんどの場合そう上手くいかない
フレーム問題みたいなものがあるから

**デフォルトの名無しさん** · 2016/05/09(月) 17:43:56.94

論理型言語も圏論と関係あるんですか？

**デフォルトの名無しさん** · 2016/05/09(月) 23:39:14.35

様相論理を実装しようとするまでは圏論無視してても問題ない

**デフォルトの名無しさん** · 2016/05/10(火) 02:27:30.00

実装した後はどうなりますか？

**808** · 2016/05/10(火) 18:29:01.20

>>807

ほかの人が言っているようにちょっとやりたいことがわからない（説明不足）けどこういうことかな？
ＤＣＧを使った。

ringo(Ret)-->[a],{Ret = ringo}.
banana(Ret)-->[a,a],{Ret = banana}.
ichigo(Ret)-->[a,a,a],{Ret = ichigo}.
mikan(Ret)-->[a,a,a,a],{Ret = mikan}.
kiwi(Ret)-->[a,a,a,a,a],{Ret = kiwi}.

fruit(X)-->ringo(X);banana(X);ichigo(X);mikan(X);kiwi(X).

ringo_ringo([First|Rest])-->ringo(First),ringo(Rest),[].
ringo_banana([First|Rest])-->ringo(First),banana(Rest),[].

fruit_pair([X | Y])-->fruit(X),fruit(Y),[].

main:-
phrase(ringo_ringo(X),RingoRingo,[]),
write(RingoRingo),
write(' '),
write(X),nl,
phrase(ringo_banana(Y),RingoBanana,[]),
write(RingoBanana),
write(' '),
write(Y),nl,
phrase(fruit_pair(Z),[a,a,a,a,a],[]),
write('[a,a,a,a,a] '),
write(Z),nl.

**808** · 2016/05/10(火) 18:30:19.34

実行結果：
[2] 13 ?-
% Updating index for library c:/program files/swipl/library/
% c:/users/koyahata/documents/prolog/fruit2 compiled 0.00 sec, 11 clauses
[2] 13 ?- main.
[a,a] [ringo|ringo]
[a,a,a] [ringo|banana]
[a,a,a,a,a] [ringo|mikan]
true ;
[a,a,a,a,a] [banana|ichigo]
true ;
[a,a,a,a,a] [ichigo|banana]
true ;
[a,a,a,a,a] [mikan|ringo]
true ;
false.

やっつけなのでちょっとリストの作り方おかしいかもしれないけど…

**808** · 2016/05/10(火) 18:38:04.23

こういう質問もできるから、これでいいんじゃないの？

[2] 14 ?- phrase(fruit_pair([ringo|banana]),Ret,[]).
Ret = [a, a, a] ;
false.

[2] 15 ?- phrase(fruit_pair([banana|ichigo]),Ret,[]).
Ret = [a, a, a, a, a] ;
false.

**808** · 2016/05/10(火) 18:40:22.90

**デフォルトの名無しさん** · 2016/05/10(火) 21:36:21.72

>>818
実装した様相論理を圏論で表現すると論文を書くときにかっこいい

**デフォルトの名無しさん** · 2016/05/12(木) 02:37:17.88

様相論理というのはPrologの拡張ですか？

**デフォルトの名無しさん** · 2016/05/12(木) 03:50:49.89

PrologでProlog処理系作って改造すると学部卒研レベルでも様相論理を実装できる

**デフォルトの名無しさん** · 2016/05/12(木) 07:12:33.29

一階述語論理が論理型言語の計算モデルらしいですが、
高階述語論理をモデルとするような言語もあるのですか？

**デフォルトの名無しさん** · 2016/05/17(火) 22:49:38.79

C言語系はenumとswitchがあまり便利ではないから高階関数のようなものが必要だけど
Prologはtermとパターンマッチだけでほぼ満足してしまう

**デフォルトの名無しさん** · 2016/05/17(火) 22:57:05.36

>>827
関数型言語なら代数バリアント使いつつ高階関数が必須なんですが

**デフォルトの名無しさん** · 2016/05/18(水) 01:07:17.80

mapとか高階関数の定義にバリアント使うけどmapを利用する側はバリアント意識してない

**デフォルトの名無しさん** · 2016/09/13(火) 00:19:04.93

Prologとオントロジーは相性が良いと思うのですが
それに言及してる本などが少ないのは
あまり実用性がないと思われているのでしょうか？

**デフォルトの名無しさん** · 2016/09/13(火) 23:04:44.72

実用性はあるが、実用しようとするとPrologとあまり関係のないインターフェイスが超面倒臭い
インターフェイスの設計まで含んでるのがオントロジーだから、Prologにかぎったことではないが

**デフォルトの名無しさん** · 2016/09/14(水) 08:10:08.95

Prolog自体が知識ベースだからかも

**デフォルトの名無しさん** · 2016/09/17(土) 14:03:02.83

>>828
findall/3というSQLのselectに近い組込述語があって、

?-　L = [1,2,3],
　　findall(B,(member(A,L),foo(A,B)),L).

のように使える。これは、リストでなくfoo/1を参照して

?- findall(B,(boo(A),foo(A,B)),L).

とも変化できる。自由度が高い。
それで、map関数にあたるものは、Prologではほとんど使われない。

**833** · 2016/09/17(土) 14:05:15.47

「これは、リストではなくboo/1を参照して」
です。foo/1としたのは間違い。

**デフォルトの名無しさん** · 2016/09/21(水) 21:43:10.85

もし + が述語だったら is(A, 1 + 1) は高階述語だったかも？
でも実際は高階述語などではなくただのパターンマッチでいい

**デフォルトの名無しさん** · 2016/09/24(土) 05:37:08.07

Prologだけ機械学習の波に乗れてない……

**デフォルトの名無しさん** · 2016/09/24(土) 05:50:29.45

波に乗るっつうかバックにそういうシステムを置くフロントエンドになるだけじゃね

**デフォルトの名無しさん** · 2016/09/26(月) 14:53:21.88

http://goo.gl/RwsbST

http://goo.gl/rPZnK3

おおおお

**デフォルトの名無しさん** · 2016/09/26(月) 16:11:02.20

prologで微分の導関数(derivative)を求めるというプログラムがネットで幾つかヒットして参考になるのですが、どれも式変換したあとの簡略化をしっかり行っていない（不十分だったりまったくやっていない）
簡略化（例:因数分解→分母分子で同じ部分探して約分）のプログラムやアルゴリズムに関して解説した記事などをご存じの方はいますか？

**デフォルトの名無しさん** · 2016/09/26(月) 20:18:06.76

>>839
記事ではなくて書籍であれば、以下の22章にコード付きの解説がある

・Prologの技芸 : Leon Sterling, Ehud Shapiro, 松田利夫
　https://www.amazon.co.jp/dp/4320097106

章冒頭の概要と詳細目次を書いておく

第22章方程式を解くプログラム

　Prologの応用分野として、極めて自然な分野が記号処理である。
例えば、典型的な記号処理の問題である記号微分のPrologプログラムは、
プログラム3,29に示すように、微分規則を違う構文法で記述したものにすぎない。

　本章では、記号方程式を解くプログラムを示す。これは、エジンバラ大学
人工知能学科数理推論研究グループによって開発されたPRESS(PRolog
Equation Solving System)の簡易板である。PRESSは、高校の最高学年の
生徒程度の数学の能力を持つ。

　本章の構成は以下の通りである。最初の節では、解法例を示して、方程式の
解法の概要を説明する。残りの4節では、方程式を解くプログラムに実現されている
4つの主要な解法について述べる。

　　22.1 方程式の解法の概要
　　22,2 因数分解
　　22,3 孤立化
　　22,4 多項式
　　22.5 同次化
　　22.6 背景

**839** · 2016/09/28(水) 10:01:23.90

>>840
ありがとうございます。該当の文献の英語版を読んでいるのですが多分因数分解は以下のコードだと思います。古い本で→や\等の記号が用いられており勝手に以下と解釈しました。
→　　…　:-
\　　 … 差分リスト
↑　　…　^
subterm(Term,Term).
subterm(Sub,Term):-compound(Term),functor(Term,F,N),subterm(N,Sub,Term).
subterm(N,Sub,Term):-N>1,N1 is N-1,subterm(N1,Sub,Term).
subterm(N,Sub,Term):-arg(N,Term,Arg),subterm(Sub,Arg).
factorize(A*B,X,[Factors-Rest]):-!,factorize(A,X,[Factors-Factors1]),factorize(B,X,[Factors1,Rest]).
factorize(C,X,[[C|Factors],Factors]):-subterm(X,C),!.
factorize(C,X,[Factors,Factors]).
実行結果は以下となり、うまく因数分解できないのですが、どうすればよいかわかりますか？
1 ?- subterm(X,a*b*(c-d/e)^f).
X = a*b* (c-d/e)^f ;
X = a*b ;
X = a ;
X = b ;
X = (c-d/e)^f ;
X = c-d/e ;
X = c ;
X = d/e ;
X = d ;
X = e ;
X = f ;
false.
4 ?- factorize(x^2+4*x+4,A,x+2).
false.
5 ?- factorize(x^2+4*x+4,A,B).
A = x^2+4*x+4,
B = [[x^2+4*x+4|_G1609], _G1609].

**839** · 2016/09/28(水) 10:16:30.93

すみません差分リストのとこ[Factors-Rest]と[Factors,Rest]が混在してまちがってましたが
[Factors,Rest]の形式に統一しても同じエラーでした。
多分すでに式がA*Bの形式になっている前提で書かれているコードのような…
x^2+4^x+4 → (x+2)^2 の形式には変換できなそうですね。

**デフォルトの名無しさん** · 2016/11/17(木) 10:52:19.73

>>70
SWI-Prologだと、read_line_to_codes/2というような述語があります。第一引数に
ストリームがきます。
?- read_line_to_codes(user_input,X).
: qaz
X = [113, 97, 122].
となります。
get_line(Stream,Line) :-
read_line_to_codes(Stream,L),
atom_codes(Line,L).
という簡単な定義でピリオドなし入力を定義できます。

**デフォルトの名無しさん** · 2016/12/03(土) 10:33:29.10

実は多くのプログラマが最初は read を使ってデータ入力するプログラムを
書くのですが、実際に利用する人たちに拒否されます。それで、この
get_line のような行入力が必要になるのですが、get_char を使って再帰的に
述語を書くのことはハードルとなります。それでこの read_line_to_code の
ような述語があるのであれば、広く知らしてあげる必要があります。

**デフォルトの名無しさん** · 2016/12/03(土) 13:28:23.04

>>70は有用なレスだが
しかしメジャーな言語なら
こんな基本的な述語（メソッド）は
書かなくても標準ライブラリにあるよな

**デフォルトの名無しさん** · 2016/12/03(土) 14:44:47.05

>>845
ライブラリというと、readln/1 というのがあるにはある。
?- readln(X).
:| abc
X = [abc].
で一見うまくいく。ところが
?- readln(X).
:| abc def
X = [abc,dec].
と余計なことをしてしまう。全体をアトムとして欲しいわけです。
それで使われない。

**デフォルトの名無しさん** · 2016/12/04(日) 05:31:31.27

>>846 無茶な。

?- readln(X).
|: abc:def(ghi).
X = [abc, :, def, '(', ghi, ')', '.'].

?- のように使われるためのもの。

**デフォルトの名無しさん** · 2016/12/04(日) 20:17:09.28

SWI-Prologに関する限り、入力よりも出力の方が変というか使いにくい。
format述語のことだけれど。

**デフォルトの名無しさん** · 2016/12/05(月) 20:24:12.86

SWI-Prologの問題を超えて、この処理系のマニュアルが改善
されれば、Prologはもっと普及すると思う。
あまりにも、個々の実例が少なすぎる。多くのプログラマは
実例を見比べてその違いから、問題を理解するという方法を
身に付けているが、その方法に沿った資料に全くなっていない。
SWI-Prologが現在のPrologを代表するものに成長しているの
だから、この部分に人を割いて欲しい。

**デフォルトの名無しさん** · 2016/12/11(日) 00:28:21.45

そこまでPrologに肩入れする理由は何？

**デフォルトの名無しさん** · 2016/12/16(金) 12:14:52.67

>>846
atom_concatつかうのはどうですか？

9 ?- readln(X),X=[First|[Rest]],atom_concat(First,Rest,Out).
|: abc def
X = [abc, def],
First = abc,
Rest = def,
Out = abcdef.

**デフォルトの名無しさん** · 2016/12/16(金) 16:28:14.37

>>851
ありがとうございます。
基本的にそれでうまく行くことも多いのだけれど、
入力したままの文字列にならないという点で具合が悪い。空白が必ずひとつならば、
atomic_list_concat(X,' ',Out),
良いのだが、そうとは限らない。

**デフォルトの名無しさん** · 2016/12/16(金) 17:19:33.35

>>849
分かりやすいドキュメントは重要だよな

>>850
論理プログラミングに持ち込める問題なら
非常に簡潔に書ける

**デフォルトの名無しさん** · 2016/12/19(月) 17:20:34.24

>>850
他の言語には難しい表現が可能になるから。

**デフォルトの名無しさん** · 2016/12/22(木) 23:10:05.00

Lispの演習でユニフィケーションを実装すると、Prologがクセになる

マジおすすめ

**デフォルトの名無しさん** · 2017/01/22(日) 05:48:37.87

昨日ツイッターで出てきた。

即是(色,空).

という定義。これひとつで、
　
　空　色
　即　即
　是　是
　色　空
　
を満たしているのではないかと。

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

Tiobe Index for January 2017 Very Long Term History

Programming Language 2017 2012 2007 2002 1997 1992 1987
Java 1 1 1 2 17 - -
C 2 2 2 1 1 1 1
C++ 3 3 3 3 2 2 4
C# 4 4 6 10 - - -
Python 5 7 7 16 27 - -
PHP 6 5 4 6 - - -
JavaScript 7 9 8 7 20 - -
Visual Basic .NET 8 24 - - - - -
Perl 9 8 5 4 3 - -
Assembly language 10 - - - - - -
Lisp 28 12 12 9 7 11 2
Ada 30 15 16 15 10 3 13
Prolog 33 43 27 27 14 9 3

Prologもメジャーだった。

**デフォルトの名無しさん** · 2017/01/23(月) 18:21:28.72

>>847

?- readln(X).
|: 愛情
X = [愛,情].

% というように、マルチバイト文字が分解されてしまう。これは直すべきだろう。

**デフォルトの名無しさん** · 2017/02/02(木) 09:31:31.52

>>845
Prologがメジャーな時代からこの点は変わりなかった。
つまり、Prologからすると、扱うのは項であり、項になり得ないものを
入力対象とすることを潔しとしなかった。
>>858 これはもう、
行入力(_行) :- readline_to_codes(current_input,X),atom_codes(_行,Codes).
を定義してしまった方がよい。

**859** · 2017/02/02(木) 09:33:43.86

ごめんなさい。
行入力(_行) :- readline_to_codes(current_input,Codes),atom_codes(_行,Codes).

です。

**デフォルトの名無しさん** · 2017/02/02(木) 09:40:23.12

>>859 >>860
すみません。これ、
行入力(_行) :- read_line_to_codes(current_input,Codes),atom_codes(_行,Codes).
だと思います。readline_ではなくて、read_line_です。それから、一般化して
行入力(_入力ストリーム,_行) :- read_line_to_codes(_入力ストリーム,Codes),atom_codes(_行,Codes).
としておいた方が、ライブラリ化するのなら良いと思います。

**デフォルトの名無しさん** · 2017/02/02(木) 09:44:53.78

>>861
ありがとうございます。うっかりしました。
それからライブラリの話はストリーム明記となしの両方を作る必要がありますね。

**デフォルトの名無しさん** · 2017/02/02(木) 09:48:41.37

ところで、
『Prologでまったり』スレ
復活したいですね。

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

Alephなどの帰納論理ライブラリ使ってる方はいるんだろうか。話聞いてみたい。

**デフォルトの名無しさん** · 2017/02/06(月) 11:47:26.15

>>864
私はProgolを使いこなせなかった。それ以来はこの方面は手を出していない。
AlephはPrologで書かれているライブラリなのかな。

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

>>859
read_line_to_string/2 というのもありますね。
普通どちらを使うものだろうか。

**デフォルトの名無しさん** · 2017/02/07(火) 18:24:31.96

最近Stringが使われているコードあまり見なくなりましたね。
関数名、述語名もアトムですから。アトムとして処理したいです。
sub_atom/5やatom_concat/3が強力であることもあって、文字コードが
出る幕はなくなったということでしょう。
read_line・・・については何故かどちらも文字コードが来るのですが。

**867** · 2017/02/07(火) 18:26:48.89

read_line_to_chars/2でよいと思うのですが何故_to_codesしかないのでしょうか。

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

なぜ、Prologの世界で、これを標準ライブラリ化しなかったのか。
そのことの理解が必要なんだろうけれど。以下はどうしても必要だろう。

行入力(_入力ストリーム,_行) :-
read_line_to_code(_入力ストリーム,Codes),
atom_codes(_行,Codes).

**デフォルトの名無しさん** · 2017/02/13(月) 13:15:20.36

>>865
はい、Alephはprologで書かれています。
http://www.cs.ox.ac.uk/activities/machinelearning/Aleph/aleph

自分は「Prolog Programming for Artificial Intelligence 4th Edition」の
Inductive Logic Programing(帰納論理プログラミング）の記事を読んで興味を持ったのですが、
この本で紹介されているコードを大分レベルアップしたのがAlephやProgolのように感じました。

自分もまだ勉強中ですが、例えば以下の問題など興味深いです。

has_daughter述語の学習
　parent(X,Y):XはYの親、 female(X):Xは女性、という既存の述語があったとして、
　has_daughter(X)というボディ部不明の述語があり、
　これを満たす例、満たさない例をたくさん与えると、
　has_daughterのボディ部の内容の仮定を生成する

列車のeastbound-westbound問題（有名な問題のようです）
　これこれの構成で積荷がこれこれの列車は東行き、これこれだと西行きという事例を沢山学習させ、
　任意の構成の列車を入力するとそれが西行きか東行きかを生成した仮定を用いて判定する

**デフォルトの名無しさん** · 2017/02/15(水) 19:36:40.66

>>865
ちょっと遅くなりました。帰納論理プログラミングについては、魅力的ですし、
将来、重要な地歩を占めるものと、予感しています。Progolについては、
大量に現れる節の可能性を上手く排除できず、中断状態になったままです。
この機会にAlephやってみます。どうも有難うございました。

**871** · 2017/02/15(水) 21:51:16.42

まちがえました。自分を指してしまった。
>>870 でした。

**デフォルトの名無しさん** · 2017/02/16(木) 11:41:51.71

何で急にprolog流行り出したの？

**870** · 2017/02/16(木) 12:18:29.03

>>873
自分はProlog大好きなのですが全然流行っていないような…情報集めもメッチャ苦労しますし…

Prologの基本文法以外の、論文とかでしかあまり目にしない「応用Prolog」みたいな領域があって「日本ではあまり目立たなかったけど実は少しづつ進化していた」というのはあると思います。

日本語で目にするPrologの基本文法レベルの情報と外国で見つかる応用Prologの情報には大分差があるというのはあると思います。

文法にも大分手が入っている印象です

**デフォルトの名無しさん** · 2017/02/16(木) 21:41:14.28

>>873
どっかの大学で処理系作る演習課題を出したのでは

**デフォルトの名無しさん** · 2017/02/16(木) 23:14:34.57

>>873 >>874 >>875
これが爆発的に当たっているからですね。
http://qiita.com/vain0/items/6d3b75f667d3ec7f1d2a

**デフォルトの名無しさん** · 2017/02/17(金) 00:34:53.19

Prologって、第5世代コンピュータをつくるとかいって、ICOTという組織を
作って大々的に研究していたのじゃなかったかな。
ICOTの成果というものは、発表さいているのかしら。

**デフォルトの名無しさん** · 2017/02/17(金) 03:22:48.78

発表されてたはずで、
https://ja.wikipedia.org/wiki/%E7%AC%AC%E4%BA%94%E4%B8%96%E4%BB%A3%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF
の外部リンク
AITEC・ICOTアーカイブス
第五世代コンピュータプロジェクトアーカイブ
の先にあったのだと思うけど今では 403 Forbidden と 404 Not Found

これは残ってた
第五世代コンピュータ・プロジェクト
最終評価報告書
http://www.jipdec.or.jp/archives/publications/J0005062

**デフォルトの名無しさん** · 2017/02/17(金) 05:29:01.81

>>877-878
プロジェクトの遺産であるKLICはメンテナンスされている。

並行論理プログラミング (KLIC version 3.01)
http://www.ueda.info.waseda.ac.jp/software-j.html
けいえるわん
http://www.ueda.info.waseda.ac.jp/~takagi/kl1/
並列論理型言語処理系 KLIC のページ
http://web.archive.org/web/20100815015107/http://www.klic.org/software/klic/index.ja.html
第五世代コンピュータプロジェクトアーカイブ
http://web.archive.org/web/20150121033015/http://www.jipdec.or.jp/archives/icot/ARCHIVE/HomePage-J.html

**デフォルトの名無しさん** · 2017/02/17(金) 07:43:14.35

>>878
>>879

情報ありがとうございます。

**デフォルトの名無しさん** · 2017/02/17(金) 15:48:47.57

残念…

https://ja.wikipedia.org/wiki/Prolog
>Prolog にオブジェクト指向プログラミングを取り入れた ESP
(略)
>ESPは多重継承を特徴とする当時としては先鋭のオブジェクト指向言語であった
(略)
>ISO の標準化作業は1987年頃から作業委員会(WG17)が作られ、
>日本委員も情報処理学会から15名ほどがこれに加わった。
(略)
>モジュール仕様については日本委員から、ICOTによって作成された
>ESP(Extended Self-contained Prolog)を以てその標準とする案が出されていたが、
>これは否決された。

**デフォルトの名無しさん** · 2017/03/08(水) 01:37:14.82

http://qiita.com/ShunIchikawa/items/6449f492dc38a7201162
pepperの頭脳がprologで書かれていたなんて

**デフォルトの名無しさん** · 2017/03/20(月) 14:40:29.09

さる(ねる).

http://nojiriko.asia/prolog/prolog/saru_ru_ru_ru.html

**デフォルトの名無しさん** · 2017/03/21(火) 02:02:37.80

今のままでは、小学校のプログラミング教育にScratchが導入されてしまう。
Prologを推すことができるように、
小学生の目線で書いたPrologプログラムを増やそう。

**デフォルトの名無しさん** · 2017/03/21(火) 02:08:37.78

基本的な方針としては、
道具立てなく、現在の授業科目の中ですぐに利用できるプログラム言語で
あることを武器として、広めていく。
もちろん、環境整備は必要だし、Prologの言語仕様の一部変更も必要には
なるだろう。

**デフォルトの名無しさん** · 2017/03/25(土) 04:56:52.06

>>873
人工知能ブームで波及効果があるんじゃね？
でも読み書きしにくいから
Pythonみたいにメジャーにはならないと思うけど

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

>>886
現在の深層学習は人間が結果に責任を持ちにくいというような欠陥があって、
それを補う部分の記述では必要。その部分では最有力ということではないか。

**887** · 2017/03/26(日) 18:41:31.41

訂正。
・・・・・・・
それを補う部分の記述が必要。その部分では最有力ということではないか。

**デフォルトの名無しさん** · 2017/03/27(月) 09:23:14.55

>>886
読み書きしにくいの意味が、データの入出力のことなら別だけれど
プログラムの読みやすさ、書きやすさの意味だとすると、
Prologはもっとも読みやすいプログラム言語のひとつではないか
書く方は、難しいという見方もできるだろうが