= 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 * **{{:pp-resurse:cheatsheet.pdf|Quick Racket Cheatsheet}}**, creat echipa de PP. * **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