RetroBBS - comp.lang.scheme - Ann: The Logic Lab

Ann: The Logic Lab

<e35c37b9-aa63-4aea-89e8-d48d3d9393f2n@googlegroups.com>

https://www.rocksolidbbs.com/devel/article-flat.php?id=212&group=comp.lang.scheme#212

copy link Newsgroups: comp.lang.scheme

X-Received: by 2002:a05:620a:1134:b0:74a:dc9d:95f8 with SMTP id p20-20020a05620a113400b0074adc9d95f8mr2217959qkk.14.1681733246537;
Mon, 17 Apr 2023 05:07:26 -0700 (PDT)
X-Received: by 2002:ac8:5902:0:b0:3de:d15a:847f with SMTP id
2-20020ac85902000000b003ded15a847fmr4568239qty.0.1681733246201; Mon, 17 Apr
2023 05:07:26 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.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.scheme
Date: Mon, 17 Apr 2023 05:07:25 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=86.28.97.229; posting-account=kJbRXgoAAADVvCa8xCOuqxtZ-KSaXUAS
NNTP-Posting-Host: 86.28.97.229
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e35c37b9-aa63-4aea-89e8-d48d3d9393f2n@googlegroups.com>
Subject: Ann: The Logic Lab
From: dr.mtarver@gmail.com (Mark Tarver)
Injection-Date: Mon, 17 Apr 2023 12:07:26 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2231

by: Mark Tarver - Mon, 17 Apr 2023 12:07 UTC

The Logic Lab is a high-level DSL for specifying logics. There is a series of Youtube mini-lectures on this technology detailed in the Logic Lab home page. https://shenlanguage.org/Logiclab.html. You can also access these talks at the following addresses.

History of the Logic Lab https://www.youtube.com/watch?v=VqnVWLFiEII
Specifying Logics https://www.youtube.com/watch?v=AU8WCkS9n1U
Conducting Proofs https://www.youtube.com/watch?v=1WXMMk2xUSM&t=1s

The Logic Lab page also includes a download link for the program. This application needs the Shen standard library. There is a link on the Logic Lab home page to a 'batteries included' binary version of Shen under Windows (SBCL platform) with the standard library compiled inside it.

As my first talk makes clear, this is a reissue of an old technology, published by me in the 90s, which has resided in the CMU repository for Artificial Intelligence for nearly 30 years and has been reissued under Shen.

Mark

For Scheme aficionados, there is an implementation of Shen under Chez Scheme which has the distinction of being the fastest port to date. Kudos to Chez Scheme and Bruno Deferrari who built this port.

"World domination. Fast" (By Linus Torvalds)

devel / comp.lang.scheme / Ann: The Logic Lab