once, run anywhere
Home | Learn Shen | Download
a portable functional programming language that offers
integrated fully functional Prolog,
an inbuilt compiler-compiler.
one of the most powerful type systems within functional
programming. Shen runs under a reduced instruction Lisp
and is designed for portability. The word
Shen is Chinese for 'spirit' and our motto
reflects our desire to liberate our work to live under
many platforms. Shen currently runs under CLisp and SBCL,
second edition to The Book of Shen is
now available here.
out!: Logic, Proof and Computation is
a new text written to introduce programmers to
combined topics in computational, mathematical
and philosophical logic. The book is computer
supported by programs in Shen.
with a review of formal languages and their
syntax and semantics, Logic, Proof and
Computation conducts a computer assisted
course in formal reasoning and the relevance of
logic to mathematical proof, information
processing and philosophy.
read more or to order click here.