Page created: June 03 1999
Last modified: Tuesday, 11-Dec-2001 14:29:51 EST
Page Maintained by a team of Brown Dots
This page exists primarily to serve as a collection of sites and
information which are or were (or might have been) useful to those
participating in Project NExT 1999-2000 (a.k.a the brown dots).
But if you have similar interests, you may find this page useful too.
Who are the "Dots"?
Each year's NExT Felows are distinguished by a dot color.
Pruim's Prolog Page:
These materials were used in conjunction with the predicate logic
part of a discrete math course. Includes a prolog interpreter that can
be run over the WWW, an example from Monty Python, examples, exercises, ...
Disclaimer about Content: Provided on this page are
links to other pages. As pages are changing constantly, we do not
guarantee the quality, descriptions or existence of any of the
pages listed here. (But if you find a broken link,
let us know so that we
can fix it or delete it.)
Calvin College's Disclaimer: The views and opinions
expressed on this page are strictly those of the page authors. The
contents of this page have not been reviewed or approved by Calvin