Rocksolid Light - comp.lang.prolog - PROGRESS ............... friendOfNiece( tom , F )

PROGRESS ............... friendOfNiece( tom , F )

<b192096d-850f-40dd-a6f6-5f1c2070a7d9n@googlegroups.com>

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

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:ac8:5c45:0:b0:3ef:47d1:70f6 with SMTP id j5-20020ac85c45000000b003ef47d170f6mr250977qtj.0.1681986263795;
Thu, 20 Apr 2023 03:24:23 -0700 (PDT)
X-Received: by 2002:a81:bc0c:0:b0:54f:a1cd:d0dc with SMTP id
a12-20020a81bc0c000000b0054fa1cdd0dcmr355176ywi.6.1681986263432; Thu, 20 Apr
2023 03:24:23 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Thu, 20 Apr 2023 03:24:23 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2001:8004:11a0:34c6:4d50:930a:fbdf:8c6a;
posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 2001:8004:11a0:34c6:4d50:930a:fbdf:8c6a
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b192096d-850f-40dd-a6f6-5f1c2070a7d9n@googlegroups.com>
Subject: PROGRESS ............... friendOfNiece( tom , F )
From: grahamcooper7@gmail.com (Graham Cooper)
Injection-Date: Thu, 20 Apr 2023 10:24:23 +0000
Content-Type: text/plain; charset="UTF-8"

by: Graham Cooper - Thu, 20 Apr 2023 10:24 UTC

after 2 months fixed the prolog bug

DATA.txt

bro tom brad <-------------- try 1
friend brad fredy
bro tom bill <----------------try 2
friend bill fry
friend fry fryfry
rich gaga
pretty gaga
old gaga
daughter brad shelly
friend dob ellen <--------answer
daughter bill dob

PROGRAMS.txt

niece P NIECE
bro P BRO
daughter BRO NIECE

fon P F
niece P N
friend N F

you ask FRIENDOFNIECE tom X ?

and it finds 2 nieces until it finds a friend of one... after the ORANGE BOX it backtracks to re-run NIECE P N
it tries tom's other brother

fon tom X
fon P F

tom >> P
X << F
X >> F
P===tom
F===X

FIND : fon . tom . X .

TAILNUM 2-1 niece P N
P=<=tom
TAILQUERY: niece..tom..N

TAILFIND : niece . tom . N .
niece tom N
niece P NIECE

NIECE ::= N
N ::== NIECE

TAILNUM 1-1 bro P BRO
P=<=tom
TAILQUERY: bro..tom..BRO

TAILFIND : bro . tom . BRO .
bro tom BRO
bro tom brad

P ::== tom
BRO ::== brad

TAILNUM 1-2 daughter BRO NIECE
BRO=<=brad
TAILQUERY: daughter..brad..NIECE

TAILFIND : daughter . brad . NIECE .
daughter brad NIECE
daughter brad shelly

BRO ::== brad
NIECE ::== shelly
CALLTAIL:0
CALLTAIL:2

TAILNUM 2-2 friend N F
N=<=shelly
TAILQUERY: friend..shelly..F

TAILFIND : friend . shelly . F .
friend shelly F

ANS -1
2-2 friend N F
P=<=tom
TAILQUERY: bro..tom..BRO

TAILFIND : bro . tom . BRO .
bro tom BRO
bro tom bill

P ::== tom
BRO ::== bill

TAILNUM 1-2 daughter BRO NIECE
BRO=<=bill
TAILQUERY: daughter..bill..NIECE

TAILFIND : daughter . bill . NIECE .
daughter bill NIECE
daughter bill dob

BRO ::== bill
NIECE ::== dob
CALLTAIL:0
CALLTAIL:2

TAILNUM 2-2 friend N F
N=<=dob
TAILQUERY: friend..dob..F

TAILFIND : friend . dob . F .
friend dob F
friend dob ellen

N ::== dob
F ::== ellen
CALLTAIL:0
niece P NIECE

CALLTAIL:0

YES

X = ellen

/earth is 98% full ... please delete anyone you can.

devel / comp.lang.prolog / PROGRESS ............... friendOfNiece( tom , F )

Subject	Author
PROGRESS ............... friendOfNiece( tom , F )	Graham Cooper