Last updated 2014 April 23

Resources

Instructor

• The best method of getting in touch with the instructor is at class or send e-mail.

• For office hours and email address follow the link in the title frame.

Notes

• Example Prolog programs and exam questions
• Solutions to exams and reports — password restricted to EECS faculty and to students enrolled in the course.
• Technical internship employer survey on student strengths and need for development
• Advice to students from people who have been on a technical internship on student strengths and need for development
• On education and employment
• A collection of web pages to introduce you to the processes and library resources that can be used in writing papers and reports.
• Notes on testing programs

SWI-Prolog  To use SWI-prolog on Prism

• To run Prolog execute the command swipl or the command pl. To exit enter <CTRL>-D at the prompt.
• Documentation is avaliable on the web.
• Documentation for Prolog unit test with PlUnit.

Getting Prolog

• SWI-Prolog — Windows and Mac OS X versions of Prolog. Free software licensed under the Lesser GNU Public License. Look under downloads and IDE tools.
• On Mac OS X, SWI-Prolog runs in the underlying Unix system. I did the following.
1. Install XCrystal, an X11 system originally a part of Xcode and now separate freeware.
2. Install MacPorts, which creates the directory /opt
3. From within XCrystal (X11) Install SWI-Prolog (done as superuser) using instructions given with MacPorts documentation.

About Prolog

• A starting point is the Carnegie Mellon School of Computer Science Prolog repository.