New Features in 2019
SP 24 is a drastic rebuild of the Shen kernel adding some extra functionality, but mainly reducing the size and complexity of the kernel. The SP 24 type checker runs at twice the speed of the previous version and the Shen/Prolog interface is much improved. The latest version is 24.01.
Domain query language (DQL) is a plugin toolkit for experimenting with natural language enquiries and information retrieval from the web. It combines a means of retrieving textual information from web pages together with some basic natural language processing (NLP) tools for processing that information. These tools are integrated into type secure Shen-YACC.
In some ways DQL can be seen as Perl on steroids; it enables grammar based string retrieval and processing. This allows a deeper survey of the content of a page than simple string searching.
Shen Markup Language 2.0 (SML) is a plugin web framework using Shen type theory. SML generates objects that correspond to HTML objects - links, tables etc. - from functions that are named after the objects they produce. This is an upgrade of an earlier release.
FTP (Fast Theorem Prover) is a plugin theorem prover for first-order logic without equality. It uses Prolog technology to achieve performance and is capable of > 1 million inferences per second. It has solved Schubert's Steamroller in less than a tenth of a second.
Reading Large Data Files
This is a plugin for those who want to process really large data files in Shen format and find that the Shen reader is swamped.