CSc 372 Resources
Below are some resources that you may find useful and/or interesting.
If there are on-line items that you recommend, let me know and I'll add links for them.
ML and Functional Programming
Ruby
Prolog
- SWI-Prolog Home Page
- SWI-Prolog Reference Manual as a PDF
(HTML)
-
A few years back the Prolog text used in 372 was Adventure in Prolog. You can now
read it on-line.
Another
interesting thing at the same site is the Active Prolog Tutor. This is apparently an old DOS-based
program. To run it it seems to be sufficient to unload this file,
aptfiles.zip, and run apt.exe in the resulting aptfiles directory. I
checked it with my virus checker (AVG) and it was clean but you should check it with yours, too.
- A copy of chapter 8 of Prolog Programming in Depth is on
E-Reserve at the library. The reserves page password was posted to the mailing list on 9/25.
-
This
Prolog Tutorial by John R. Fisher has lots of interesting stuff. I haven't had time to
work through the whole thing but near the bottom of section 2.2 is a nice animation of a
factorial computation in Prolog. Watch carefully how the logical variables are instantiated
as the various calls to factorial complete.
Programming languages in general
-
Here's an interesting survey of syntactic elements across a number of
languages. There's an interesting collection of stuff in the parent directory, too.
- A number of Alan Perlis' Epigrams in Programming relate to programming languages but my favorite is perhaps #19. See what yours is.
UNIX
If you're new to UNIX/Linux, keep in mind that Poorna and I will be happy to show
you what need to know and provide on-going assistance as well.
In terms of written matter, you might find my UNIX slides from CSc 352 useful.
Googling for /unix tutorial/ and /unix "quick reference"/ turns up lots of good stuff. Here are some
things that I like:
Emacs
Bash (and other shells)
Miscellaneous
Let me know if you find any others that are worth adding to the list.