【論理】Prolog【初心者】

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

Prolog初心者のスレ

これは良い言語だ…

**デフォルトの名無しさん** · 2013/05/19(日) 13:06:01.33

SWI-Prologって64bit版が出ていたのですね。
知らなかったが，Windows 7の64bit版に
今日インストールして使いはじめました。
気のせいか，処理速度がすこし速くなったよう
に思います。

**デフォルトの名無しさん** · 2013/05/19(日) 20:15:05.45

Bratko さんの Prolog 本（新版）の日本語版はでないのでしょうか
…原書の自炊ミスって単語一個分余計に切り落してしまい絶望中

**デフォルトの名無しさん** · 2013/05/20(月) 23:47:35.64

SWI-Prologの64bit版をインストールしたのだけれど
SWI-Prolog-Editorと相性が悪いらしく，
configurationのProlog folderに64bit版のフォルダーを
していして，プログラムを書いてconsult.を押しても，
prologプログラムが見当たらないというエラーメッセージ
がでる。
しかたがないので，32bit版もインストールしてそちら
のホルダーを指定して使っている。
64bit版でSWI-Prolog-Editorを同期して使っている方
が居られましたら，どうすべきかご教授いただけると
ありがたいです。

**デフォルトの名無しさん** · 2013/06/14(金) 12:50:56.41

prologで作られたアプリケーションやライブラリのリンク集みたいなものはないのでしょうか

prologで型推論エンジンつくろうと思ってるのですが
多分だれか既に作った人いないわけないので
どこかで公開していないかと

**デフォルトの名無しさん** · 2013/06/15(土) 00:25:36.27

arXivで検索検索

**デフォルトの名無しさん** · 2013/06/17(月) 19:15:02.01

>>675
http://rainyday.blog.so-net.ne.jp/2008-06-16

ここにPrologで書いたとても簡潔な型推論コードがある

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

量子コンピュータが実用化されたら Prolog 大活躍するん？

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

>>678
むしろPrologが必要なくなる方向を予想する

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

>>679
Prologの連言が量子コンピュータ上では通じなくなるなんて
ことがあるかなぁ。

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

>>680
というか、すべての計算を探索に還元するんだから、わざわざPrologで設計する必要がないというか

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

>>681
そういう意味での探索は実は現在のPrologにとって苦手。
遅かったり、スタックオーバーフローが起きたり。
ここの部分がアセンブラ化することはPrologにとって
御の字ではなかろうか。

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

量子コンピュータが実現しても、KL/1でやってることががprologのコードで書けるようになるというイメージしかない

**デフォルトの名無しさん** · 2013/07/05(金) NY:AN:NY.AN

Prologがやるべきことは、人間にとって寧ろ需要な
表層の知を確認する作業。要するにシンボル操作だから、
量子コンピュータとは直接的な繋がりはないかも。

**デフォルトの名無しさん** · 2013/07/06(土) NY:AN:NY.AN

SWI prologです

ex.pl　というファイルを

?- X is 3,X > 0.
?- append([1,2,3],[4],X),print(X),write(X).

以上のような中身とし、
コンソールで [ex]. とうつと

902 ?- [ex].
aaa+[1,2,3,4]
% ex compiled 0.00 sec, 1 clauses
true.

のようになるんですが、これをコンソールで逐一手で入力したのと同様に、下記のように変数の同定結果まで出力させるにはどうしたらよいでしょうか？

903 ?- X is 3,X > 0.
X = 3.

904 ?- append([1,2,3],[4],X),print('aaa'+ X).
aaa+[1,2,3,4]
X = [1, 2, 3, 4].

**デフォルトの名無しさん** · 2013/09/01(日) 19:13:48.36

swipl-win.exeで、日本語を入力したときにカーソル位置がズレるのですが、何か良い手はないでしょうか？
version 6.4.1 (windows 64bit)版です。

**デフォルトの名無しさん** · 2013/09/01(日) 20:41:43.53

emacsのシェルモードで試してみてはどうか

**デフォルトの名無しさん** · 2013/09/01(日) 21:52:09.09

windowsなので、emacsは入れたくないです。cygwinインストールが必須らしいので。
サクラエディタ上で使えたらよいのですが、うまくいきません。

**デフォルトの名無しさん** · 2013/09/01(日) 21:56:08.08

>>688
emacsもmeadowもcygwin無しでOKのwindows版あるよ

**デフォルトの名無しさん** · 2013/09/01(日) 22:23:09.77

ありがとうございます。試しにMeadow入れてみました。
M-x shellでシェルモードにして、その中でswipl.exeを実行してみましたが、
プロンプトが表示されないなど、満足に動作しませんでした。

**デフォルトの名無しさん** · 2013/09/07(土) 16:18:13.90

日本語対応が十分にできるている処理系はありますか？

**デフォルトの名無しさん** · 2013/09/12(木) 18:45:07.45

Prologで仕様記述できますか？

**デフォルトの名無しさん** · 2013/09/12(木) 19:42:43.95

>>692
ルールを決めればできるでしょう。

**デフォルトの名無しさん** · 2013/09/28(土) 12:48:49.81

Prologで２つの値が等しいと（ポインター）アドレスが等しいは区別されていますか？
Lispのeq? equal?の違いみたいなものです

**デフォルトの名無しさん** · 2013/09/28(土) 16:58:44.30

>>694

?- X = Y, X == Y.
X = Y.

?-
区別されませんね。

**デフォルトの名無しさん** · 2013/09/30(月) 16:49:29.65

X =:= Y.

**デフォルトの名無しさん** · 2013/10/02(水) 13:46:42.08

>>692
そこで言ってる仕様記述ってどういう意味のですか？

**デフォルトの名無しさん** · 2013/10/20(日) 04:46:24.01

PrologにはstalinやMLtonみたいな
超高速コンパイラってありますか？

**デフォルトの名無しさん** · 2013/10/20(日) 17:54:10.52

ICOTでいろいろ量産されてた気がする

**デフォルトの名無しさん** · 2013/10/21(月) 09:21:25.23

いつのまにかEclipseでPrologが書けるようになってた
便利だ・・・

**デフォルトの名無しさん** · 2013/10/23(水) 10:06:56.32

Prologで常識的には
ある文章の中の名詞なり動詞なりなにを関数にするもんなでしょう？

**デフォルトの名無しさん** · 2013/10/23(水) 11:23:06.63

>>701
対象となっている、物、事、性質、動作、行為、状態、これらの複合したもの、
文章。何がきてもよいのではないですか。述語論理だから、述語、すなわち、
動詞句や形容詞等が来なくてはならないということはありません。

**デフォルトの名無しさん** · 2013/10/23(水) 19:36:57.16

>>701
手続き的な例ですが、こんなのもあります。
http://nojiriko.asia/prolog/j72_815.html

**デフォルトの名無しさん** · 2013/10/24(木) 11:33:03.43

>>702
PrologってJavaのメソッドのような意味での関数でなくMapやListのようにも
振る舞うみたいなので作法があるのかと思ってました
関連付けって思えばいいんですかね？

>>703
わかりやすいです
ありがとうございます

**デフォルトの名無しさん** · 2013/10/27(日) 06:57:07.73

東京キャビネットみたいな
高速で検索できるデータベースの中を
Prologの命題で検索できないのでしょうか

MySQLは，それっぽいのみつけたので
既にあるのかもしれないですが

**デフォルトの名無しさん** · 2013/10/27(日) 09:25:23.92

Prologで文法のサイトはよく見るんだが
VSのプロジェクトのような作り方ってPrologできるのん？

**デフォルトの名無しさん** · 2013/12/17(火) 10:57:32.78

swi-prologが標準みたいだけど
swi-prologが一番使われてる理由って何故ですか？
swi-prologじゃなくて２番手みたいな処理系ってないのですか？

**デフォルトの名無しさん** · 2013/12/17(火) 11:59:17.93

>>707
SWIは開発が活発で
組み込みやライブラリ、
ドキュメントが一番充実してる
教育や研究目的には向いてると思う

機能重視ならSWI
速度重視ならYAPやGNU Prologなどもオススメ

**デフォルトの名無しさん** · 2013/12/18(水) 12:46:39.18

>>707
>>708に、日本語が十分満足に使えることを条件に加えると、
機能の SWI-Prolog 速度の AZ-Prolog でよいと思う。

**デフォルトの名無しさん** · 2013/12/19(木) 08:47:57.77

PrologをSQLに変換するコンパイラなんてのをみつけた
Prologの構文って全部SQLに変換できるのだろうか

**デフォルトの名無しさん** · 2013/12/20(金) 17:55:44.14

prologは演繹データベースだから、prolog -> SQL は難しい
SQL -> prolog なら大学の演習レベルでもなんとかなると思う

**デフォルトの名無しさん** · 2013/12/20(金) 18:58:22.89

>>711
そうですね。単位節データベースの参照の後に延々とルールが来て、
それでデータベースのフィールド参照のキーが漸く来るなんてことも
有りえます。そういう場合は、selectを参照する条件としてそれらを
型推論的な先読みをしたとしても、拾ってくるのはかなり難しいです。

**デフォルトの名無しさん** · 2014/02/24(月) 00:48:00.61

RDFのデータベースを検索するSQLの親戚あるけど
あれならPrologと一対一で変換できそう

**デフォルトの名無しさん** · 2014/03/09(日) 15:32:00.41

SWI-Prologを使っているんだけどユニファイ可能な節が1つ以上存在するかを判定する組み込み述語ってある？

今はfindallした結果のリストの長さが0以上かで判定してる…

**デフォルトの名無しさん** · 2014/03/09(日) 16:10:50.90

>>714
存在するか否かを判定するだけなら、単に質問すればいいのでは？
なぜわざわざfindallする必要があるのだろうか....

**デフォルトの名無しさん** · 2014/03/09(日) 18:25:03.73

いい女ぴー？
やらしてくれるぴー？

**デフォルトの名無しさん** · 2014/03/16(日) 21:00:44.77

>>714
ユーザ定義述語であることが条件だが、findall/3とclause/2を使うのが普通だと思う。

ユニファイ可能な節が1つ以上存在するかを判定する(Head) :- findall(_,clause(Head,Body),[_|_]).

**デフォルトの名無しさん** · 2014/04/09(水) 21:24:27.23

>>717
findall/3を使わないと少なくとも幾つあるかはわからない。

**デフォルトの名無しさん** · 2014/06/05(木) 12:16:15.58

generate(C) :-
random_between(65, 90, I),
atom_char(C, I).

experiment('STAP', Count) :- !,
writef('%w回目で陽性かくにん！¥nよかった☆¥n', [Count]).

experiment(_, Count) :-
generate(S),
generate(T),
generate(A),
generate(P),
atomic_list_concat([S, T, A, P], CELL),
writef('%w細胞', [CELL]),
NextCount is Count + 1,
experiment(CELL, NextCount).

main :-
experiment([], 0).

もっと面白い書き方ないかな？

**デフォルトの名無しさん** · 2014/06/05(木) 19:08:53.35

% 特に改善されたという訳ではない。

generate(CELL) :-
　　findall(A,(
　　　　　　　　between(1,4,_),
　　　　　　　　N is random(26),
　　　　　　　　sub_atom('ABCDEFGHIJKLMNOPQRSTUVWXYZ',N,1,_,A)),
　　　　　　L),
　　atomic_list_concat(L,CELL).

main :-
　　nth1(Count,_,_),
　　generate(CELL),
　　writef('%w細胞', [CELL]),
　　CELL = 'STAP',
　　writef('%w回目で陽性かくにん！\nよかった☆\n', [Count]).

**デフォルトの名無しさん** · 2014/06/05(木) 19:35:36.06

>>720
mainの最後に ! を入れて置かないと、バックトラックされるとCountが累計されていって、
いつかnth1/3が原因でスタックオーバーフローになるかも知れない。

**デフォルトの名無しさん** · 2014/06/05(木) 23:17:35.42

STAP細胞でコードゴルフでもするかね

**デフォルトの名無しさん** · 2014/06/06(金) 00:01:25.80

g(C):- findall(I,(between(0,3,_),random_between(65,90,I)),C).
e([83,84,65,80],N):-!, format('~w回目で陽性かくにん！¥nよかった☆¥n',[N]).
e(_, N):- g(C), format('~c~c~c~c細胞', C), N1 is N+1, e(C, N1).
main:-e([], 0).

$ wc stap.pl
3 16 233 stap.pl
$ swipl -q -t main -f stap.prolog

ﾄﾞﾔ!

**デフォルトの名無しさん** · 2014/06/06(金) 00:03:45.32

g(C):-findall(I,(between(0,3,_),random_between(65,90,I)),C).
e([83,84,65,80],N):-!,format('~w回目で陽性かくにん！¥nよかった☆¥n',[N]).
e(_,N):-g(C),format('~c~c~c~c細胞',C),N1 is N+1,e(C,N1).
main:-e([],0).

$ wc -c stap.pl
223 stap.pl
$ swipl -q -t main -f stap.pl
スペースつめるの忘れてた

**デフォルトの名無しさん** · 2014/06/06(金) 00:52:39.27

g(C):-findall(I,(between(0,3,_),random(65,91,I)),C).
e([83,84,65,80],N):-!,format('~w回目で陽性かくにん！¥nよかった☆¥n',N).
e(_,N):-g(C),format('~c~c~c~c細胞',C),O is N+1,e(C,O).
m:-e(0,0).

$ wc -c stap.pl
207 stap.pl
swipl -q -t m -f stap.pl

もうだめだ寝る

**片山博文MZ悪魔崇拝** ◆T6xkBnTXz7B0 · 2014/06/30(月) 22:35:30.71

古典的な人工知能の研究をしています片山博文MZです。
最近Prologの重要性がわかるようになってきました。
PrologからC言語の関数を呼ぶ方法と、C言語からPrologを扱う方法を教えて下さい。

**デフォルトの名無しさん** · 2014/07/01(火) 00:10:07.68

>>726
http://www.swi-prolog.org/pldoc/man?section=foreign

片山氏なら、C言語や英語の知識を前提にしても問題無いよね

**片山博文MZ悪魔崇拝** ◆T6xkBnTXz7B0 · 2014/07/01(火) 00:12:40.61

ありがとうございます。

**デフォルトの名無しさん** · 2014/07/12(土) 22:10:17.18

swi-prologを使ってるんだけどassertした節を自動的にファイルに保存するようにはできないのかな
assertする度にlistingで書き出してバックアップとるのめんどくさそうだし効率わるそう

**デフォルトの名無しさん** · 2014/07/12(土) 22:56:26.14

>>729
at_halt/1 を使うと、システム終了時に実行するフック述語を登録できる
もしファイルを tell/1, listing/0, told/0 する述語を登録すれば ....

**デフォルトの名無しさん** · 2014/07/23(水) 04:59:03.99

prologでGAを実装するのには他の言語（Java）で実装するより何が優れている？

**デフォルトの名無しさん** · 2014/07/23(水) 18:41:02.31

カットを使った多様性の表現のし易さ

**デフォルトの名無しさん** · 2014/07/24(木) 01:48:04.69

GAにおいてとくにPrologが優れてる点は思いつかないけど、
Javaは冗長でほんと疲れる

Prologなら

member(1,L).
で済むところが、Java だと

List<Integer> list = new LinkedList<Integer>();
list.add(1);
になるからな。
GAだって銀行の勘定系だって、Prologなら半ページで書ける

**デフォルトの名無しさん** · 2014/07/24(木) 03:43:43.10

Prologこそ冗長の極みでそw

**デフォルトの名無しさん** · 2014/07/24(木) 09:11:30.92

>>734

http://peace.2ch.net/test/read.cgi/tech/1402622093/569

**デフォルトの名無しさん** · 2014/08/17(日) 15:56:42.59

prolog覚えたいんですけど、何かいい方法はありますか？
Cやvba、php、あとcssなど触ってきましたが、やや特殊な感じがしてなかなか覚えることが出来ません…
習うより慣れろ、でしょうか

**デフォルトの名無しさん** · 2014/08/17(日) 16:35:59.06

まずは手続き型プログラミングの延長で考えよう
たとえば値 x とy の最大値を求める関数 max(x, y) を疑似コードで書くと：
　max(x, y) = if x > y then z := x else z := y; return z
これを Prolog では：
　max(X, Y, Z) ;- X > Y, !, Z = X.
　max(_, Y, Z) ;- Z = Y.
と書けるけど、一般にはより簡潔に以下のように書く：
　max(X, Y, X) ;- X > Y, !.
　max(_, Y, Y).
ここで、カット "!" は条件式と以降の文との間に置く "then" と見る

ここまでは(手続き型における)「分岐」のパターンになるけど、
手続き型の「反復」を Prolog では「再帰」で書くから、
「再帰の書き方(=再帰的定義)」に慣れることが最初の壁になる
たとえば数のリストについて、各値を +1 する述語 list_succ は：
　list_succ([X|XS], [Y|YS]) ;- Y is X + 1, !, list_succ(XS, YS).
　list_succ([], []).
と書き、同様に偶数だけを抽出する述語は：
　list_even([X|XS], [X|YS]) ;- is_even(X), !, list_even(XS, YS).
　list_even([_|XS], YS) ;- list_even(XS, YS).
　list_even([], []).

こういった手続き型プログラミングと共通する概念とその書き方に慣れてから、
Ptolog 固有の「単一化」や「バックトラッキング」といった概念を学ぶといい

**デフォルトの名無しさん** · 2014/08/17(日) 17:01:36.81

>>737 のコード中にある ;- は :- のタイプミスなので訂正

**デフォルトの名無しさん** · 2014/08/17(日) 20:16:33.99

8/22（金）10:30～
放送大学集中放送授業期間
『記号論理学（'14）』

というのがある。
オススメというよりも自分が楽しみにしているのだけど。

**デフォルトの名無しさん** · 2014/08/18(月) 20:04:08.48

>>737
ありがとうございます。
ｶﾞﾝﾊﾞﾙｿﾞｰｯ

**デフォルトの名無しさん** · 2014/08/19(火) 00:32:49.89

論理的な側面を忘れて、prologを手続型の言語として捉えるのはいい勉強になるね

少し趣旨は違うけど

main :- between(1, 9, X), between(1, 9, Y), Z is X * Y, write(X*Y=Z), nl, fail.

失敗駆動ループを覚えると、バックトラックが少し楽に理解できるかも

**デフォルトの名無しさん** · 2014/08/19(火) 07:39:00.21

冗長の極みを露悪的に表現したPrologコード。
今度は一万円に達するか、さらに買い物をしなくてはならないか、
レジと売り場を行ったり来たり、駆けずり回っている。

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

**デフォルトの名無しさん** · 2014/08/19(火) 08:21:36.82

少し違うのですが、これも手続き的なシミュレーション。
http://nojiriko.asia/prolog/fukakusa_no_shoushou_1_1_1.html
深草の少将は小野小町のもとに雨の日も風の日も
百夜通うのですが、百夜目に力尽き、はかなくなります。
一夜、通う度に、榻(牛車に乗り降りする為の渡し板)に
刻みを入れます。そして数えます。ひとつ、ふたつ、・・・

**デフォルトの名無しさん** · 2014/08/19(火) 23:25:35.45

>>741
九九の表を印刷するお題は、自分なら以下のように書く

main :- findall(X, multiply_of_product(X), Xs), print_list(Xs).

multiply_of_product(Z) :- between(1, 3, X), between(1, 3, Y), Z is X * Y.

print_list([X|Xs]) :- write(X), nl, print_list(Xs).
print_list([]).

失敗駆動ループ技法は、いわゆるバッド・ノウハウの類いだと思う

**デフォルトの名無しさん** · 2014/08/20(水) 17:10:44.30

>>744
失敗駆動をfindall/3で隠蔽していますね。同様に、

main :- forall(multiply_of_product(X),writef('%t\n',[X])).

というのもあります。

**デフォルトの名無しさん** · 2014/08/20(水) 21:59:59.69

>>744
これはあくまでバックトラックを理解するための例として

ただし、どうしても失敗駆動が必要になることもあるからね

>>743
九十九なり～で梅昆布茶吹いたわ(笑)

**デフォルトの名無しさん** · 2014/08/20(水) 23:19:48.10

>>746
>これはあくまでバックトラックを理解するための例として

初心者に対してバックトラックの理解を助ける最初の例として、
失敗駆動ループは不適切という話だ
もっと単純で分かりやすい例を持ち出すべきだった

>ただし、どうしても失敗駆動が必要になることもあるからね

そのとおりだね
どうしても使わなければ解決できない問題に対してだけ使うべき
たとえば>>744 のコードだと、全解探索結果リスト Xs が
メモリに乗り切れないほど巨大という極限のケースでは
失敗駆動ループ技法も(>>745と合わせて)検討候補になるだろう

逆に言えば、一般的な多くのケースで Prolog らしい
エレガントな解法があるのに、ただ書き慣れているからという理由で
安易に失敗駆動ループ技法を使うのは中級プログラマとして失格だと思う
だから >>744 ではバッド・ノウハウの類いと書いた

**デフォルトの名無しさん** · 2014/08/20(水) 23:58:46.17

バックトラックの例について書く
たとえば(>>745 は気付いていると思うけど) >>744 はバックトラックの応用になる
　　?- multiply_of_product(X).
　　X = 1 ;　% 最初の解が表示され、";" をタイプするとバックトラックで次の解を求める
　　X = 2 ;
　　X = 3 ;
　　X = 2.　% 途中で止めたい時には [return] をタイプすると入力待ちに戻る

　　?-
この述語 multiply_of_product/1 に関して、組み込み述語 findall/3 を使って
すべての解のリストを求めたのが >>744 になる

またリストそのものもバックトラックの対象になる
　　?- append(Xs, Ys, [1,2,3]).　% 述語 append/3 は２つのリストを結合したリストを求める
　　Xs = [],
　　Ys = [1, 2, 3] ;
　　Xs = [1],
　　Ys = [2, 3] ;
　　Xs = [1, 2],
　　Ys = [3] ;
　　Xs = [1, 2, 3],
　　Ys = [] ;
　　false.　% すべての解を探索し終えると false を表示して入力待ちに戻る

　　?-
同様に findall/3 を使ってすべての解のリストを求めてみる
　　?- findall((X,Y), append(X,Y,[1,2,3]), ListOfPair).
　　ListOfPair = [ ([], [1, 2, 3]), ([1], [2, 3]), ([1, 2], [3]), ([1, 2, 3], [])].

　　?-

**デフォルトの名無しさん** · 2014/08/21(木) 14:24:23.77

>>747
画面に全解をプリントするような手続きは、失敗駆動のほうがエレガントだと思う

それ自体に論理的な意味がないからね
わざわざsetofで拾って、print_listとか少し馬鹿っぽい感じ

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

>>749
全解をプリントするの意味にもよるが、ビジネスで一覧表を出すような場合は、
これはまた違うと思う。このような表には、集約情報を要求される場合が多く、
失敗駆動は集約には無力なので、一旦findall/3でリストに取る場合が多い。

**デフォルトの名無しさん** · 2014/09/16(火) 19:57:50.16

すみません

カットを使わずにカットと同様のモノは表現できるでしょうか

**デフォルトの名無しさん** · 2014/09/16(火) 22:10:27.01

>>751
前提条件によりけりだよ
ここで前提条件とは：
・カットの種類（グリーンなのかレッドなのか？）
・「同様」という言葉の定義（結果さえ一致すればいいのか効率も考慮するのか）
になる

一般論ではなく、具体的なコードで再質問したほうがいいと思われる

**デフォルトの名無しさん** · 2014/09/17(水) 07:53:36.70

>>751
p :- q1,!.
p :- q2.

のカットはq1に副作用がなければ、

p :- q1.
p :- \+(q1),q2.
と書くことができる。

p(s(1,t(2)) :- !,q1.
p(s(X,t(Y)) :- q2.

は

p(s(1,t(2)) :- q1.
p(s(X,t(Y)) :- \+(X=1),\+(Y=2),q2.

としなくてはならない。
カットがPrologから切り捨てられない話として、否定の定義、

\+(P) :- call(P),!,fail.
\+(P).

がよくあげられる。このカットは代用が効かない。
それから組込述語findall/3の設計からくる問題なのだが、repeatを持つ
標準入力からの入力。(ここでは整数に限定しているが)

?- findall(X,(repeat,read(X),(X=end_of_file,!,fail;integer(X))),L).

この制御のためのカットも他に手がない。

**753** · 2014/09/17(水) 07:59:41.82

右括弧が一つ足らなかった。

p(s(1,t(2))) :- !,q1.
p(s(X,t(Y))) :- q2.

と

p(s(1,t(2))) :- q1.
p(s(X,t(Y))) :- \+(X=1),\+(Y=2),q2.

でした。

**753 754** · 2014/09/17(水) 11:14:56.78

間違えました．
>>753 >>754 ともに
p(s(1,t(2))) :- q1.
p(s(X,t(Y))) :- \+((X=1,Y=2)),q2.

でした。

**デフォルトの名無しさん** · 2014/09/17(水) 21:30:48.29

>>753
節の追加だけでは表現できないカットはあるんですね
ユニフィケーションと節の展開だけで処理系作るのは無理ですね

**デフォルトの名無しさん** · 2014/09/17(水) 23:34:03.64

皆さん、この言語ってどういう動機で覚えたんでしょうか？
なんとなく名前がかっこいいから覚えようと思いましたが、レベル硬くて驚きました。

**デフォルトの名無しさん** · 2014/09/17(水) 23:35:01.45

すいません。
硬くて→高くて。
少し触ってみましたがまだポエムすら書けない感じです。

**デフォルトの名無しさん** · 2014/09/18(木) 03:49:46.40

sicpでprologを作る章を読んだから

**デフォルトの名無しさん** · 2014/09/18(木) 13:28:49.42

学校の授業。

**デフォルトの名無しさん** · 2014/09/18(木) 18:39:14.23

文系の学部だと英語の構文解析の授業でprologを使うと聞いた

**デフォルトの名無しさん** · 2014/09/18(木) 20:52:07.83

>>753
>それから組込述語findall/3の設計からくる問題なのだが、repeatを持つ
>標準入力からの入力。(ここでは整数に限定しているが)
>
>?- findall(X,(repeat,read(X),(X=end_of_file,!,fail;integer(X))),L).
>
>この制御のためのカットも他に手がない。

この単純な入力処理であれば、同じ振る舞いをするコードをカット無しで書ける
　　http://ideone.com/vBLt2R
失敗駆動ループや findall を使わず素直に再帰で表現した初歩的なコードだ

すでに >>744,747 で書いたように、失敗駆動ループはバッド・ノウハウの類いである
また組込み述語 findall/3 の探索するゴールは、 >>748 で例を示したように
副作用を含むべきではない
（組込み述語 read/1 には、入力ストリームを「読み進める」という副作用がある）

率直に言って、この程度の単純な入力処理に対して
「この制御のためのカットも他に手がない」などと安易に判断してしまう >>756 は、
失敗駆動ループや findall といった手続き型による「小手先のテクニック」にこだわるあまり、
論理プログラミングの持つ本質的な単純明快さを見失っているように見える

**デフォルトの名無しさん** · 2014/09/18(木) 21:10:59.37

filter をカットなしで書く方法を知りたいです
カットなしだと部分リストも答えで出てくる

filter(Pred, [], []).
filter(Pred, [X|Xs], [X|Ys]) :- prove(Pred, [X]), filter(Pred, Xs, Ys).
filter(Pred, [X|Xs], Ys) :- filter(Pred, Xs, Ys).

**デフォルトの名無しさん** · 2014/09/18(木) 21:27:49.66

>>763
>>762 で示したコードの述語 select_integer/2 の定義を見れば分かると思うけど、
述語 prove/2 が偽になる条件も明示的にコードとして表現させればいい
たとえば、こんな感じ：
　　filter(Pred, [X|Xs], Ys) :- ¥+prove(Pred, [X]), filter(Pred, Xs, Ys).

（おそらくコードが文字化けしていると思うけど、"＆ｙｅｎ；" はバックスラッシュ文字を表す）

**デフォルトの名無しさん** · 2014/09/19(金) 04:57:53.94

>>762
実際に使うのは、repeatを伴う入力処理の場合に限られると思うが

年齢(大田,33).
年齢(神戸,25).
年齢(下山,40).
・・・

で40歳が現れるまでの年齢リストを得たい場合も、

?- findall(_名前,(年齢(_名前,_年齢),(_年齢=40,!,fail;true)),_年齢リスト).

と書く。一般にこの問題が表面に出ないのは、普通は、

?- findall((_名前,_年齢),年齢(_名前,_年齢),L), ・・・・

と一旦、全年齢データをリストに変換してから、処理をするから。

**デフォルトの名無しさん** · 2014/09/19(金) 04:59:58.17

>>765
ごめんなさい。
_年齢リストではなく _40歳が現れるまでの名前リストでした。

**デフォルトの名無しさん** · 2014/09/19(金) 07:51:22.98

% カットの話題から逸れるが、設計が適切とは言い難いデータベースの集約問題。
% 駒場東大前から下北沢までの距離を求めなさい

井の頭線(渋谷,500).
井の頭線(神泉,900).
井の頭線(駒場東大前,1000).
井の頭線(池ノ上,600).
井の頭線(下北沢,500).
井の頭線(新代田,東松原,500).

駒場東大前から下北沢までの距離(_距離) :-
　　findall((_駅,_次の駅までの距離),井の頭線(_駅,_次の駅までの距離),L),
　　駒場東大前までを読み飛ばす(L,L2),
　　駒場東大前から下北沢までの距離(L2,_距離).

駒場東大前までを読み飛ばす([(駒場東大前,_次の駅までの距離)|R],[(駒場東大前,_次の駅までの距離)|R]).
駒場東大前までを読み飛ばす([_|R1],R2) :-
　　駒場東大前までを読み飛ばす(R1,R2).

駒場東大前から下北沢までの距離([(下北沢,_)|_],0).
駒場東大前から下北沢までの距離([(_,_次の駅までの距離)|R],_下北沢までの距離) :-
　　駒場東大前から下北沢までの距離(R,_次の駅から下北沢までの距離),
　　_下北沢までの距離 is _次の駅までの距離 + _次の駅から下北沢までの距離.

**デフォルトの名無しさん** · 2014/09/19(金) 20:54:01.75

>>765.766
やはり「論理プログラミングの持つ本質的な単純明快さを見失っている(>>762)」みたいだね
Prolog だと述語定義の並びは論理和を意味する
つまり、そのコードの意味は年齢(大田,33) ∨ 年齢(神戸,25) ∨ 年齢(下山,40) になる
そして論理式には交換律 A ∨ B ≡ B ∨ A があるから、述語定義の並びに論理的な意味は無い

もし順序性を表現したいのであれば、以下のように順序性を明示的に書かなければならない
　　年齢(大田, 33).
　　年齢(神戸, 25).
　　年齢(下山, 40).
　　順序(大田, 神戸).
　　順序(神戸, 下山).
あるいは述語「年齢」に「次の人物」または「順序番号」を付加してもかまわない
　　年齢(大田, 33, 神戸).
　　年齢(神戸, 25, 下山).
　　年齢(下山, 40, end_of_list).
または
　　年齢(大田, 33, 1).
　　年齢(神戸, 25, 2).
　　年齢(下山, 40, 3).
これら以外にも、人物リストであれば、人物名の「ふりがな」も順序性を表す情報となりえる
また、人物リストそのものを表現することが目的であれば、直接それを述語として定義すればいい
　　人物リスト([年齢(大田, 33), 年齢(神戸, 25), 年齢(下山, 40)]).

どれが適切かは、アプリケーションによりけり(=ケースバイケース)になる

**デフォルトの名無しさん** · 2014/09/19(金) 21:33:32.57

>>767
これもまた >>765 と同様に論理的ではないデータベース設計の例だね
駅間距離を「(ある駅と駅との間の)接続関係」および「関係に伴う属性」として
論理的にデータベースを設計すると、以下のようになる
　　井の頭線の駅(渋谷).
　　井の頭線の駅(神泉).
　　井の頭線の駅(駒場東大前).
　　井の頭線の駅(池ノ上).
　　井の頭線の駅(下北沢).
　　井の頭線の駅(新代田).
　　井の頭線の駅(東松原).

　　井の頭線の駅間距離(渋谷, 神泉, 500).
　　井の頭線の駅間距離(神泉, 駒場東大前 , 900).
　　井の頭線の駅間距離(駒場東大前, 池ノ上, 1000).
　　井の頭線の駅間距離(池ノ上, 下北沢 , 600).
　　井の頭線の駅間距離(下北沢, 新代田, 500).
　　井の頭線の駅間距離(新代田, 東松原, 500).

ここで、鉄道路線が駅を頂点とする無向グラフとしてモデル化されることに気が付けば、
述語「井の頭線の駅」がグラフの頂点を、述語「井の頭線の駅間距離」がグラフの辺を
表していることが、直感として理解できるはずだ

**769** · 2014/09/19(金) 22:28:08.91

>>769を自己訂正
X: 駅間距離を「(ある駅と駅との間の)接続関係」
O: 駅間距離を「(ある駅と駅との間の)隣接関係」

ここで、「駒場東大前から下北沢までの距離(>>767)」のような間接的な隣接関係は、
推移律 ((P → Q) ∧ (Q → R)) → (P → R) から(再帰的な)演繹によって定義される

**デフォルトの名無しさん** · 2014/09/19(金) 22:53:53.05

設計が適切とは言い難いデータベース。
リレーショナルデータベースをそのまま述語として写した場合にしばしば
現れる。あるいは何か示されたことをPrologデータベースとしてそのまま
写し取った場合。
以下のように書き換えられればもちろんよい。

井の頭線(渋谷,神泉,500).
井の頭線(神泉,駒場東大前,900).
井の頭線(駒場東大前,池ノ上,1000).
井の頭線(池ノ上,下北沢,600).
井の頭線(下北沢,新代田,500).

駒場東大前から下北沢までの距離(_距離) :-
駒場東大前から下北沢までの距離(駒場東大前,_距離).

駒場東大前から下北沢までの距離(下北沢,0).
駒場東大前から下北沢までの距離(_駅,_距離) :-
井の頭線(_駅,_次の駅,_次の駅までの距離),
駒場東大前から下北沢までの距離(_次の駅,_次の駅から下北沢までの距離),
_距離 is _次の駅から下北沢までの距離 + _次の駅までの距離.

**デフォルトの名無しさん** · 2014/09/19(金) 23:06:13.46

>>771
採点すると50点だな
まず、一般的な「ある２つの駅間の距離」を述語として定義し、
それを使って具体的な述語「駒場東大前から下北沢までの距離」を定義するという、
「構造化プログラミング」のアプローチが望ましい

　　駒場東大前から下北沢までの距離(_距離) :-
　　　　ある２つの駅間の距離(駒場東大前, 下北沢, _距離).

判定：課題の再提出を要す