Topic |
Read:
|
Comments |
The Logical Model | (*)12.1 |
Skip |
Introduction | (**)1.Facts,
Rules, & Queries 4.Lists (*)Chap 12.1, 12.2 CYU: 12: 1,2 |
(need to add .pl to file name after uploading) |
Backtracking | (*)Chap 12.2.4 (**)2 Matching and Proof Search |
(need to add .pl to file name after uploading) |
Unification | (*)Chap 12.2.1 CYU: 12: 3-5 (**)2 Matching and Proof Search |
|
More
examples in Prolog Programming |
(*)rest of Chap 12 CYU: 6,8,10,11,12,13 (**) 3,5,6,9,10 |
(need to add .pl to file name after uploading) |
Implementation |
(*) 12.2.2, 7.8 |
Printing the whole list out |
The
Prolog Programming Contests |
I wish to thank Prof. Lander and Prof. Pandey for the use of their notes.
Report any problems or comments.