Artificial Intelligence Manual
Visual Prolog: Preliminaries
5. IDE |
||
2. Fundamental Prolog, Part 2 |
4. Language Reference |
Visual Prolog: Topics
4. Using Structures |
7. Prolog in AI: Proglem Solving Strategies |
|
2. Syntax and Program Meaning |
5. Controlling Backtracking |
8: Prolog in AI: Best-First Heuristic Search |
3. Lists, Operators, Arithmetic |
6. Input and Output |
9. Prolog in AI: Constraint Logic Programming |
Course Text (PowerPoint Summaries by Mims)
8. First-Order Logic |
||
9. Inference in First-Order Logic |
||
3a. Searching: PowerPoint |
A. Alan Turing |
|
3b. Searching: Notes |
7. Logical Agents |