• Useful Links

This page contains links to installations of the programming languages used in this course. These links may be useful if you intend to develop programs in these languages on computers that are not CS lab computers. The page includes links to Eclipse plugins for ML and Prolog. Note that developing via a plugin is under the responsibility of the student and the course staff will not address difficulties arising when using a plugins.

This page also contains some links to tutorials. Many more exist on the internet. For additional book references see the syllabus.

Scheme

• The Racket homepage includes downloads and documentation.
• A tutorial The Scheme Programming Language by R.K. Dybvig.

ML

• The SML/NJ homepage includes downloads and documentation.
• Eclipse plugins for ML: SMLclipse.
• ML summary.

Prolog

• SWI Prolog homepage includes downloads and documentation,
  or SWI-Prolog Editor.
• Eclipse plugins for Prolog:PDT.
• Tutorials: Prolog Tutorial by J.R.Fisher, On-line guide to Prolog programming by R. Barták.