COMP329: Knowledge Systems
COMP329 - Resources and Support Materials
We will use some logic-tools in this unit. They will help you get prectice with problem-solving, proof-checking and model-building. There are online exercises there that will allow you to test your skills with knowledge representation and reasoning.
- Logic Daemon and Quizmaster (from Texas A&M University, USA)
Those interested in using Latex for text processing, here are some handy links:
- TexnicCentre, a good IDE for Latex.
- MiKTeX provides implementation of Latex for windows.
For programming, we mainly use SWI-Prolog in COMP329. SWI-Prolog is a Prolog compiler in the Edinburgh Prolog family.
SWI-Prolog is especially useful for studying Prolog and prototyping. It is not just a `toy' Prolog system. It is being used by various large research projects as well as for the implementation of commercial applications. Here are some relevant links:
- Learn Prolog Now! (online course and book)
- Getting Started on the PROLOG System
- SWI-Prolog reference manual (local installation)
- SWI-Prolog reference manual (from Holland)
- SWI-Prolog website (from Holland) You can dowload the latest version of SWI-Prolog and other related documentation and software packages from here.
- The World Wide Web Virtual Library: Logic Programming Heaps of useful pointers to repositories on logic programming and Prolog; pointers to many Prolog implementations (Windows, UNIX, Mac); pointers to courseware, freeware etc.