Bibliografie
- Structure and Interpretation of Computer Programs, Harold Abelson and Gerald Jay Sussman , disponibilă liber la http://mitpress.mit.edu/sicp/
- sunt interesante primele 2 capitole
- The Racket Reference, http://docs.racket-lang.org/reference/index.html
- este mai ales interesant capitolul 4
- Learn You a Haskell for Great Good!, Miran Lipovaca, disponibilă liber online la http://learnyouahaskell.com/
- Haskell.org, http://haskell.org
- Real World Haskell, Bryan O'Sullivan, Don Stewart, and John Goerzen, disponibilă liber online la http://book.realworldhaskell.org/
- mai ales primele 8-9 capitole
- Haskell: the Craft of Functional Programming, Simon Thompson, http://www.haskellcraft.com
- Haskell CheatSheet, Justin Bailey, http://cheatsheet.codeslower.com/
- Haskell Wikibook, https://en.wikibooks.org/wiki/Haskell
- prolog :- tutorial, J.R.Fisher, disponibil la http://www.cpp.edu/~jrfisher/www/prolog_tutorial/contents.html
- Prolog Wikibook, https://en.wikibooks.org/wiki/Prolog
- Handbook of Practical Logic and Automated Reasoning, John Harrison, Cambridge University Press
- Introduction to Logic, Michael Genesereth, disponibil liber online la https://www.coursera.org/course/intrologic
