Prolog

• Prolog's WikiPedia Entry
• SWI prolog (download and resources)
• Prolog Operators
• A Prolog tutorial
• Learn Prolog Now! (on-line book)

Accessing knuth.cs.hmc.edu remotely from a Windows PC

• (easy, but console-only support) Download putty here (a secure shell for Windows)
• (an X server) Xming, whose public-domain release offers a free X server for the PC

Unix

• UNIX Basics

The Nano Editor

• Nano Editor Quick Reference (actually this is for an editor named Pico; however, Nano is a more recent, "improved" version of Pico, and this is a nice, concise reference).

Rex

• The rex lite reference card
• The complete rex reference

Java

• My favorite java syntax reference
• Wikipedia's Java syntax reference
• Java 6 API all of Java's library functions!
• JDK 6 Update 7 download (It's the second major link on the page.)
• Java language basics (you're only 1 hour away from putting Java on your resume/CV!)
• Sun's introduction-to-java tutorial
• all of the Java tutorials (a lifetime's worth!)

JFLAP

• JFLAP
(download and documentation)