Disguised as a Qi manual, this book has a lot to tell about functional programming, non-determinism, types, pattern matching, logic programming, proof, expert systems among other things.