resources
Differences
This shows you the differences between two versions of the page.
|
resources [2013/08/26 18:51] cs579 [Prolog] |
resources [2013/08/26 18:54] (current) cs579 [Prolog] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Resources ====== | ====== Resources ====== | ||
| ===== Prolog ===== | ===== Prolog ===== | ||
| - | * Patrick Blackburn, Johan Bos, and Kristina Striegnitz. **Learn Prolog Now!**, College Publications, 2006 ([[http://www.learnprolognow.org/|link]]). | + | * Interpreters |
| - | * 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 ===== | ||
| - | * BB1 ({{::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) |
resources.1377510667.txt.gz · Last modified: 2013/08/26 18:51 by cs579
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
