Message-ID:

A physicist is an atom's way of knowing about atoms. -- George Wald

devel / comp.lang.prolog / Finally (almost) got .... go CITY1 CITY2

Finally (almost) got .... go CITY1 CITY2

<461c6ad1-5a47-4e86-af9a-9b3252e0c292n@googlegroups.com>

https://news.novabbs.org/devel/article-flat.php?id=2020&group=comp.lang.prolog#2020

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:620a:4554:b0:74e:37dd:61a6 with SMTP id u20-20020a05620a455400b0074e37dd61a6mr3407101qkp.13.1683547977712;
Mon, 08 May 2023 05:12:57 -0700 (PDT)
X-Received: by 2002:a05:690c:733:b0:54f:ae82:3f92 with SMTP id
bt19-20020a05690c073300b0054fae823f92mr5898137ywb.2.1683547977500; Mon, 08
May 2023 05:12:57 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.goja.nl.eu.org!2.eu.feeder.erje.net!feeder.erje.net!feeder1.feed.usenet.farm!feed.usenet.farm!peer03.ams4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Mon, 8 May 2023 05:12:57 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2001:8004:11a0:2e:6839:fbf6:6e02:52f8;
posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 2001:8004:11a0:2e:6839:fbf6:6e02:52f8
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <461c6ad1-5a47-4e86-af9a-9b3252e0c292n@googlegroups.com>
Subject: Finally (almost) got .... go CITY1 CITY2
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Mon, 08 May 2023 12:12:57 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 3175

by: Graham Cooper - Mon, 8 May 2023 12:12 UTC

Took me all day to get

---------- BEGIN 6 ---------
rd FROM MID
5> FROM = 3
6>> MID = 5

its 1 step away from CITY 7

PROGRAM
=========
go FROM TO
:-
rd FROM TO

go FROM TO
:-
rd FROM MID
go MID TO

DATA
====
rd 1 3
rd 2 4
rd 3 5
rd 4 6
rd 5 7

TRACE
======

------ 1 0/0 -----
query :- go 1 7
------------

FROM ENV 1
---------- BEGIN 1 ---------
go 1 7
1>>> FROM = 1
1>>> TO = 7
FROMENV:1 BACKENV:1 ENV:1

------ 2 0/0 -----
go FROM TO :- rd FROM TO
------------

FROM ENV 2
---------- BEGIN 2 ---------
rd FROM TO
1> FROM = 1
1> TO = 7
****** 1 ******
FROM = 1 TO = 7
****************
****** 2 ******
FROM = 1 TO = 7
****************

PROGRAM 2

------ 3 1/1 -----
go FROM TO :- rd FROM MID go MID TO
------------

FROM ENV 3
---------- BEGIN 3 ---------
rd FROM MID
1> FROM = 1
3>> MID = 3

FROM ENV 4
---------- BEGIN 4 ---------
go MID TO
3> MID = 3
3> TO = 7
4>>> FROM = 3
4>>> TO = 7
FROMENV:4 BACKENV:4 ENV:4

------ 5 0/0 -----
go FROM TO :- rd FROM TO
------------

FROM ENV 5
---------- BEGIN 5 ---------
rd FROM TO
4> FROM = 3
4> TO = 7
****** 4 ******
FROM = 3 TO = 7
****************
****** 5 ******
FROM = 3 TO = 7
****************

PROGRAM 2

------ 6 1/1 -----
go FROM TO :- rd FROM MID go MID TO
------------

FROM ENV 6
---------- BEGIN 6 ---------
rd FROM MID
5> FROM = 3
6>> MID = 5

FROM ENV 7
---------- BEGIN 7 ---------
go MID TO
1> TO = 7
7>> MID = FROM
7>>> TO = 7
FROMENV:7 BACKENV:7 ENV:7

------ 8 0/0 -----
go FROM TO :- rd FROM TO
------------

FROM ENV 8
---------- BEGIN 8 ---------
rd FROM TO
8>> FROM = 1
8>> TO = 3
****** 7 ******
FROM = 1 TO = 7 MID = FROM
****************
****** 8 ******
FROM = 1 TO = 3
****************
****** 5 ******
FROM = 3 TO = 7
****************
****** 6 ******
FROM = 1 TO = 7 MID = 5
****************
****** 2 ******
FROM = 1 TO = 7
****************
****** 3 ******
FROM = 1 TO = 7 MID = 3
****************

YES

Subject	Author
Finally (almost) got .... go CITY1 CITY2	Graham Cooper