.Open Prolog: Programming in Logic . Introduction .See http://www/dick/cs320/prolog/intro.prolog.html .See http://www/dick/cs320/prolog/intro.prolog.txt (Text) .See http://www/dick/cs320/prolog/sum.html Handout .See ../cs320/handouts/prolog.pdf (PDF) . Notes on Sebestas old Chapter 16: Logic Programming .See http://www/dick/cs320/sebesta/16.html . Laboratories (Fast Overview): Intriguing Prolog Examples and puzzles: .See http://www/dick/cs320/lab/17.html (Elements): .See http://www/dick/cs320/prolog/lab1.html (Definitions): .See http://www/dick/cs320/prolog/lab2.html (DIY): Do It Yourself .See http://www/dick/cs320/prolog/lab3.html . Documentation .See http://www/dick/samples/prolog.summary.html .See http://www/dick/samples/prolog.predicates.html .See http://www/dick/cs320/prolog/expressions .See http://www/dick/samples/prolog.glossary.html .See http://www/dick/doc/prolog.FAQ.txt . Specifications .See http://www/dick/samples/prolog.semantics.html .See http://www/dick/samples/prolog.syntax.html . Examples .See http://www/dick/cs320/prolog/ . Other Local resources .See http://www/dick/samples/prolog.www.sites.html .See http://www/samples/prolog.mbox .See http://www/samples/prolog.news .See http://www/dick/doc/prolog.FAQ.txt .See http://www/dick/cs320/prolog/prolog.mbox . Compiler/Interpreters At CSci.CSUSB we have two systems available. .List SWI-Prolog .See http://www.swi.psy.uva.nl/projects/SWI-Prolog/ and the local copies that can generate a prolog system for most UNIXen, and also DOS and Windows nnn systems: .See http://www/dick/cs320/prolog/src Gnu Prolog Manuals: .See http://www/dick/cs320/prolog/gprolog/ .Close.List . Standards The Prolog ISO standard .See http://www.iso.ch/cate/d21413.html#0 . Internet resources The comp.lang.prolog Newsgroup on Usenet: .See news:comp.lang.prolog and .See http://groups.google.com/group/comp.lang.prolog/topics (Google groups). Mark (the Traveled) Hoskins writes: There's a good Prolog tutorial at the University Sheffield, see .See http://www.shef.ac.uk/uni/academic/I-M/is/studwork/prolog/facts.html (FAQ): .See http://fas.sfu.ca/0/cs/people/ResearchStaff/jamie/personal/prolog-faq.1 (Usenet News): .See news://comp.lang.prolog (Manual): in the UK .See http://www.shef.ac.uk/uni/academic/I-M/is/studwork/prolog/starting.html . Jokes .See http://www/dick/cs320/prolog/jokes .See http://www/dick/cs320/prolog/joke.plg . See Also .See http://www/dick/languages.html .Close Prolog