This shows you the differences between two versions of the page.
resources [2013/08/26 18:53] cs579 [Course Software] |
resources [2013/08/26 18:54] (current) cs579 [Prolog] |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Resources ====== | ====== Resources ====== | ||
===== Prolog ===== | ===== Prolog ===== | ||
- | * [Book] Patrick Blackburn, Johan Bos, and Kristina Striegnitz. **Learn Prolog Now!**, College Publications, 2006 ([[http://www.learnprolognow.org/|link]]). | + | * Interpreters |
- | * [Interpreter] SWI Prolog ([[http://www.swi-prolog.org/|link]]) | + | * SWI Prolog ([[http://www.swi-prolog.org/|link]]) |
+ | * Books | ||
+ | * Patrick Blackburn, Johan Bos, and Kristina Striegnitz. **Learn Prolog Now!**, College Publications, 2006 ([[http://www.learnprolognow.org/|link]]). | ||
===== Course Software ===== | ===== Course Software ===== | ||
* Prolog examples in the textbook ({{::sources:bb1-modified.zip|zip}}) (You need to have a [[http://www.activestate.com/activeperl/downloads|Perl interpreter]] installed on your PC before running CURT) | * Prolog examples in the textbook ({{::sources:bb1-modified.zip|zip}}) (You need to have a [[http://www.activestate.com/activeperl/downloads|Perl interpreter]] installed on your PC before running CURT) |