- 1 名前：デフォルトの名無しさん mailto:sage [2009/02/25(水) 20:23:54 ]
- 過去スレ
Prologでまったり Part3
pc11.2ch.net/test/read.cgi/tech/1193354806/
PrologでまったりPart 2
pc11.2ch.net/test/read.cgi/tech/1102664221/
Prolog でまったり
pc5.2ch.net/test/read.cgi/tech/976462999/
リンク集
www.summa.jp/lang/logic/prolog.htm
bach.istc.kobe-u.ac.jp/prolog/
チュートリアル
www.amzi.com/AdventureInProlog/
computing.unn.ac.uk/staff/cgpb4/prologbook/
www.intranet.csupomona.edu/~jrfisher/www/prolog_tutorial/pt_framer.html
bach.istc.kobe-u.ac.jp/prolog/intro/
www.geocities.jp/m_hiroi/prolog/
www.asahi-net.or.jp/~JF1T-YSD/prologV2/
- 652 名前：デフォルトの名無しさん mailto:sage [2009/12/01(火) 06:25:46 ]
- >>648
典型的には、
p(quit,_).
p(A,X) :- q(A,X).
p(A,X) :- q(A,_),!,r(A,B),p(B,X).
p(A,X) :- s(A,C),p(C,X).
のような定義かな。
完全にこの形式のものとなると少ないでしょう。
- 653 名前：デフォルトの名無しさん mailto:sage [2009/12/01(火) 06:38:12 ]
- p(quit,_).
p(A,X) :- q(A,X).
p(A,X) :- q(A,B),!,p(B,X).
p(A,X) :- s(A,C),p(C,X).
という場合も多いのかな。q/2の中の副作用だけ取り除いた、
q2/2を定義して、
p(quit,_).
p(A,X) :- q(A,X).
p(A,X) :- q2(A,B),!,p(B,X).
p(A,X) :- s(A,C),p(C,X).
も考えられる。
- 654 名前：デフォルトの名無しさん mailto:sage [2009/12/01(火) 07:05:59 ]
- 一般型ということになると、
p(quit,_,[]).
p(A,X,[]) :- q(A,X).
p(A,X,[A|R]) :- q(A,B),!,p(B,X,R).
p(A,X,L) :- s(A,C),p(C,X,L).
も有力。
- 655 名前：デフォルトの名無しさん mailto:sage [2009/12/01(火) 07:25:06 ]
- >>654 まちがえたのかな
p(quit,_,[]).
p(A,X,[A]) :- q(A,X).
p(A,X,[A|R]) :- q(A,B),!,p(B,X,R).
p(A,X,L) :- s(A,C),p(C,X,L).
第二節を訂正した。Xが取れた時に、収集リストのなかにAが
存在する必要がある。
|
 |
