| This is a course page of David Casperson |
|
CPSC 370 — Functional and Logic Programming — Fall 2016
Resources
Haskell Scheme (Racket) Prolog
Haskell Resources
- Flavours of Haskell
- Haskell is quite standardized. Most people are using Haskell 2010, the 8.0.1 version. There have in the past been a number of different developers of Haskell tools, but currently the scene is dominated by the Glasgow Haskell Compiler, which is included in the package mentioned below.
- Downloading Haskell
- The starting point for mosk Haskell related information is
the Haskell website.
Under Downloads you will find multiple options for what to download. For Fall 2016, I suggest getting a Haskell platform; and under platforms, choosing a minimal platform.
- Online books
-
- Learn You a Haskell for Great Good: A Beginner’s Guide by Miran Lipovača.
- Real World Haskell by Bryan O'Sullivan, Don Stewart, and John Goerzen (O'Reilly, 2008).
Racket (Scheme) Resources
- Flavours of Lisp
-
Lisp is a very old programming language that has split into a number of variants. Two common ones are Common Lisp and Scheme. The latter is more purely functional and fully standardized.
Racket is a flavour of Scheme, or more accurately, a system that provides a number of programming languages, including fully standard-compliant Scheme, and Racket, which is an industry ready research variant on Scheme.
- Downloading Racket
-
Click the Download tab at
http://racket-lang.org/to find the appropriate package to dowload. - Racket Documentation
- Racket has complete self-contained documentation including a User's Guide, a Reference Manual, and search functions for search them.
- Library books
- The following texts are available in the UNBC Library.
- Daniel P. Friedman and Matthias Felleisen, The Little Schemer, fourth edition, The MIT Press, 1996, Do not let the apparent simplicity fool you! This is a deep book..
- Daniel P. Friedman and Matthias Felleisen, The Seasoned Schemer, The MIT Press, 1996, even deeper.
- up to top
Prolog Resources
- Flavours of Prolog
- The most common flavours of Prolog are SICStus Prolog, SWI Prolog, and GNU Prolog, the first being commercial, the latter two being free. For CPSC 370 — Fall 2016, I recommend using SWI Prolog.
- SWI download sites
- SWI Prolog can be downloaded from here. The Mac OS 10.6 (and later) version was straight-forward to install. I have not tried any of the other flavors.
- Emacs
- There is some support for Prolog editing built in to Emacs, but a better mode for Emacs editing of Prolog code can be found on Stefan D. Bruda's Emacs mode page (here).
- Prolog References
- The library has:
- W.F. Clocksin and C.S. Mellish, Programming in Prolog, fourth edition, Springer Verlag, 1994. This is the standard reference text for Programming in Prolog.
- Leon Sterling and Ehud Shapiro, The Art of Prolog: Advanced Programming Techniques, second edition, The MIT Press, 1986. This is a more advanced book.
- Richard A. O'Keefe, The Craft of Prolog, The MIT Press, 1990. This book discusses how to write good Prolog code, sort of a CPSC 200 / CPSC 281 for Prolog programmers.
- Richard Kenneth Little, Approximating the rank of a homomorphism using a Prolog based system , Thesis, the University of Northern British Columbia , 2000.
- up to top
