I am pleased to announce the publication of 'Functional Programming in
Qi (second edition)' which incorporates
* A new chapter on abstract programming incorporating structures,
classes and abstract datatypes.
* A new chapter on compiling sequent calculus, incorporating the Qi
Abstract Unification Machine
and hitherto unpublished compilation techniques.
* A revised final section of nearly 100 pages explaining rule
closures; a new feature which is used to cover computational logic and
expert systems.
* Documentation on how to use Qi YACC and Qi Prolog.
* A Free commercial license.
From the back cover
"Since its inception in 2005, Qi has generated great interest over the
internet. Here for the first time is the hardcopy exposition of the
language, remastered for the issue of Qi II in 2008. This second
edition fixes the language standard for Qi.
The book is both a comprehensive introduction to Qi and to functional
programming. The first half of the book covers foundational material
and is suitable for an undergraduate introduction to functional
programming.
The second half of the book explores the theoretical foundations of
Qi,
including lambda calculus, type theory and logic programming and
concludes with Qi applications in computational logic and expert
systems."
This book covers a complete exposition of the Qi II language in 440
pages and can be ordered through Lambda Associates.
www.lambdassociates.org
Mark