【論理】Prolog【初心者】

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

Prolog初心者のスレ

これは良い言語だ…

**デフォルトの名無しさん** · 2013/03/21(木) 00:23:36.01

>>653
何か間違っていますね。 ! を削りましょう。そうすると、

着手候補の取り出し(_枝切り,_評価_着手_局面ならび_2,_評価,_着手,_局面2) :-
　　　　length(L0,_枝切り),
　　　　append(L0,_,_評価_着手_局面ならび_2),
　　　　member([_評価,_着手,_局面2],L0).

の最後memberが働いて、全解を取り出せると思います。

3手先読みの最善手は -> 次の可能な全ての手を評価して整列 ->
探索範囲を狭めるため枝切り -> 最も評価の高い手を選択 ->
相手の立場から最も評価高い手を選択 ->
その局面で全ての可能な着手を評価し -> 整列して枝切り　->
これで第一解が得られる
バックトラックすると、
3手先読みの整列枝切り後も member/2 の次の候補が取り出されて第二解。

findmax で次々呼び出されて、最高評価点を探す。

**デフォルトの名無しさん** · 2013/03/21(木) 00:55:51.96

>>654
これ深さ優先でしょうか。
幅優先のような気がしてなりません。

**デフォルトの名無しさん** · 2013/03/21(木) 01:29:24.35

その人、悪い人じゃないんだけど、ちょっとおかしいところあるから、あまり関わらないほうがいいよ。

**デフォルトの名無しさん** · 2013/03/21(木) 06:29:01.79

>>655
Wikipedia の幅優先の項のグラフを借用して説明します。
http://ja.wikipedia.org/wiki/%E5%B9%85%E5%84%AA%E5%85%88%E6%8E%A2%E7%B4%A2

　　　　　　1

　　　2　　3　　4

　5　　6　　7　　　8

9 10　　　　　　　11 12

プログラムでは、着手評価が唯一の実効のある作用なので、着手評価によって
横方向の優先順位を決めることが幅優先に見えることは仕方ない。
[2,3,4],[5,6],[7,8],[11,12]の順序は実は動的に決められます。

しかし、実際の手の読む順序は
1 - 2 - 5 - 9 　が第一解
1 - 2 - 5 - 10　が第二解
1 - 2 - 6 　　　が第三解

のように、このノードが先に優先して評価されていきます。2-5-9,10を評価して
いる時には7,8,11,12などは置いてきぼりの状態にあります。
これは幅優先ではありません。

**657** · 2013/03/21(木) 06:31:38.99

実際の手の読まれる順序ですね。

**デフォルトの名無しさん** · 2013/03/21(木) 10:44:06.29

>>657
私の求めていたアルゴリズムとは違うようですが、
これはこれで興味深いですので、何とか解読してみたいと思います。
ありがとうございました。

**デフォルトの名無しさん** · 2013/03/21(木) 21:35:47.92

大学で習ったから家でもやろうかと思い立ったが、やっぱり個人で無料の場合はswi-prologなのだろうか
ちなみに大学は有料の処理系つかってたみたい

**デフォルトの名無しさん** · 2013/03/21(木) 23:37:50.17

教官とそのソフトの業者がつるんでるんだろうな。
でなきゃ、Prologとして十分な機能を備えているswi-prologを避ける理由が分からん。

**デフォルトの名無しさん** · 2013/03/22(金) 07:06:47.14

>>661
ずっと以前のバージョンで日本語に不具合があったから、
というようなことが理由になっている場合が多いと思います。

**デフォルトの名無しさん** · 2013/04/02(火) 13:57:47.80

macでgnu prologやってみたいのですが、「gprolog-1.4.3.tar.gz.」をダウンロードしてからが
分かりません、どなたか教えていただけませんか

**デフォルトの名無しさん** · 2013/04/02(火) 21:34:37.35

GNU is Need Unix

**デフォルトの名無しさん** · 2013/04/03(水) 01:00:09.38

＞663
まさか解凍できないという話ではないでしょうね

**デフォルトの名無しさん** · 2013/04/03(水) 01:09:29.27

xcodeとコマンドラインツールズとhomebrewもいれららない世の中じゃ、ポイズン。

**デフォルトの名無しさん** · 2013/04/03(水) 21:02:14.22

ははあ、LC475かな。FPUというのがあってですね。

**デフォルトの名無しさん** · 2013/04/03(水) 22:00:36.89

Macportもどうぞ

**デフォルトの名無しさん** · 2013/05/18(土) 18:33:05.23

【論理力テスト】次の文章は正しいようで実は論理的に間違っています。どこがどうおかしいか貴方は説明できますか→「何度学校を変わってもいじめられるのは、いじめられる側に原因がある証拠だ」…答えは「感情自己責任論」で検索

**デフォルトの名無しさん** · 2013/05/18(土) 21:27:03.74

>>669
検索したが分からなかった。
あなた説明して。

∀Student[∀School{bullied(Student,School)→caused(Student)}]
全ての生徒について、その生徒があらゆる学校で虐められるならばその生徒に原因がある。

もしかして、反証可能な命題の提示ではあるが論理的な証明ではないとか言えば良い？

**670** · 2013/05/18(土) 21:45:08.12

違うか。

> ∀Student[∀School{bullied(Student,School)→caused(Student)}]
> 全ての生徒について、その生徒があらゆる学校で虐められるならばその生徒に原因がある。

∀Student[∀School{(enroll(Student,School)∧bullied(Student,School))→caused(Student)}]
全ての生徒について、その生徒が在学したあらゆる学校で虐められるならばその生徒に原因がある。

**デフォルトの名無しさん** · 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).

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