The Shendoc webpage is useful as a language standard for those porting Shen. It is a developers guide rather than a resource for learning Shen.
Coding a Lisp Interpreter in Shen: a Case Study by Mark Tarver; a practical case study of working with Shen to code a Lisp interpreter.
Shen Tutorial: Sequent Calculus by Neal Alexander; a Prolog based study on Shen's interpretation of sequent calculus.
After you've got some acquiantance with Shen, you can move on to study the language in depth. If your logic needs a brush-up, get Logic, Proof and Computation to learn the logical theory behind Shen and how sequent calculus works. The Book of Shen gives the complete introduction to the language.
Want to learn Shen from the ground up?
Shen has emerged as one of the most portable and far-reaching integrations of two great programming paradigms - functional and logic programming. The third edition to The Book of Shen gives the foundations of both those disciplines, exploring both lambda calculus, type theory, first - order and Horn clause logic in a text which is rich in worked examples. In the course of 400 pages, the text gives a complete formal and informal exposition of Shen.
Order from Amazon
Want to learn the logical background to Shen?
Beginning 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. Topics covered include formal grammars, semantics of formal languages, sequent systems, truth-tables, propositional and first order logic, identity, proof heuristics, regimentation, set theory, databases, automated deduction, proof by induction, Turing machines, undecidability and a computer illustration of the reasoning underpinning Godel's incompleteness proof. LPC is designed as a multidisciplinary reader for students in computing, philosophy and mathematics.
Order from Amazon