COMP 410: Logic Programming

Getting Help

Resources

Course Materials

Topic Materials
Introduction
Boolean Satisfiability (SAT) and Semantic Tableau
Introduction to Prolog
Unification and Recursion