🚀 go-pugleaf

nakashim@etl.go.jp (Hideyuki Nakashima) writes:
>$@$G$b(JWARPLAN$@$O(J
>
>	$@=i4|!'(J(and (on a b) (on b table) (on c table))
>	$@:G=*!'(J(and (on a b) (on b c) (on c table))
>
>$@$O2r$1$^$;$s$h$M!%(J (on a b)$@$r0lEY2u$5$J$$$H$$$1$J$$!%(J

$@;d$N<j85$K$"$k(J WARPLAN $@$b$I$-$G$O!$(J 
given(start, a on b).      given(start, b on floor).
given(start, c on floor).  given(start, clear(a)).
given(start, clear(c)).

| ?- plans(a on b & b on c, start).

$@$G(J start:move(a,b,floor):move(b,floor,c):move(a,floor,b).
$@$H2r$1$^$7$?!%$D$$$G$K(J
given(start, c on a).    given(start, a on floor).
given(start, b on c).    given(start, clear(b)).
$@$G$b$d$C$F$_$^$7$?$,(J$@!$(J
start:move(b,c,floor):move(c,a,floor):move(b,floor,c):move(a,floor,b).
$@$H2r$1$^$7$?!%(J

$@$b$A$m$s!$%*(J$@%j%8%J%k$N(J WARPLAN $@$G$O$J$$$N$G!$(J
$@%*%j%8%J%k$G$O2r$1$J$$$N$+$bCN$l$^$;$s!%(J

					$@0k:j=(<y!!#N#T#T4pAC(J$@8&(J