Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

If the facts don't fit the theory, change the facts. -- Albert Einstein


devel / comp.lang.prolog / *************************** miniPROLOG Finished ************************

SubjectAuthor
o *************************** miniPROLOG Finished ************************Graham Cooper

1
*************************** miniPROLOG Finished ************************

<3fabb90d-7dce-40fe-8930-9d20d30aca63n@googlegroups.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=9978&group=comp.lang.prolog#9978

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:447:b0:3ef:3395:de6a with SMTP id o7-20020a05622a044700b003ef3395de6amr7963355qtx.6.1683799955685;
Thu, 11 May 2023 03:12:35 -0700 (PDT)
X-Received: by 2002:a81:d44d:0:b0:55a:3c6c:773a with SMTP id
g13-20020a81d44d000000b0055a3c6c773amr11979104ywl.4.1683799955444; Thu, 11
May 2023 03:12:35 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.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: Thu, 11 May 2023 03:12:35 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2001:8004:11a0:db4:61a1:5820:187f:9f71;
posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 2001:8004:11a0:db4:61a1:5820:187f:9f71
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3fabb90d-7dce-40fe-8930-9d20d30aca63n@googlegroups.com>
Subject: *************************** miniPROLOG Finished ************************
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Thu, 11 May 2023 10:12:35 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 3176
 by: Graham Cooper - Thu, 11 May 2023 10:12 UTC

Finished Prolog Interpreter! yehhhh ... could be some tweaks
as i get more advanced programs in Prolog

will go LIVE soon few cosmetic changes

Now it DISPLAYS the path at the end

go FROM TO TO
:-
rd FROM TO

go FROM TO [ p FROM PTH ]
:-
rd FROM MID
go MID TO PTH

query :- go 1 7 PATH
-----------
---------- BEGIN 2 ---------
go 1 7 PATH
2>>> F = 1
2>>> T = 7
2>> PATH = P

RULE 1
3>> FROM = 1
3>> TO = 7

-----------
go FROM TO TO :- rd FROM TO
-----------
---------- BEGIN 4 ---------
rd FROM TO
3> FROM = 1
3> TO = 7
NOT FOUND

****** 3 ******
F = 1 T = 7 PATH = P FROM = 1 TO = 7
****************

RULE 2
5>> FROM = 1
5>> TO = 7
5>>> P = [ p FROM PTH ]

-----------
go FROM TO [ p FROM PTH ] :- rd FROM MID go MID TO PTH
-----------
---------- BEGIN 6 ---------
rd FROM MID
5> FROM = 1
6>> MID = 3
---------- BEGIN 7 ---------
go MID TO PTH
6> MID = 3
6> TO = 7
7>>> F = 3
7>>> T = 7
7>> PTH = FROM-->1
PTH-->PTH
[ p 1 PTH ]

RULE 1
8>> FROM = 3
8>> TO = 7

-----------
go FROM TO TO :- rd FROM TO
-----------
---------- BEGIN 9 ---------
rd FROM TO
8> FROM = 3
8> TO = 7
NOT FOUND

****** 8 ******
F = 3 T = 7 PTH = [ p 1 PTH ] FROM = 3 TO = 7
****************

RULE 2
10>> FROM = 3
10>> TO = 7
10>>> P = [ p FROM PTH ]

-----------
go FROM TO [ p FROM PTH ] :- rd FROM MID go MID TO PTH
-----------
---------- BEGIN 11 ---------
rd FROM MID
10> FROM = 3
11>> MID = 5
---------- BEGIN 12 ---------
go MID TO PTH
11> MID = 5
11> TO = 7
11> PTH = [ p 1 PTH ]
12>>> F = 5
12>>> T = 7
12>>> P = [ p 1 PTH ]

RULE 1
13>> FROM = 5
13>> TO = 7

-----------
go FROM TO TO :- rd FROM TO
-----------
---------- BEGIN 14 ---------
rd FROM TO
13> FROM = 5
13> TO = 7

****** 13 ******
F = 5 T = 7 P = [ p 1 PTH ] FROM = 5 TO = 7
****************

****** 10 ******
F = 3 T = 7 PTH = [ p 1 PTH ] FROM = 3 TO = 7 P = [ p FROM PTH ]
****************

****** 5 ******
F = 1 T = 7 PATH = P FROM = 1 TO = 7 P = [ p FROM PTH ]
****************

YES

PATH = [ p 5 [ p 1 PTH ] ]


devel / comp.lang.prolog / *************************** miniPROLOG Finished ************************

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor