the odd influence of theorem-proving on computer programming

[Mark Tarver]

I suspect that Shenturions will be watching my struggles with

FTP with amused detachment.  Automated reasoning is a bit of a

passion for me.  Shen itself began as SEQUEL and SEQUEL was

created as a tool for automated reasoning.  To this list we can add

ML, which began as a tool for a theorem-proving system (the LCF)

as Edinburgh ML and of course Prolog.

As seen the FTP is actually actively improving the Shen kernel

by forcing the development of garbage collection and now ASSERT

and RETRACT.

It's odd that this area should prove so rich in developing language

paradigms.

M.

[emum]

Hi Dr. Tarver, can I ask a quick, probably naive question? Where can I find the prolog that implements the type system? I'm looking at the source files and all and I don't see those. -- thanks

[Mark Tarver]

t-star.shen

M.

On Mon, Oct 17, 2022 at 12:21 PM emum <emum...@gmail.com> wrote:

Hi Dr. Tarver, can I ask a quick, probably naive question? Where can I find the prolog that implements the type system? I'm looking at the source files and all and I don't see those. -- thanks

--
You received this message because you are subscribed to a topic in the Google Groups "Shen" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/qilang/6EoICwQoZ7I/unsubscribe.
To unsubscribe from this group and all its topics, send an email to qilang+un...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/qilang/c6520c58-3e5f-495e-ae5c-e6722bc811dan%40googlegroups.com.