CPSC 312 - Functional and Logic Programming

Readings

These are some articles you may find interesting, in no particular ordering. I've added resources that look as though they might be interesting. No guarantees!

General

• Teach Yourself Programming in Ten Years by Peter Norvig; this course is designed to help you with part of "Learn at least a half dozen programming languages", as well as "learn by doing" and "Work on projects with other programmers."

Functional Programming

• Haskell
• Haskell Platform
• Haskell Documentation including books, tutorials, and other online resources.
• Simon Thompson, Haskell: The Craft of Functional Programming, 3rd edition, Pearson/Addison Wesley, 2011. This is probably the best book I know, and would probably be the textbook if if wasn't out of print. If you can get a second-hand one that would be good.
• The best free books I have found (for the basics) are:
  • Wikibooks Haskell
  • Learn You a Haskell for Great Good!
• Links to Free books to learn about Haskell and tutorials.
• Real world Haskell - another online book. I didn't like it much, but you might.
• Explaining IO: Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell by Simon Peyton Jones.

Logic Programming

• We will cover much of Chapter 5, Chapter 13 and Chapter 14 of AI:FCA .
• SWI-Prolog
• Free Books to Learn Prolog
• Simply Logical: Intelligent Reasoning by Example by Peter Flach, an introductory logic programming textbook.
• Prolog Programming for Artificial Intelligence (4th Edition) by Ivan Bratko. There seems to be free versions online.
• Learn Prolog Now. Online textbook.
• The Prolog Dictionary
• A short tutorial on Prolog some simple examples.
• Prolog FAQ and some advanced Prolog tutorials
• Coding Guidelines for Prolog (Covington, et al.)
• SWI Prolog Links
• GNU Prolog
• The ECLiPSe Constraint Programming System and a book A Gentle Guide to Constraint Logic Programming via ECLiPSe

Last updated: 2021-01-06, David Poole