Shen

A new section to the site will be devoted to logic called The Logic Lab. I'm very much tied up at

I've finally converged on a version which works the way I think it should. Full testing remains

Seems sensible, you can also have overloaded types that way. M. On Thursday, 22 September 2022 at 14:

I suspect that Shenturions will be watching my struggles with FTP with amused detachment. Automated

I'm now integrating the ideas of the past n versions starting with FTP v 34 and bringing in the

This is a very topical subject for me at the moment because I'm writing up the FTP (in

Well you could - but you might as well just state what it is you expect to prove if you're so

Shen/Scheme v0.26 has been released, it comes with an updated version of the kernel. https://github.

This is installed via the cloud in SP. The patch fixes a long-standing bug whereby ! sometiomes fails

The standard benchmark for Prolog is Lips or logical inferences per second. Happily Shen Prolog under

These are the accepted commandline options btw: commands: repl Launches the interactive REPL. Default

I had problems with this before, which is one of the reasons I stopped using the SBCL port. It was

FTP 37 - an optimised version of FTP 36 gets the same result in 16039 inferences compared to 29028

I got some of the figures wrong here, but on one problem FTP 35 solved it in 20000 inferences vs FTP

Well my experimental program runs under Scheme wo crashing which means that this is an SBCL issue.

Continuing .... Inferences Scheme SBCL Equivalential Calculus Theorem YQF 35102 0.047 secs 0.16 secs

Version 31 which streamlines the code and introduces a novel proof construction method. The FTP

An old home page - designed by Bruno perhaps nearly 10 years ago - had a nice code sample from TBoS

The next program is more challenging. Einstein's Riddle in Shen Prolog which needs to run stand

This is now patched into SP. Mark On Wednesday, 17 August 2022 at 18:47:28 UTC+1 Mark Tarver wrote:

We've passed the 1000th view a few days ago when I was busy with other things. Mark On Thursday,

O_O Got it thanks, that works. I'll also check out the Strings package in the std lib for any

"Thread", not "threat" :) On Sunday, August 7, 2022 at 4:47:15 PM UTC-4 emum

On Tue, Aug 2, 2022 at 2:10 PM emum <emummel20@gmail.com> wrote: And Bruno sorry, one last

This has been posted in the Download page. Mark On Monday, 1 August 2022 at 03:15:43 UTC+1 Bruno

Well I pushed ahead with that one and all users have been mailed with the new version; the patches

SP has been updated to kernel 32.03, port 3.2. The bug reported here in the compilation of sequent

Yes; correct. I've fixed this in 32.03 Shen, www.shenlanguage.org, copyright (C) 2010-2022, Mark

spot on M. On Fri, Jul 29, 2022 at 8:59 PM Bruno Deferrari <utizoc@gmail.com> wrote: On Fri,

I think that in the above case the prolog? statement is macroexpanded although no Prolog call is made