Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Basic is a high level languish. APL is a high level anguish.


devel / comp.lang.prolog / I got Peano Arithmetic working but not simultaneous equations

SubjectAuthor
o I got Peano Arithmetic working but not simultaneous equationsGraham Cooper

1
I got Peano Arithmetic working but not simultaneous equations

<480200f0-9d12-472c-a9f3-b0141d5d820dn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: comp.lang.prolog
X-Received: by 2002:a05:620a:25d2:b0:74e:2fe0:84ef with SMTP id y18-20020a05620a25d200b0074e2fe084efmr2364303qko.15.1683422740637;
Sat, 06 May 2023 18:25:40 -0700 (PDT)
X-Received: by 2002:a81:ca4e:0:b0:54f:bb71:c7b3 with SMTP id
y14-20020a81ca4e000000b0054fbb71c7b3mr3661307ywk.9.1683422740427; Sat, 06 May
2023 18:25:40 -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: Sat, 6 May 2023 18:25:40 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2001:8004:11a0:3cee:bc77:91f9:b842:7e8e;
posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 2001:8004:11a0:3cee:bc77:91f9:b842:7e8e
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <480200f0-9d12-472c-a9f3-b0141d5d820dn@googlegroups.com>
Subject: I got Peano Arithmetic working but not simultaneous equations
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Sun, 07 May 2023 01:25:40 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 81
 by: Graham Cooper - Sun, 7 May 2023 01:25 UTC

I'm trying to solve

X + Y = 5
X + 1 = Y

MEANWHILE... heres 2 + 3

-------
query :- ad [ s [ s 0 ] ] [ s [ s [ s 0 ] ] ] ANS
-------

---------- BEGIN 0 ---------
1>>> A = [ s [ s 0 ] ]
1>>> B = [ s [ s 0 ] ]
1>> ANS = C

ad [ s [ s 0 ] ] [ s [ s [ s 0 ] ] ] ANS - ad A [ s B ] C

1> A = [ s [ s 0 ] ]
[ s B ]-->[ s [ s [ s 0 ] ] ]
1> A = [ s [ s 0 ] ]
[ s B ]-->[ s [ s [ s 0 ] ] ]

-------
ad A [ s B ] C :- ad [ s A ] B C
-------

---------- BEGIN 1 ---------
[ s A ]-->[ s [ s [ s 0 ] ] ]
2> B = [ s [ s 0 ] ]
2>>> A = [ s [ s [ s 0 ] ] ]
2>>> B = [ s 0 ]
2>> C = C

ad [ s [ s [ s 0 ] ] ] [ s [ s 0 ] ] C - ad A [ s B ] C

2> A = [ s [ s [ s 0 ] ] ]
[ s B ]-->[ s [ s 0 ] ]
2> C = C
2> A = [ s [ s [ s 0 ] ] ]
[ s B ]-->[ s [ s 0 ] ]
2> C = C

-------
ad A [ s B ] C :- ad [ s A ] B C
-------

---------- BEGIN 2 ---------
[ s A ]-->[ s [ s [ s [ s 0 ] ] ] ]
3> B = [ s 0 ]
3> C = C
3>>> A = [ s [ s [ s [ s 0 ] ] ] ]
3>>> B = 0
3>> C = C

ad [ s [ s [ s [ s 0 ] ] ] ] [ s 0 ] C - ad A [ s B ] C

3> A = [ s [ s [ s [ s 0 ] ] ] ]
[ s B ]-->[ s 0 ]
3> C = C
3> A = [ s [ s [ s [ s 0 ] ] ] ]
[ s B ]-->[ s 0 ]
3> C = C

-------
ad A [ s B ] C :- ad [ s A ] B C
-------

---------- BEGIN 3 ---------
[ s A ]-->[ s [ s [ s [ s [ s 0 ] ] ] ] ]
4> B = 0
4> C = C
4>>> A = [ s [ s [ s [ s [ s 0 ] ] ] ] ]
5> C = C
5>>> X = [ s [ s [ s [ s [ s 0 ] ] ] ] ]
5>> C = X

YES

ANS = [ s [ s [ s [ s [ s 0 ] ] ] ] ]


devel / comp.lang.prolog / I got Peano Arithmetic working but not simultaneous equations

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor