Re: [Q] backtrack

Article View: fj.lang.prolog

Article #23

#23

From: NAKATSUKA, Yukitaka---"Z.OOL."
Date: Sat, 12 Jul 1997 00:00

30 lines
1568 bytes

$B$I$&$b!"#Z!%#O#O#L!%!wF`NI@hC<Bg$G$9!#(B

<r4en941yat.fsf@zetton.chino.it.okayama-u.ac.jp>$B$NCf$G(B,
    Kushi Tadasi <kushi@chino.it.okayama-u.ac.jp> $B$5$s[)$/(B:
=> $B%P%C%/%H%i%C%/$K4X$9$k<ALd$G$9!#(B
...
=> | ?- foo(X).
=> 
=> X = 1 ? ;
=> 
=> X = 1 ? ;
...
=> $B$H$$$&$h$&$J7k2L$K$J$k(B foo(X) $B$r5-=R$9$k$3$H$O2DG=$G$7$g$&$+!)(B
=> $B$^$?!"2DG=$G$"$l$P!"$I$N$h$&$J9=B$$r$7$F$$$k$N$G$7$g$&$+!)(B

$B<!$N$h$&$JJ*$G$O$I$&$G$7$g$&!)(B

foo(1).
foo(X):-bar(X).
bar(1).
bar(X):-foo(X).

?-foo(X). $B$G!"6z$5$s$N$*$C$7$c$k7k2L$,F@$i$l$^$9!#(B
--------
[$BL>A0(B]: $B#Z#8#0!]#O#O#L#O#N#G!w<+A38@8l(B.$B>pJs=hM}(B.$B>pJs2J3X(B.$BF`NI@hC<Bg(B.$B3X=Q(B.$BF|K\(B
[E-mail]: yukita-n@is.aist-nara.ac.jp, [$B?&6H(B]: $BE\Es$N$/$k$/$kBg3X1!@8(B
[Web-URL]: http://cactus.aist-nara.ac.jp/student/yukita-n/index.html
                $B!V:#F|$N3$$O$^$k$G?2@E$^$C$?Ap86$N$h$&$KFd$$$G$$$^$9$M!#(B(C)$B!W(B
                                  Talking Of World-wide Network Systems......

Technical Details

Message-ID: <YUKITA-N.97Jul12231748@ryo2115.is.aist-nara.ac.jp>

Path: arc1-ca.pugleaf.net!unknown!not-for-mail

References: <r4en941yat.fsf@zetton.chino.it.okayama-u.ac.jp>

Show Full Headers

Complete Article Headers

X-Google-Language: Japanese,JIS
X-Google-Thread: 1217ff,6a726916b6ac4f43
X-Google-Attributes: gid1217ff,public
From: yukita-n@is.aist-nara.ac.jp (NAKATSUKA, Yukitaka---"Z.OOL.")
Subject: Re: [Q] backtrack
Date: 1997/07/12
Message-ID: <YUKITA-N.97Jul12231748@ryo2115.is.aist-nara.ac.jp>
X-Deja-AN: 256404301
Dnas-Posting-Host: ryo2115.aist-nara.ac.jp
References: <r4en941yat.fsf@zetton.chino.it.okayama-u.ac.jp>
Organization: Nara Institute of Science and Technology (Domitory 2-115)
Newsgroups: fj.lang.prolog

Reply to Parent Message