Re: [Q] backtrack

Article View: fj.lang.prolog

Article #26

#26

From: Eiji Sugino
Date: Mon, 14 Jul 1997 00:00

25 lines
1270 bytes


In article <r4rad2ropr.fsf@zetton.chino.it.okayama-u.ac.jp> Kushi Tadasi <kushi@chino.it.okayama-u.ac.jp> writes:

 >$B$=$3$G!"%+%C%H(B$B$r$$$l$F!"%P%C%/%H%i%C%/$r@)8B$7$?$H$3$m!"(B
 >$BK>$^$7$$7k2L$,F@$i$l$^$7$?!#(B
 >
 >----------------
 >foo(X) :- foo_sub(1, X).
 >
 >foo_sub(1, 1) :- !.
 >
 >foo_sub(_, X) :- foo(X).
 >----------------

$B$3$l(B$B$@$H!"(BX $B$,(B1$B0J30$@$H(B

?- foo(2).
      foo_sub(1,2)
        foo(2). 
           .....

$B$N$h$&$K;_$^$i$J(B$B$/$J$j$^$9!#(B
======================================================
$B?yLn1IFs(B   $BKLN&@hC<2J3X5;=QBg3X1!(B$BBg3X(B $B>pJs2J3X8&5f2J(B

Technical Details

Message-ID: <SUGINO.97Jul14205744@amethyst.jaist.ac.jp>

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

References:

<r4en941yat.fsf@zetton.chino.it.okayama-u.ac.jp> <YUKITA-N.97Jul12231748@ryo2115.is.aist-nara.ac.jp> <YUKITA-N.97Jul13122835@ryo2115.is.aist-nara.ac.jp> <r4rad2ropr.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: sugino@jaist.ac.jp (Eiji Sugino)
Subject: Re: [Q] backtrack
Date: 1997/07/14
Message-ID: <SUGINO.97Jul14205744@amethyst.jaist.ac.jp>
X-Deja-AN: 256802390
References: <r4en941yat.fsf@zetton.chino.it.okayama-u.ac.jp> <YUKITA-N.97Jul12231748@ryo2115.is.aist-nara.ac.jp> <YUKITA-N.97Jul13122835@ryo2115.is.aist-nara.ac.jp> <r4rad2ropr.fsf@zetton.chino.it.okayama-u.ac.jp>
Organization: Japan Advanced Institute of Science and Technology, Ishikawa, Japan
Newsgroups: fj.lang.prolog

Reply to Parent Message