YoVDO

The Power of Prolog

Offered By: Independent

Tags

Prolog Courses Artificial Intelligence Courses Data Structures Courses

Course Description

Overview

Selected example programs are available as showcases.

An overview of all videos is available at:

https://www.metalevel.at/prolog/videos/

For offline access, you can download this book from a public git repository:

https://github.com/triska/the-power-of-prolog

If you have any comments, suggestions or questions, you can also file them as issues in that repository.


Syllabus

  1. Introduction
  2. Facets of Prolog
  3. Logical Foundations
  4. Basic Concepts
  5. Data Structures
  6. Reading Prolog Programs
  7. Writing Prolog Programs
  8. Termination
  9. Nontermination
  10. Integer Arithmetic
  11. Higher-order Predicates
  12. Logical Purity
  13. Declarative Testing
  14. Declarative Debugging
  15. Definite Clause Grammars
  16. Sorting and Searching
  17. Global Variables
  18. Thinking in States
  19. Meta-interpreters
  20. Macros
  21. Combinatorial Optimization
  22. Expert Systems
  23. Web Applications
  24. Cryptography
  25. Business Cases
  26. Theorem Proving
  27. Logic Puzzles
  28. Efficiency
  29. Memoization
  30. Artificial Intelligence
  31. Horror Stories
  32. Fun Facts
  33. Engineering Aspects
  34. The Future

Related Courses

Introduction to Artificial Intelligence
Stanford University via Udacity Probabilistic Graphical Models 1: Representation
Stanford University via Coursera Artificial Intelligence for Robotics
Stanford University via Udacity Computer Vision: The Fundamentals
University of California, Berkeley via Coursera Learning from Data (Introductory Machine Learning course)
California Institute of Technology via Independent