The Book of Shen: fourth edition

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.