Archive Notes
Search
Search
Dark mode
Light mode
Explorer
Home
❯
University
❯
Year 2
❯
Semester 2
❯
5CCS2PLD Programming Language Design Paradigms
❯
Week 10. Semantics of Logic Programs
Week 10. Semantics of Logic Programs
6 items under this folder.
Jun 18, 2026
2. SLD-Resolution and Back-tracking
Jun 18, 2026
3. Loops and Constructing SLD-Resolution Trees
Jun 18, 2026
1. Unification
Jun 18, 2026
SLD-Resolution
Jun 18, 2026
Tutorial 10
Jun 18, 2026
Principle of Resolution