Lecture 9 -- Logic Programming

royal -- toy prolog database
fun -- functions in prolog
lists -- equivalent list syntaxes

Lecture 10 -- Applications of Logic Programming
money -- money puzzle
bcnf -- functional dependencies

Lecture 11 -- Symbolic Interpretation
calc -- calculator language
lambda -- lambda calculus interpreter

