Prolog topics
12 short topics in Data Structures and Algorithms. Each one is a single focused exercise with a clear piece of evidence at the end.
12 topics, one exercise each.
Work through them in order, or jump to the one you need.
These are draft topic outlines (draft; instructor review pending). Full lessons follow after review; ask Ajay if you need a topic sooner.
- 01
Facts and rule representation
Demonstrate facts and rule representation in a focused Prolog example; verify normal behavior and one edge or failure case. Keep the exercise bounded and record the behavior supported by the chosen version.
Open micro-course → - 02
Term structure
Demonstrate term structure in a focused Prolog example; verify normal behavior and one edge or failure case. Keep the exercise bounded and record the behavior supported by the chosen version.
Open micro-course → - 03
Variable binding and unification
Demonstrate variable binding and unification in a focused Prolog example; verify normal behavior and one edge or failure case. Keep the exercise bounded and record the behavior supported by the chosen version.
Open micro-course → - 04
Goal resolution
Demonstrate goal resolution in a focused Prolog example; verify normal behavior and one edge or failure case. Keep the exercise bounded and record the behavior supported by the chosen version.
Open micro-course → - 05
Recursive relations
Demonstrate recursive relations in a focused Prolog example; verify normal behavior and one edge or failure case. Keep the exercise bounded and record the behavior supported by the chosen version.
Open micro-course → - 06
Search and backtracking behavior
Demonstrate search and backtracking behavior in a focused Prolog example; verify normal behavior and one edge or failure case. Keep the exercise bounded and record the behavior supported by the chosen version.
Open micro-course → - 07
Constraint representation
Demonstrate constraint representation in a focused Prolog example; verify normal behavior and one edge or failure case. Keep the exercise bounded and record the behavior supported by the chosen version.
Open micro-course → - 08
Query composition
Demonstrate query composition in a focused Prolog example; verify normal behavior and one edge or failure case. Keep the exercise bounded and record the behavior supported by the chosen version.
Open micro-course → - 09
Rule organization and modules
Demonstrate rule organization and modules in a focused Prolog example; verify normal behavior and one edge or failure case. Keep the exercise bounded and record the behavior supported by the chosen version.
Open micro-course → - 10
Nontermination and search diagnosis
Demonstrate nontermination and search diagnosis in a focused Prolog example; verify normal behavior and one edge or failure case. Keep the exercise bounded and record the behavior supported by the chosen version.
Open micro-course → - 11
Rule and example testing
Demonstrate rule and example testing in a focused Prolog example; verify normal behavior and one edge or failure case. Keep the exercise bounded and record the behavior supported by the chosen version.
Open micro-course → - 12
Application data integration
Demonstrate application data integration in a focused Prolog example; verify normal behavior and one edge or failure case. Keep the exercise bounded and record the behavior supported by the chosen version.
Open micro-course →
More in Specialist languages and industry programming.
You have the curiosity.
Let’s turn it into capability.
Start with a practical workshop or bring a specific question to Ajay.