Exercise in Knowledge Processing
| Course Purpose |
|---|
| The purpose of this practical training course is for students to widen their views on programming languages and to improve their logical thinking and constructing algorithms by learning logic programming. |
| Learning Goals |
| Students will understand the concepts of unification, list processing, recursive programming, backtracking and pruning, and be able to code Prolog programs. |
| Topic | |
|---|---|
| Session 1 | What is Prolog? -The meaning of the program and its basic operation, database and search |
| Session 2 | Recursive program |
| Session 3 | List processing (1) |
| Session 4 | List processing (2) |
| Session 5 | List processing (3) |
| Session 6 | Term processing (1) |
| Session 7 | Term processing (2) |
| Session 8 | List of structured elements |
| Session 9 | Full-solution search and negation |
| Session 10 | Comprehension test |
| Session 11 | Recursive and iterative |
| Session 12 | AI programming(1) |
| Session 13 | AI programming(2) |
| Session 14 | Comprehension test (re-), Final test |