CSE 526: Principles of Programming Languages, Spring 2020

Home	Schedule	Lectures	Homeworks	Exams	Resources

Programming Language Software and Tutorials

OCaml

• OCaml is the first of the two main languages we will use in this course. The main OCaml web site, ocaml.org has all the resources needed to (a) obtaining and running OCaml, (b) learning OCaml. In particular, take a look at the tutorials for OCaml and a number of online introductory books on this programming language.

Prolog

• Prolog is the second of the two main languages we will use in this course. There are many implementations of Prolog that are more or less compatible with each other. We will use SWI-Prolog in this course. The main SWI-Prolog web site, www.swi-prolog.org has instructions on how to download, install and run the system, as well as related documentation.
• There are a number of interesting tutorials for Prolog.
  • Learn Prolog Now! by Patrick Blackburn, Johan Bos, and Kristina Striegnitz, gives a good hands-on introduction to the language.
  • Roman Bartak at Charles University in Prague (Czech Republic) has developed a good Online Guide to Prolog Programming.
  • Dennis Merritt offers another online guide, Adventure in Prolog hosted by Amzi! Inc., a Prolog vendor.
  • Werner Hett's P-99: Ninety-Nine Prolog Problems is a nifty collection of 99 Prolog problems with solutions. The best way to use this site will be to try the problems yourselves first before looking at the solutions which are generally obvious (in hindsight!).