From Newsgroup: comp.lang.prolog

Go To www.miniPROLOG.com

and enter [ fonees tom FON ] [ ASK ]



******************** PROGRAMS ******************
4
sibling AA BB
bro AA BB

5
nees P N
sibling P S
daughter S N

10
fonees X Y
nees X N
friend N Y


********************** COMPILE ********************
ENGINE 0 1 fonees tom FRIENDOFNEES
fonees tom FRIENDOFNEES
fonees X Y

ANS2 10
fonees -- fonees
tom -- X
FRIENDOFNEES -- Y
ENGINE 10 1 nees X N
nees X N
nees P N

ANS2 5
nees -- nees
X -- P
N -- N
ENGINE 5 1 sibling P S
sibling P S
sibling AA BB

ANS2 4
sibling -- sibling
P -- AA
S -- BB
ENGINE 4 1 bro AA BB
bro AA BB
bro guy brotha

ANS2 12

d*4*1---
ENGINE 5 2 daughter S N
daughter S N
daughter bill dob

ANS2 23

d*4*1---d*5*2---
ENGINE 10 2 friend N Y
friend N Y
friend brad fredy

ANS2 15

d*4*1---d*5*2---d*10*2---



************************ RUN ***********************
STACK3
UPTO1
HERE0
bro* AA* > AA = tom
BB* > BB = S
bro tom S
bro tom brad

S << brad
UPTO2
HERE0
daughter* S* > S = brad
N* > N = N
daughter brad N
daughter brad dooby

N << dooby
UPTO3
HERE
friend* N* > N = dooby
Y* > Y = FRIENDOFNEES
friend dooby FRIENDOFNEES

UPTO2
HERE28
daughter* S* > S = brad
N* > N = N
daughter brad N

UPTO1
HERE14
bro* AA* > AA = tom
BB* > BB = S
bro tom S
bro tom bill

S << bill
UPTO2
HERE0
daughter* S* > S = bill
N* > N = N
daughter bill N
daughter bill dob

N << dob
UPTO3
HERE0
friend* N* > N = dob
Y* > Y = FRIENDOFNEES
friend dob FRIENDOFNEES
friend dob ellen

FRIENDOFNEES << ellen

YES


************************ DATA **********************
bro tom brad
friend brad fredy
bro tom bill *
friend bill fry
friend fry fryfry
rich gaga
pretty gaga
daughter brad shelly
daughter bill dob *
friend dob ellen *
--- Synchronet 3.20a-Linux NewsLink 1.114