[HC1] Henning Christiansen: Introduction to Prolog as
a framework for Knowedge Representation and Artificial Intelligence, RUC, 2007
Available as pdf
We expect that this note will be revised during the course
[AT] Alan Turing: Computing machinery and intelligence, 1950
Available at http://links.jstor.org/...
[WRZA] Kiong Siew Wai, Abd. Latif B. Abdul Rahman, Mohd Fairuz
Zaiyadi, Azwan Abd Aziz: Expert System in Real World Applications, 2005.
http://www.generation5.org/content/2005/Expert_System.asp
[HC2] Henning Christiansen: Executable specifications for hypotheses-based reasoning with Prolog and Constraint Handling Rules, Journal of Applied Logic, to appear 2008 or -9.
Henning Christiansen: Examples and exercises for conditional probabilities and Bayesian reasoning, RUC, 2008.
Henning Christiansen: Logical-Statistical models and parameter learning in the PRISM system RUC, 2008.
Henning Christiansen: Hidden Markov Models and their implementation in the PRISM system, RUC, 2008.
[BBS]: Patrick Blackburn, Johan Bos, and Kristina Striegnitz: Learn Prolog Now! (also as pdf document)
Henning Christiansen: Natural language analysis with DCG and CHR: Examples and exercises, RUC, 2008.
Henning Christiansen: Natural language analysis with assumptions in Hyprolog: Introduction, examples and exercises, RUC, 2008.
More to come...
For the first part of the course, it does not matter which one you use; program examples can run in both, only those those using CHR will need a trivial change when going from one version to another. The course notes assumes SICStus 3, but we expect to update everything to SICStus 4 during the course.
SICStus documentation (both versions)
You may also use SWI Prolog which with respect to CHR is similar to SICStus 4. In fact, SICStus 4 has taken over its CHR implementation from SWI Prolog.
SICStus 3 and 4 needs a license key for installation; RUC students are allowed to use this key in order to install the software, if it is used for the studies only (i.e., not for commercial purposes). SWI Prolog is available for free.