Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"I DO want your money, because god wants your money!" -- The Reverend Jimmy, from _Repo_Man_


devel / comp.lang.prolog / Re: Really Difficult Routine to finish miniPROLOG.com

SubjectAuthor
* Really Difficult Routine to finish miniPROLOG.comGraham Cooper
`- Really Difficult Routine to finish miniPROLOG.comGraham Cooper

1
Really Difficult Routine to finish miniPROLOG.com

<7883a0ec-b4b6-466a-8ad1-9b7e57dd4320n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:622a:1993:b0:3de:b5fa:dbad with SMTP id u19-20020a05622a199300b003deb5fadbadmr1059835qtc.5.1683197522954;
Thu, 04 May 2023 03:52:02 -0700 (PDT)
X-Received: by 2002:a81:440f:0:b0:552:b607:634b with SMTP id
r15-20020a81440f000000b00552b607634bmr1041731ywa.4.1683197522753; Thu, 04 May
2023 03:52:02 -0700 (PDT)
Path: i2pn2.org!i2pn.org!news.neodome.net!feeder1.feed.usenet.farm!feed.usenet.farm!peer03.ams4!peer.am4.highwinds-media.com!peer01.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, 4 May 2023 03:52:02 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2001:8004:11a0:3cee:f0d6:55d5:4d92:b65d;
posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 2001:8004:11a0:3cee:f0d6:55d5:4d92:b65d
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7883a0ec-b4b6-466a-8ad1-9b7e57dd4320n@googlegroups.com>
Subject: Really Difficult Routine to finish miniPROLOG.com
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Thu, 04 May 2023 10:52:02 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2330
 by: Graham Cooper - Thu, 4 May 2023 10:52 UTC

> > PEANO ARITHMETIC is a simple list [1[2[3[4[5]]]]]
> >
> >
> > > > ------- -------- --------
> > > > | 1| . |-----> | 2| . |------> | 3| . |---> NIL
> > > > --|----- --|------ --|-----
> > which is incomplete logic
>
>
> "Isn't what you're writing really just gibberish?"

All your logic seems to be at the level of peano arithmetic

TRY MATCHING STRINGS!

<?

$wrd1 = '[ [ a b C ] [ D e ] g ]';
$wrd2 = '[ [ A B c ] [ [ dd ddd dddd ] e ] G ]';
smatch( $wrd1 , $wrd2 );
showv();

function smatch( $wrd1 , $wrd2 )
{ global $v;

$pos1 = 0;
$pos2 = 0;
$brak1 = 0;
$brak2 = 0;
$wrd1 = 0;
$wrd2 = 0;
while ( ( $wrd1!='') & ($wrd2!='') )
{
while ($brak1 < $brak2)
{
while ($wrd1 < $wrd2)
{
$pos1 = 0;
$char1 = $wrd1[$pos1];
$char2 = $wrd2[$pos2];
if ($char1=='[')
{
$brak1++ ;
$wrd = '';

}

}

function showv()
{ global $v;

echo "****************<br>";
foreach( $v as $x => $y )
{
echo $x . ' = ' . $y . ' ';
}
echo "<br>****************<br>";
}

?>

Re: Really Difficult Routine to finish miniPROLOG.com

<46fbfe5d-9c86-473f-b977-92327a194374n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:4590:b0:74c:4349:8ceb with SMTP id bp16-20020a05620a459000b0074c43498cebmr235626qkb.14.1683288451990;
Fri, 05 May 2023 05:07:31 -0700 (PDT)
X-Received: by 2002:a05:690c:b9a:b0:55a:5e16:af7e with SMTP id
ck26-20020a05690c0b9a00b0055a5e16af7emr3961392ywb.2.1683288451803; Fri, 05
May 2023 05:07:31 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border-2.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Fri, 5 May 2023 05:07:31 -0700 (PDT)
In-Reply-To: <7883a0ec-b4b6-466a-8ad1-9b7e57dd4320n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2001:8004:11a0:3cee:b154:547e:829e:cbdd;
posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 2001:8004:11a0:3cee:b154:547e:829e:cbdd
References: <7883a0ec-b4b6-466a-8ad1-9b7e57dd4320n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <46fbfe5d-9c86-473f-b977-92327a194374n@googlegroups.com>
Subject: Re: Really Difficult Routine to finish miniPROLOG.com
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Fri, 05 May 2023 12:07:31 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 41
 by: Graham Cooper - Fri, 5 May 2023 12:07 UTC

AND THE ANSWER IS . . .

$wrd1 = '[ X [ aa BB CC ] ] [ [ [ dd ddd dddd ] e ] G ]';
$wrd2 = '[ YY [ AA BB c ] ] [ [ D e ] G ]';

STRINGS [ X [ aa BB CC ] ] [ [ [ dd ddd dddd ] e ] G ] - [ YY [ AA BB c ] ] [ [ D e ] G ]
# X [ aa BB CC ] ]# YY [ AA BB c ] ]#
UNIFY X [ aa BB CC ] ] - YY [ AA BB c ] ]
#YY#
>>> YY = X
>> X = YY
#[ AA BB c ]#
STRINGS [ aa BB CC ] - [ AA BB c ]
# aa BB CC ]# AA BB c ]#
UNIFY aa BB CC ] - AA BB c ]
#AA#
>>> AA = aa
#BB#
>>> BB = BB
>> BB = BB
#c#
>> CC = c
#]#
#]#
# [ [ dd ddd dddd ] e ] G ]# [ D e ] G ]#
UNIFY [ [ dd ddd dddd ] e ] G ] - [ D e ] G ]
#[ D e ]#
STRINGS [ [ dd ddd dddd ] e ] - [ D e ]
# [ dd ddd dddd ] e ]# D e ]#
UNIFY [ dd ddd dddd ] e ] - D e ]
#D#
>>> D = [ dd ddd dddd ]
#e#
#]#
#G#
>>> G = G
>> G = G
#]#
TRUE


devel / comp.lang.prolog / Re: Really Difficult Routine to finish miniPROLOG.com

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor