Links
Information about Prolog
- SWI-Prolog - You can download SWI-Prolog (it is already installed on the grace cluster) for Linux, MacOS or Microsoft Windows. The site also has extensive documentation and links.
- A Prolog tutorial - An example-based Prolog tutorial.
Information about Java 5.0
- Java 1.5 API - The extensive Java 1.5 API Specification.
- Threads in Java - Sun's documentation on threads and synchronization in Java.
Information about Ruby
- Ruby Class Reference - You can look up information about Ruby classes and their methods here. This is very useful and readable, but is also old (up to Ruby 1.6).
- Introduction to Ruby - A simple introduction to basic Ruby
- The Pragmatic Programmer's Guide - "The Pickaxe Book" is a more comprehensive overview of Ruby. It's an online version of the first edition of a printed Ruby book. The only thing to keep in mind is that it covers Ruby 1.6, while you can buy the printed version which covers the current Ruby 1.8. There's a lot of information here which you won't need- the most relevant sections are the first fourteen listed (the first up through "Basic Input and Output"), then "When Trouble Strkes", "Ruby and Its World", and "The Ruby Language" and "Classes and Objects". These last two are good summary references for the language.
- Ruby Documentation This is a much more comprehensive and updated reference for Ruby. It includes Ruby 1.8.
- ruby-lang.org - The main Ruby website. Here you can download Ruby for both Linux/UNIX and Windows systems.
Information about OCaml
- The Caml Language is the main OCaml website. See the Resources link for documentation, and to download OCaml for various platforms if interested.
- Introduction to the Objective Caml Programming Language (PDF) is a relatively-short book about OCaml.
- Developing Applications with Objective Caml is an English translation of the comprehensive O'Reilly OCaml book.
- The Caml Language website mentioned above also has the OCaml reference manual, if you need to look up the definitive specification of anything.