Shen

S34 under CLisp is now good. As said I used my original CLisp. M. On Monday, 27 March 2023 at 18:00:

This fixes the bug detailed by Neal in his previous message. Available on the download page. SBCL-

Got it. M. On Monday, 27 March 2023 at 09:30:41 UTC+1 nha...@gmail.com wrote: Sources/sequent.shen:

It's rarely that one shares medical information on a group devoted to computing, but this

On Friday, 17 March 2023 at 22:37:56 UTC dr.mt...@gmail.com wrote: By a more optimal ordering of

The answer to why THORN comes off worse than PROVER 9 while being so much faster has to do with the

upgraded to THORN 5. M. On Wednesday, 15 March 2023 at 09:37:01 UTC dr.mt...@gmail.com wrote: THORN 3

I noticed that several of the problems I've used are actually Horn clause in nature and that the

Fixed that - proof is 2 steps shorter; but takes longer to find - odd. Step 1 ? (all a (all x ((eq (+

Neal spoke of speeding up the S series Prolog. This might have some effect. Inside the S series

yikes - shades of APL methinks M. On Tuesday, 14 March 2023 at 22:34:33 UTC nha...@gmail.com wrote:

Comparison to SWI Prolog on naive reverse 6 ?- time(test(10000)). % 2320000 inferences, 0.062 CPU in

Also I should add - THORN is hackable - 588 lines vs Prover9 (28000 lines) and Vampire (250000 lines)

I've moved the DVD software to USB and tried again; install failed and had to self-install

https://finance.yahoo.com/news/google-over-hired-talent-fake-114331193.html Could have assigned these

Willi was a character. He was a total pessimist but good company. His best time in computing was in

Oh, I did not realize that Language, Proof, and Computation uses Shen. I look forward to reading the

Again pillaging Turner; he includes what he calls the Axiom of Comprehension. His formulation is:

2022 being something of an annus horribilis has left me with a backlog of projects. Lest you think I

I turfed out my copy of Raymond Turner's "Constructive Foundations for Functional Languages

There may well be a mapping between unrestricted universal quantification in type theory and a

I felt I needed to add this rider. Sweet wormwood is poisonous if taken in excess, so be advised that

Following my reboot, I've completed the first of three 10 minute videos on the Logic Lab. The

I've analysed my current condition and prescribed a powerful antiviral herbal medicine to boot up

Hmm maybe this fluid-let stuff is better implemented with modal logic? The concept of different

This is a part of a general problem in logic programming which is the detection and trapping of

Wow; the only medical thread in the group. Seriously I'll pull through this. But I need to sort

I think we have a private chat on this. I could indeed drop into the Haskell group and hit them with

Now returned and installed. Good aspect is that I lost no work and will resume the logic lab lecture.

I've never gone for Haskell as a language; the reason being that trying to banish state from a