Resources
Learning
OCaml
Recommended
- Real World OCaml, by Yaron Minsky, Anil Madhavapeddy and Jason Hickey. The book is freely available at dev.realworldocaml.org.
- Functional Programming in OCaml, Cornell CS3110 textbook. Freely available here.
References
Practice
Setup OCaml
Lambda Calculus
Recommended
- Types and Programming Languages (TAPL), by Benjamin Pierce.
- Peter Selinger’s lecture notes on lambda calculus available here.
Prolog
Recommended
- Programming Languages, Concepts and Constructs, 2nd edition, by Ravi Sethi. Chapter 11.
References
- The Art of Prolog, 2nd edition, Advanced Programming Techniques, by Leon Sterling and Ehud Y. Shapiro. Available for free here.
Software
OCaml
You can use iLab for using OCaml. If you prefer to have OCaml on your local machine, please refer to the OCaml installation instructions covered in the Real World OCaml book. I would recommend installing OPAM (OCaml Package Manager) with instructions from the opam website. Please check Setup OCaml for more instructions.
SWI-Prolog
SWI-Prolog installation instructions are here.