Prolog Courses and Certifications

Derek Banas

Prolog Tutorial

10 ratings

A fast, example-rich introduction to Prolog’s fact-and-rule approach, covering queries, recursion, lists, database changes, and file I/O.

• YouTube
• 1 hour 4 minutes
• Self-Paced
• Free Video

Prolog Programming

19 ratings

An introduction to Prolog’s logical programming paradigm through facts, rules, queries, structures, arithmetic, lists, pairs, and the member function.

• YouTube
• 1 hour 30 minutes
• Self-Paced
• Free Video

Prolog

Practice Prolog through graded exercises: infer family relations, solve the Zebra Puzzle and Killer Sudoku, implement ciphers, list operations, and binary search trees.

• Exercism
• Self-Paced
• Free Online Course

Learn Prolog through relational-database query examples covering joins, subqueries, grouping, set operations, and data manipulation.

• Independent
• Self-Paced
• Free Online Course

An introductory, practical self-study course that teaches Prolog through exercises and hands-on work with a Prolog interpreter.

• Independent
• Self-Paced
• Free Online Course

A hands-on exploration of Prolog’s declarative approach, from logical foundations and program construction to debugging, optimization, theorem proving, and AI applications.

• Independent
• Self-Paced
• Free Online Course

NPTEL;  IIT Madras

Artificial Intelligence: Knowledge Representation and Reasoning

8 ratings

Explore how intelligent agents represent domains and reason with propositional and first-order logic, rules, actions, change, and incomplete information.

• YouTube
• 1 day 15 hours
• Self-Paced
• Free Video

NPTEL;  IIT Kharagpur

Artificial Intelligence

2 ratings

An introduction to AI through search, logic programming, planning, Bayesian reasoning, decision trees, and neural-network learning.

• YouTube
• 1 day 4 hours
• Self-Paced
• Free Video

Artificial Intelligence: Concepts and Techniques

A postgraduate survey of AI terminology and techniques spanning reasoning, learning, generative AI, evolutionary methods, programming languages, agents, and ethics.

• Swayam
• 12 weeks
• Available until Oct 9, 2026
• Free Online Course

An interactive introduction to logic programming with Prolog, progressing from foundational logic to structured knowledge and advanced reasoning techniques.

• Independent
• Self-Paced
• Free Online Course

NDC Conferences

Four Languages from Forty Years Ago

Explore SQL, Prolog, ML, and Smalltalk from the 1970s, uncovering their unique philosophies and deriving practical principles applicable to modern programming paradigms.

• YouTube
• 1 hour 2 minutes
• Self-Paced
• Conference Talk

NDC Conferences

Four Languages from Forty Years Ago

Explore SQL, Prolog, ML, and Smalltalk from the 1970s, uncovering their unique philosophies and extracting practical principles relevant to modern programming paradigms.

• YouTube
• 1 hour 5 minutes
• Self-Paced
• Conference Talk

Coursera Community Project Network

Prolog for Beginners

Get a quick taste of logic programming in Prolog using the SWISH web IDE: query relational facts like SQL, then build deductive and graph-style databases.

• Coursera
• No Longer Offered
• Paid Course

Practice solving progressively difficult Prolog problems with an emphasis on elegant, logically clear predicates and declarative specifications.

• Independent
• No Longer Offered
• Free Online Course

CppNow

Maphoon - A C++ Based Parser Generator

Learn to generate C++ parsers with Maphoon, a flexible tool for compiler construction. Explore practical examples, runtime conflict resolution, and efficient regular expression definition in C++.

• YouTube
• 1 hour 30 minutes
• Self-Paced
• Conference Talk