Functional Programming in QI

Overview & Synopsis

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.