CPSC 370
— Functional and Logic Programming — Fall 2018
Haskell
Scheme (Racket)
Prolog
- 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 2018, I suggest getting a Haskell platform; and under
platforms, choosing a minimal platform.
- Online books
-
- 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.
- up to top
- 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 2018, 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.
-
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.
-
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