@MSGID:
<d3aef80b-bb1c-4506-9cdb-fea1341259cfn@googlegroups.com> b8f794a6
@REPLY:
<20eb8a3b-cb6f-4c71-82a4-5ba89d94279bn@googlegroups.com> fa9c1b03
@REPLYADDR Graham Cooper
<gr4h4m.cooper@gmail.com>
@REPLYTO 2:5075/128 Graham Cooper
@CHRS: CP866 2
@RFC: 1 0
@RFC-References:
<20eb8a3b-cb6f-4c71-82a4-5ba89d94279bn@googlegroups.com>
@RFC-Message-ID:
<d3aef80b-bb1c-4506-9cdb-fea1341259cfn@googlegroups.com>
@TZUTC: -0700
@PID: G2/1.0
@TID: FIDOGATE-5.12-ge4e8b94
On Wednesday, May 17, 2023 at 10:19:17 PM UTC+10, Graham Cooper wrote:
> www.miniPROLOG.com 
> 
> Here is the map, try to go from 1 to 11 
> 
> rd 1 2 
> rd 2 3 
> rd 3 4 
> rd 4 5 
> rd 5 6 
> rd 3 10 
> rd 10 11 
> 
> ANSWER AT END 
> 
> 
> 
> 
> query :- go 1 11 PATH 
> ----------- 
> ---------- BEGIN 2 --------- 
> GOAL go 1 11 PATH 
> 2> F = 1 
> 2> T = 11 
> 2> PATH = P 
> TARGET go F T P 
> 
> ****** 2 ****** 
> F = 1 T = 11 PATH = P 
> **************** 
> BIND8 go 1 11 PATH 2 
> SET PATH = P 
> 
> RULE 1 
> 2> FROM = 1 
> 2> TO = 11 
> 2> P == 1 
> PATH == P ==> 1 
> MATCH1 go FROM TO FROM ---- go F T P 
> 2>> F = 1 
> 2>> T = 11 
> 2>> P = 1 
> RESET PATH = P 
> MATCH2 go FROM TO FROM ---- go 1 11 1 
> 
> ****** 2 ****** 
> F = 1 T = 11 PATH = P FROM = 1 TO = 11 P = 1 
> **************** 
> ----------- 
> go FROM TO FROM :- rd FROM TO 
> ----------- 
> ---------- BEGIN 3 --------- 
> 2>> FROM = 1 
> 2>> TO = 11 
> GOAL rd 1 11 
> NOT FOUND 
> 
> ****** 2 ****** 
> F = 1 T = 11 PATH = P FROM = 1 TO = 11 P = 1 
> **************** 
> 
> RULE 2 
> 
> ****** 2 ****** 
> F = 1 T = 11 PATH = P 
> **************** 
> BIND8 go 1 11 PATH 2 
> RESETTING PATH = P 
> SET PATH = P 
> SET PATH = P 
> 2> FROM = 1 
> 2> TO = 11 
> 2> P == 1 
> PATH == P ==> 1 
> 2> FROM = 1 
> 2> TO = 11 
> 2> P = [ p FROM PTH ] 
> PATH == P ==> [ p FROM PTH ] 
> MATCH1 go FROM TO [ p FROM PTH ] ---- go F T P 
> 2>> F = 1 
> 2>> T = 11 
> FROM-->1 
> PTH-->PTH 
> 2>> P = [ p 1 PTH ] 
> RESET PATH = P 
> MATCH2 go FROM TO [ p FROM PTH ] ---- go 1 11 [ p 1 PTH ] 
> 
> ****** 2 ****** 
> F = 1 T = 11 PATH = P FROM = 1 TO = 11 P = [ p 1 PTH ] 
> **************** 
> ----------- 
> go FROM TO [ p FROM PTH ] :- rd FROM MID go MID TO PTH 
> ----------- 
> ---------- BEGIN 4 --------- 
> 2>> FROM = 1 
> GOAL rd 1 MID 
> 4> MID = 2 
> PATH == P ==> [ p 1 PTH ] 
> TARGET rd 1 2 
> 
> ****** 4 ****** 
> F = 1 T = 11 PATH = [ p 1 PTH ] FROM = 1 TO = 11 P = [ p 1 PTH ] MID = 2 
> **************** 
> ---------- BEGIN 5 --------- 
> 4>> MID = 2 
> 4>> TO = 11 
> GOAL go 2 11 PTH 
> 5> F = 2 
> 5> T = 11 
> 5> PTH = P 
> TARGET go F T P 
> 
> ****** 5 ****** 
> F = 2 T = 11 PTH = P 
> **************** 
> BIND8 go 2 11 PTH 5 
> RESETTING PATH = P 
> SET PTH = P 
> 5>>> PARAMETER P = [ p 1 PTH ] 
> SET PATH = P 
> 5>>> PARAMETER P = [ p 1 PTH ] 
> 
> RULE 1 
> 5> FROM = 2 
> 5> TO = 11 
> 5> P == 2 
> PTH == P ==> 2 
> PATH == P ==> 2 
> MATCH1 go FROM TO FROM ---- go F T P 
> FETCH P = [ p 1 PTH ] 
> 5>> F = 2 
> 5>> T = 11 
> PTH-->2 
> 5>> P = [ p 1 2 ] 
> RESET PATH = P 
> RESET PTH = P 
> MATCH2 go FROM TO FROM ---- go 2 11 [ p 1 2 ] 
> 
> ****** 5 ****** 
> F = 2 T = 11 PTH = P PATH = P P = [ p 1 2 ] FROM = 2 TO = 11 
> **************** 
> ----------- 
> go FROM TO FROM :- rd FROM TO 
> ----------- 
> ---------- BEGIN 6 --------- 
> 5>> FROM = 2 
> 5>> TO = 11 
> GOAL rd 2 11 
> NOT FOUND 
> 
> ****** 5 ****** 
> F = 2 T = 11 PTH = P PATH = P P = [ p 1 2 ] FROM = 2 TO = 11 
> **************** 
> 
> RULE 2 
> 
> ****** 5 ****** 
> F = 2 T = 11 PTH = P PATH = P P = 
> **************** 
> BIND8 go 2 11 PTH 5 
> RESETTING PATH = P 
> RESETTING PTH = P 
> SET PTH = P 
> 5>>> PARAMETER P = [ p 1 PTH ] 
> SET PATH = P 
> 5>>> PARAMETER P = [ p 1 PTH ] 
> SET PTH = P 
> 5>>> PARAMETER P = [ p 1 PTH ] 
> 5> FROM = 2 
> 5> TO = 11 
> 5> P == 2 
> PTH == P ==> 2 
> PATH == P ==> 2 
> 5> FROM = 2 
> 5> TO = 11 
> 5> P = [ p FROM PTH ] 
> PTH == P ==> [ p FROM PTH ] 
> PATH == P ==> [ p FROM PTH ] 
> MATCH1 go FROM TO [ p FROM PTH ] ---- go F T P 
> FETCH P = [ p 1 PTH ] 
> 5>> F = 2 
> 5>> T = 11 
> FROM-->2 
> PTH-->[ p 2 PTH ] 
> 5>> P = [ p 1 [ p 2 PTH ] ] 
> RESET PATH = P 
> RESET PTH = P 
> MATCH2 go FROM TO [ p FROM PTH ] ---- go 2 11 [ p 1 [ p 2 PTH ] ] 
> 
> ****** 5 ****** 
> F = 2 T = 11 PTH = P PATH = P P = [ p 1 [ p 2 PTH ] ] FROM = 2 TO = 11 
> **************** 
> ----------- 
> go FROM TO [ p FROM PTH ] :- rd FROM MID go MID TO PTH 
> ----------- 
> ---------- BEGIN 7 --------- 
> 5>> FROM = 2 
> GOAL rd 2 MID 
> 7> MID = 3 
> PTH == P ==> [ p 1 [ p 2 PTH ] ] 
> PATH == P ==> [ p 1 [ p 2 PTH ] ] 
> TARGET rd 2 3 
> 
> ****** 7 ****** 
 > F = 2 T = 11 PTH = [ p 1 [ p 2 PTH ] ] PATH = [ p 1 [
p 2 PTH ] ] P = [ p 1 [ p 2 PTH ] ] FROM = 2 TO = 11 MID =
3 
> **************** 
> ---------- BEGIN 8 --------- 
> 7>> MID = 3 
> 7>> TO = 11 
> 7>> PTH = [ p 1 [ p 2 PTH ] ] 
> GOAL go 3 11 [ p 1 [ p 2 PTH ] ] 
> 8> F = 3 
> 8> T = 11 
> 8> P = [ p 1 [ p 2 PTH ] ] 
> TARGET go F T P 
> 
> ****** 8 ****** 
> F = 3 T = 11 P = [ p 1 [ p 2 PTH ] ] 
> **************** 
> BIND8 go 3 11 [ p 1 [ p 2 PTH ] ] 8 
> RESETTING PATH = P 
> RESETTING PTH = P 
> SET PATH = P 
> 8>>> PARAMETER P = [ p 1 [ p 2 PTH ] ] 
> SET PTH = P 
> 8>>> PARAMETER P = [ p 1 [ p 2 PTH ] ] 
> 
> RULE 1 
> 8> FROM = 3 
> 8> TO = 11 
> 8> P == 3 
> PATH == P ==> 3 
> PTH == P ==> 3 
> MATCH1 go FROM TO FROM ---- go F T P 
> FETCH P = [ p 1 [ p 2 PTH ] ] 
> 8>> F = 3 
> 8>> T = 11 
> PTH-->3 
> 8>> P = [ p 1 [ p 2 3 ] ] 
> RESET PATH = P 
> RESET PTH = P 
> MATCH2 go FROM TO FROM ---- go 3 11 [ p 1 [ p 2 3 ] ] 
> 
> ****** 8 ****** 
> F = 3 T = 11 P = [ p 1 [ p 2 3 ] ] PATH = P PTH = P FROM = 3 TO = 11 
> **************** 
> ----------- 
> go FROM TO FROM :- rd FROM TO 
> ----------- 
> ---------- BEGIN 9 --------- 
> 8>> FROM = 3 
> 8>> TO = 11 
> GOAL rd 3 11 
> NOT FOUND 
> 
> ****** 8 ****** 
> F = 3 T = 11 P = [ p 1 [ p 2 3 ] ] PATH = P PTH = P FROM = 3 TO = 11 
> **************** 
> 
> RULE 2 
> 
> ****** 8 ****** 
> F = 3 T = 11 P = PATH = P PTH = P 
> **************** 
> BIND8 go 3 11 [ p 1 [ p 2 PTH ] ] 8 
> RESETTING PATH = P 
> RESETTING PTH = P 
> SET PATH = P 
> 8>>> PARAMETER P = [ p 1 [ p 2 PTH ] ] 
> SET PTH = P 
> 8>>> PARAMETER P = [ p 1 [ p 2 PTH ] ] 
> 8> FROM = 3 
> 8> TO = 11 
> 8> P == 3 
> PATH == P ==> 3 
> PTH == P ==> 3 
> 8> FROM = 3 
> 8> TO = 11 
> 8> P = [ p FROM PTH ] 
> PATH == P ==> [ p FROM PTH ] 
> PTH == P ==> [ p FROM PTH ] 
> MATCH1 go FROM TO [ p FROM PTH ] ---- go F T P 
> FETCH P = [ p 1 [ p 2 PTH ] ] 
> 8>> F = 3 
> 8>> T = 11 
> FROM-->3 
> PTH-->[ p 3 PTH ] 
> 8>> P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> RESET PATH = P 
> RESET PTH = P 
> MATCH2 go FROM TO [ p FROM PTH ] ---- go 3 11 [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> 
> ****** 8 ****** 
 > F = 3 T = 11 P = [ p 1 [ p 2 [ p 3 PTH ] ] ] PATH =
P PTH = P FROM = 3 TO = 11 
> **************** 
> ----------- 
> go FROM TO [ p FROM PTH ] :- rd FROM MID go MID TO PTH 
> ----------- 
> ---------- BEGIN 10 --------- 
> 8>> FROM = 3 
> GOAL rd 3 MID 
> 10> MID = 4 
> PATH == P ==> [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> PTH == P ==> [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> TARGET rd 3 4 
> 
> ****** 10 ****** 
 > F = 3 T = 11 P = [ p 1 [ p 2 [ p 3 PTH ] ] ] PATH =
[ p 1 [ p 2 [ p 3 PTH ] ] ] PTH = [ p 1 [ p 2 [ p 3 PTH
] ] ] FROM = 3 TO = 11 MID = 4 
> **************** 
> ---------- BEGIN 11 --------- 
> 10>> MID = 4 
> 10>> TO = 11 
> 10>> PTH = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> GOAL go 4 11 [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> 11> F = 4 
> 11> T = 11 
> 11> P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> TARGET go F T P 
> 
> ****** 11 ****** 
> F = 4 T = 11 P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> **************** 
> BIND8 go 4 11 [ p 1 [ p 2 [ p 3 PTH ] ] ] 11 
> RESETTING PATH = P 
> RESETTING PTH = P 
> SET PATH = P 
> 11>>> PARAMETER P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> SET PTH = P 
> 11>>> PARAMETER P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> 
> RULE 1 
> 11> FROM = 4 
> 11> TO = 11 
> 11> P == 4 
> PATH == P ==> 4 
> PTH == P ==> 4 
> MATCH1 go FROM TO FROM ---- go F T P 
> FETCH P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> 11>> F = 4 
> 11>> T = 11 
> PTH-->4 
> 11>> P = [ p 1 [ p 2 [ p 3 4 ] ] ] 
> RESET PATH = P 
> RESET PTH = P 
> MATCH2 go FROM TO FROM ---- go 4 11 [ p 1 [ p 2 [ p 3 4 ] ] ] 
> 
> ****** 11 ****** 
> F = 4 T = 11 P = [ p 1 [ p 2 [ p 3 4 ] ] ] PATH = P PTH = P FROM = 4 TO = 11 
> **************** 
> ----------- 
> go FROM TO FROM :- rd FROM TO 
> ----------- 
> ---------- BEGIN 12 --------- 
> 11>> FROM = 4 
> 11>> TO = 11 
> GOAL rd 4 11 
> NOT FOUND 
> 
> ****** 11 ****** 
> F = 4 T = 11 P = [ p 1 [ p 2 [ p 3 4 ] ] ] PATH = P PTH = P FROM = 4 TO = 11 
> **************** 
> 
> RULE 2 
> 
> ****** 11 ****** 
> F = 4 T = 11 P = PATH = P PTH = P 
> **************** 
> BIND8 go 4 11 [ p 1 [ p 2 [ p 3 PTH ] ] ] 11 
> RESETTING PATH = P 
> RESETTING PTH = P 
> SET PATH = P 
> 11>>> PARAMETER P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> SET PTH = P 
> 11>>> PARAMETER P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> 11> FROM = 4 
> 11> TO = 11 
> 11> P == 4 
> PATH == P ==> 4 
> PTH == P ==> 4 
> 11> FROM = 4 
> 11> TO = 11 
> 11> P = [ p FROM PTH ] 
> PATH == P ==> [ p FROM PTH ] 
> PTH == P ==> [ p FROM PTH ] 
> MATCH1 go FROM TO [ p FROM PTH ] ---- go F T P 
> FETCH P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> 11>> F = 4 
> 11>> T = 11 
> FROM-->4 
> PTH-->[ p 4 PTH ] 
> 11>> P = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> RESET PATH = P 
> RESET PTH = P 
 > MATCH2 go FROM TO [ p FROM PTH ] ---- go 4 11 [ p 1 [ p 2
[ p 3 [ p 4 PTH ] ] ] ] 
> 
> ****** 11 ****** 
 > F = 4 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ]
] PATH = P PTH = P FROM = 4 TO = 11 
> **************** 
> ----------- 
> go FROM TO [ p FROM PTH ] :- rd FROM MID go MID TO PTH 
> ----------- 
> ---------- BEGIN 13 --------- 
> 11>> FROM = 4 
> GOAL rd 4 MID 
> 13> MID = 5 
> PATH == P ==> [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> PTH == P ==> [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> TARGET rd 4 5 
> 
> ****** 13 ****** 
 > F = 4 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ]
] PATH = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] PTH = [ p 1
[ p 2 [ p 3 [ p 4 PTH ] ] ] ] FROM = 4 TO = 11 MID = 5 
> **************** 
> ---------- BEGIN 14 --------- 
> 13>> MID = 5 
> 13>> TO = 11 
> 13>> PTH = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> GOAL go 5 11 [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> 14> F = 5 
> 14> T = 11 
> 14> P = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> TARGET go F T P 
> 
> ****** 14 ****** 
> F = 5 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> **************** 
> BIND8 go 5 11 [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 14 
> RESETTING PATH = P 
> RESETTING PTH = P 
> SET PATH = P 
> 14>>> PARAMETER P = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> SET PTH = P 
> 14>>> PARAMETER P = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> 
> RULE 1 
> 14> FROM = 5 
> 14> TO = 11 
> 14> P == 5 
> PATH == P ==> 5 
> PTH == P ==> 5 
> MATCH1 go FROM TO FROM ---- go F T P 
> FETCH P = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> 14>> F = 5 
> 14>> T = 11 
> PTH-->5 
> 14>> P = [ p 1 [ p 2 [ p 3 [ p 4 5 ] ] ] ] 
> RESET PATH = P 
> RESET PTH = P 
> MATCH2 go FROM TO FROM ---- go 5 11 [ p 1 [ p 2 [ p 3 [ p 4 5 ] ] ] ] 
> 
> ****** 14 ****** 
 > F = 5 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 5 ] ] ] ]
PATH = P PTH = P FROM = 5 TO = 11 
> **************** 
> ----------- 
> go FROM TO FROM :- rd FROM TO 
> ----------- 
> ---------- BEGIN 15 --------- 
> 14>> FROM = 5 
> 14>> TO = 11 
> GOAL rd 5 11 
> NOT FOUND 
> 
> ****** 14 ****** 
 > F = 5 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 5 ] ] ] ]
PATH = P PTH = P FROM = 5 TO = 11 
> **************** 
> 
> RULE 2 
> 
> ****** 14 ****** 
> F = 5 T = 11 P = PATH = P PTH = P 
> **************** 
> BIND8 go 5 11 [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 14 
> RESETTING PATH = P 
> RESETTING PTH = P 
> SET PATH = P 
> 14>>> PARAMETER P = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> SET PTH = P 
> 14>>> PARAMETER P = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> 14> FROM = 5 
> 14> TO = 11 
> 14> P == 5 
> PATH == P ==> 5 
> PTH == P ==> 5 
> 14> FROM = 5 
> 14> TO = 11 
> 14> P = [ p FROM PTH ] 
> PATH == P ==> [ p FROM PTH ] 
> PTH == P ==> [ p FROM PTH ] 
> MATCH1 go FROM TO [ p FROM PTH ] ---- go F T P 
> FETCH P = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> 14>> F = 5 
> 14>> T = 11 
> FROM-->5 
> PTH-->[ p 5 PTH ] 
> 14>> P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> RESET PATH = P 
> RESET PTH = P 
 > MATCH2 go FROM TO [ p FROM PTH ] ---- go 5 11 [ p 1 [ p 2
[ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> 
> ****** 14 ****** 
 > F = 5 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH
] ] ] ] ] PATH = P PTH = P FROM = 5 TO = 11 
> **************** 
> ----------- 
> go FROM TO [ p FROM PTH ] :- rd FROM MID go MID TO PTH 
> ----------- 
> ---------- BEGIN 16 --------- 
> 14>> FROM = 5 
> GOAL rd 5 MID 
> 16> MID = 6 
> PATH == P ==> [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> PTH == P ==> [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> TARGET rd 5 6 
> 
> ****** 16 ****** 
 > F = 5 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH
] ] ] ] ] PATH = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ]
] ] PTH = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ]
FROM = 5 TO = 11 MID = 6 
> **************** 
> ---------- BEGIN 17 --------- 
> 16>> MID = 6 
> 16>> TO = 11 
> 16>> PTH = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> GOAL go 6 11 [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> 17> F = 6 
> 17> T = 11 
> 17> P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> TARGET go F T P 
> 
> ****** 17 ****** 
> F = 6 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> **************** 
> BIND8 go 6 11 [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 17 
> RESETTING PATH = P 
> RESETTING PTH = P 
> SET PATH = P 
> 17>>> PARAMETER P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> SET PTH = P 
> 17>>> PARAMETER P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> 
> RULE 1 
> 17> FROM = 6 
> 17> TO = 11 
> 17> P == 6 
> PATH == P ==> 6 
> PTH == P ==> 6 
> MATCH1 go FROM TO FROM ---- go F T P 
> FETCH P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> 17>> F = 6 
> 17>> T = 11 
> PTH-->6 
> 17>> P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 6 ] ] ] ] ] 
> RESET PATH = P 
> RESET PTH = P 
> MATCH2 go FROM TO FROM ---- go 6 11 [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 6 ] ] ] ] ] 
> 
> ****** 17 ****** 
 > F = 6 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 6 ]
] ] ] ] PATH = P PTH = P FROM = 6 TO = 11 
> **************** 
> ----------- 
> go FROM TO FROM :- rd FROM TO 
> ----------- 
> ---------- BEGIN 18 --------- 
> 17>> FROM = 6 
> 17>> TO = 11 
> GOAL rd 6 11 
> NOT FOUND 
> 
> ****** 17 ****** 
 > F = 6 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 6 ]
] ] ] ] PATH = P PTH = P FROM = 6 TO = 11 
> **************** 
> 
> RULE 2 
> 
> ****** 17 ****** 
> F = 6 T = 11 P = PATH = P PTH = P 
> **************** 
> BIND8 go 6 11 [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 17 
> RESETTING PATH = P 
> RESETTING PTH = P 
> SET PATH = P 
> 17>>> PARAMETER P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> SET PTH = P 
> 17>>> PARAMETER P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> 17> FROM = 6 
> 17> TO = 11 
> 17> P == 6 
> PATH == P ==> 6 
> PTH == P ==> 6 
> 17> FROM = 6 
> 17> TO = 11 
> 17> P = [ p FROM PTH ] 
> PATH == P ==> [ p FROM PTH ] 
> PTH == P ==> [ p FROM PTH ] 
> MATCH1 go FROM TO [ p FROM PTH ] ---- go F T P 
> FETCH P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> 17>> F = 6 
> 17>> T = 11 
> FROM-->6 
> PTH-->[ p 6 PTH ] 
> 17>> P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 [ p 6 PTH ] ] ] ] ] ] 
> RESET PATH = P 
> RESET PTH = P 
 > MATCH2 go FROM TO [ p FROM PTH ] ---- go 6 11 [ p 1 [ p 2
[ p 3 [ p 4 [ p 5 [ p 6 PTH ] ] ] ] ] ] 
> 
> ****** 17 ****** 
 > F = 6 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 [ p
6 PTH ] ] ] ] ] ] PATH = P PTH = P FROM = 6 TO = 11 
> **************** 
> ----------- 
> go FROM TO [ p FROM PTH ] :- rd FROM MID go MID TO PTH 
> ----------- 
> ---------- BEGIN 19 --------- 
> 17>> FROM = 6 
> GOAL rd 6 MID 
> NOT FOUND 
> 
> ****** 17 ****** 
 > F = 6 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 [ p
6 PTH ] ] ] ] ] ] PATH = P PTH = P FROM = 6 TO = 11 
> **************** 
> NOT FOUND 
> BACKTRACK 
> 
> BACKTRACK ENV: 14 PREVPOP: 16 
> backtrack params P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH ] ] ] ] ] 
> backtrack reset PATH = P 
> backtrack reset PTH = P 
> NOT FOUND 
> 
> ****** 14 ****** 
 > F = 5 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 [ p 5 PTH
] ] ] ] ] PATH = P PTH = P FROM = 5 TO = 11 
> **************** 
> NOT FOUND 
> BACKTRACK 
> 
> BACKTRACK ENV: 11 PREVPOP: 13 
> backtrack params P = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ] ] 
> backtrack reset PATH = P 
> backtrack reset PTH = P 
> NOT FOUND 
> 
> ****** 11 ****** 
 > F = 4 T = 11 P = [ p 1 [ p 2 [ p 3 [ p 4 PTH ] ] ]
] PATH = P PTH = P FROM = 4 TO = 11 
> **************** 
> NOT FOUND 
> BACKTRACK 
> 
> BACKTRACK ENV: 8 PREVPOP: 10 
> backtrack params P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> backtrack reset PATH = P 
> backtrack reset PTH = P 
> 8> MID = 10 
> PATH == P ==> [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> PTH == P ==> [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> TARGET rd 3 10 
> 
> ****** 8 ****** 
 > F = 3 T = 11 P = [ p 1 [ p 2 [ p 3 PTH ] ] ] PATH =
[ p 1 [ p 2 [ p 3 PTH ] ] ] PTH = [ p 1 [ p 2 [ p 3 PTH
] ] ] FROM = 3 TO = 11 MID = 10 
> **************** 
> ---------- BEGIN 20 --------- 
> 8>> MID = 10 
> 8>> TO = 11 
> 8>> PTH = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> GOAL go 10 11 [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> 20> F = 10 
> 20> T = 11 
> 20> P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> TARGET go F T P 
> 
> ****** 20 ****** 
> F = 10 T = 11 P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> **************** 
> BIND8 go 10 11 [ p 1 [ p 2 [ p 3 PTH ] ] ] 20 
> FETCH2 P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> RESETTING PATH = P 
> RESETTING PTH = P 
> SET PATH = P 
> 20>>> PARAMETER P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> SET PTH = P 
> 20>>> PARAMETER P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> 
> RULE 1 
> 20> FROM = 10 
> 20> TO = 11 
> 20> P == 10 
> PATH == P ==> 10 
> PTH == P ==> 10 
> MATCH1 go FROM TO FROM ---- go F T P 
> FETCH P = [ p 1 [ p 2 [ p 3 PTH ] ] ] 
> 20>> F = 10 
> 20>> T = 11 
> PTH-->10 
> 20>> P = [ p 1 [ p 2 [ p 3 10 ] ] ] 
> RESET PATH = P 
> RESET PTH = P 
> MATCH2 go FROM TO FROM ---- go 10 11 [ p 1 [ p 2 [ p 3 10 ] ] ] 
> 
> ****** 20 ****** 
 > F = 10 T = 11 P = [ p 1 [ p 2 [ p 3 10 ] ] ] PATH =
P PTH = P FROM = 10 TO = 11 
> **************** 
> ----------- 
> go FROM TO FROM :- rd FROM TO 
> ----------- 
> ---------- BEGIN 21 --------- 
> 20>> FROM = 10 
> 20>> TO = 11 
> GOAL rd 10 11 
> PATH == P ==> [ p 1 [ p 2 [ p 3 10 ] ] ] 
> PTH == P ==> [ p 1 [ p 2 [ p 3 10 ] ] ] 
> TARGET rd 10 11 
> 
> ****** 21 ****** 
 > F = 10 T = 11 P = [ p 1 [ p 2 [ p 3 10 ] ] ] PATH =
[ p 1 [ p 2 [ p 3 10 ] ] ] PTH = [ p 1 [ p 2 [ p 3 10 ]
] ] FROM = 10 TO = 11 
> **************** 
> 
> ****** 20 ****** 
 > F = 10 T = 11 P = [ p 1 [ p 2 [ p 3 10 ] ] ] PATH =
P PTH = P FROM = 10 TO = 11 
> **************** 
> 
> ****** 8 ****** 
 > F = 3 T = 11 P = [ p 1 [ p 2 [ p 3 PTH ] ] ] PATH =
[ p 1 [ p 2 [ p 3 PTH ] ] ] PTH = [ p 1 [ p 2 [ p 3 PTH
] ] ] FROM = 3 TO = 11 MID = 10 
> **************** 
> 
> ****** 5 ****** 
> F = 2 T = 11 PTH = P PATH = P P = [ p 1 [ p 2 PTH ] ] FROM = 2 TO = 11 
> **************** 
> 
> ****** 2 ****** 
> F = 1 T = 11 PATH = P FROM = 1 TO = 11 P = [ p 1 PTH ] 
> **************** 
> 
> 
> YES 
> 
> PATH = [ p 1 [ p 2 [ p 3 10 ] ] ]
--- G2/1.0
 * Origin: usenet.network (2:5075/128)
SEEN-BY: 5001/100 5005/49 5015/255 5019/40 5020/715
848 1042 4441 12000
SEEN-BY: 5030/49 1081 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441