CPSC 370: Functional and Logic Programming (2023-05F)

Resources

Quick Links

• Learn You a Haskell for Great Good!
• Real World Haskell
• The Haskell Org
• Hoogle
• Real World Hskell (the free veresion) (where to buy)

Haskell

Web references (other than online books) :

• Hoogλe is an essential tool for exploring the standard Haskell libraries.
• haskell.org has download options, an online code execution facility.
• The Haskell wiki has many useful links.

Online books:

• Miran Lipovača, Learn You a Haskell for Great Good: A Beginner's Guide,
  This book is available online Try here; or order it from No Starch Press.
  This book is slightly out-of-date with respect to recent changes to the Haskell language: for instance, Monoid is stand-alone rather than a subclass of Semigroup; ditto for Monad and Applicative. Nonetheless, it is a brilliant book.
• Bryan O'Sullivan, Don Stewart, and John Goerzen, Real World Haskell, O'Reilly, 2008, online here.
  This book is book is much bigger and more detailed than Learn You a Haskell for Great Good. It has lots of examples of using ghci.

Paper books loosely related to Haskell: I have copies of

• Implementing Functional Languages by Simon Peyton Jones and David Lester. out of print, but available online here.
• Purely Functional Data Structures by Chris Okasaki.

UNBC library books on Prolog

A Classic introductory text

• W.F. Clocksin and C.S. Mellish, Programming in Prolog, fourth edition, Springer Verlag, 1994.

Advanced Prolog Texts

• Leon Sterling and Ehud Shapiro, The Art of Prolog: Advanced Programming Techniques, second edition, The MIT Press, 1986,
• Richard A. O'Keefe, The Craft of Prolog, The MIT Press, 1990,

Other programming languages

For references for Scheme (Racket), and Standard ML (previously used in CPSC 370) click here