Shen

Sources for 38.2 are now available. This release fixes some minor problems with % and ! in the REPL.

I'm back on my feet, some slight cough, but basically through it. A lot of my time is spent

It seems that my problem is a viral infection (?) that is doing the rounds. It produces an

I've been running THORN on problems in RCC; problems which in many cases are too hard for it. I

I had a look at the Prover9 output wrt Tarski and noticed something odd. I then ran a few tests and

All of you concerned should receive a note in the next few hours. Mark

I'll write to you on that. Mark On Saturday 23 March 2024 at 16:31:11 UTC Woo wrote: Can someone

The reason why the variable enforcement for local assignments is important is shown in the following

Kl is deliberately underspecified in parts and intern is an example. That is to say, there are

On Wed, Mar 20, 2024 at 2:45 PM Bruno Deferrari <uti...@gmail.com> wrote: On Wed, Mar 20, 2024

Bruno pointed out I omitted the installation instructions for macro optimisation introduced in S38.

I am having issues producing Windows binaries using the GitHub runners, but once that is fixed and I

Thanks Mark. The KL printer is just for my own use to make sure I can parse correctly. I will now

To add to the maxint discussion, 32 bit ints will be too small to store Unix Epoch time in the year

I didn't reply to this because I don't maintain any of the github repos. A lot of good work

Thanks for the considered and honest answer, I'm sure many others are quietly as interested! Shen

The preprint of the fifth edition of TBoS is ordered and awaiting delivery. I've got a ticket

Example: (6-) (set thorn.*time-allowed* 20) 20 (7-) (<-kb [[[tpp ab] & [tpp bc]] => [[tpp

This is an interesting area; I've put a short section in LPC on this. Human mathematicians often

Actually checking the Fasthost figures it may be between 80000 to 100000 page hits a year for the

I've always had a fondness for Prolog; incredibly elegant and powerful language based on a very

Basically I send a free copy of TBoS and a place in the hall of fame (to be moved to the front page)

I'm out in the country with a friend, recovering from a bad head cold and will not be in touch

Thank you, I'm honoured. On Friday, February 9, 2024 at 11:18:45 PM UTC-7 dr.mt...@gmail.com

Well summing it up here are the times: Bench SWI Shen/Scheme

Shen/tk needs a shakedown app, so I'm writing a game program for cribbage. I'll show this on

Ah right; Linux case sensitivity. That Tk folder shouldn't be there. I put it there for

The program runs fine under both languages without any change (other than to pathnames). Portability

Macro expansion is a fairly heavy process because it processes every token read in by the reader. In

The syntax is (tk.widget <name> <class> <options>) eg (tk.widget .b button) creates