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.
Two new chapters on
classes and on compiling sequent calculus.
Over 100 pages rewritten explaining rule
closures; a new feature for Qi II
that embraces computational logic and expert
systems.
Lazy evaluation in Qi II explained.
Qi YACC and Qi Prolog
documented.
Free commercial license.
Preview the contents
page.
This book is the fiirst complete exposition of
the Qi II language.
|
