The S Series Kernels


 

 

The S prefix indicates that the kernel is conformant to the standards laid down in 'The Book of Shen, 4th edition'. The S series was so named because the first entry, S30, derived from version 30 of Shen Professional. Apart from a few Prolog primitives, any Shen program written for the pre-S kernels will run under the S series.

But there are some important improvements and developments in the S series beginning with the S30 kernel which allow the S series to run programs that the pre-S series cannot.

1. The S series allows Shen YACC to incorporate types.

This means that you can create type secure compilers in the S series.

2. The S series includes a garbage collected Prolog

Space on the binding vector is reclaimed under backtracking. This means that Shen Prolog under S series kernels can be run for hours and not seconds.

3. The S series perform partial applications.

Though Shen has always supported partial applications, pre-S versions pushed the responsibility of coping with partial applications onto the native platform implementation of KLambda. Under the S Series the kernel does all the work. This makes porting Shen much easier.

4. New compiler technology.

The YACC, sequent calculus, Prolog and Shen code compilers are all rewritten to a new approach which is faster and smaller than the pre-S versions. The Prolog compiler runs under Common Lisp without the need for writing optimising patches in native Lisp for speed.

5. A rigorous approach to distinguishing functions and the symbols used to name them.

Pre-S versions printed results such as 'reverse : (list A) --> (list A)' following the Lisp tradition which allows quoted symbols to be applied as functions. Though this conflation between the name for a function and the function itself is sometimes convenient, it is strictly not correct. The S series prints '(fn reverse) : (list A) --> (list A)'. This distinction is not pedantry; it is integral to being able to handle partial applications within the kernel and the type checker enforces this usage.

6. Better hashing function.

Pre-S kernels had a rather basic hashing function that would not take advantage of a large amount of memory for storing information. The new hashing function is suitable for very large amounts of information.

7. A structured approach to non-binary standard input and output.

Pre-S kernels assumed that standard input and output were byte streams although in many platforms they are not. The S series uses a structured decision table for platform installation that makes this much easier.

8. Ability to put the top level inside a package.

An 'in-package' command places the REPL inside a package allowing the user to interact with the package program without having to type the package name.

9. Facility for low level integration of Shen into Prolog.

The S series includes a revision of Prolog primitives and an injection of some new ones. The 'is' predicate is now conformant to ISO Prolog and there is provision for fine tuning Shen function calls from Prolog to make them run efficiently.

10. Clearer and documented source code.

By extensive factorisation and rewriting it has been possible to cram all these improvements into a code base that is actually smaller than the pre-S kernels. For the first time 'The Book of Shen' includes this source code within its pages as an executable specification of the workings of the language.

LATEST NEWS

The support page for the text Logic, Proof and Computation is established.

______________________________

THORN Theorem prover derived from HORN clause logic is available.

______________________________

Shen Education Channel starts on Youtube.

______________________________

Yggdrasil project launched - the grand unification of programming languages.

______________________________

Want to advertise on this site? Go to the contacts page.

Built by Shen Technology (c) Mark Tarver, September 2021