CSE 130: Spring 2012
Logic Programming
Ranjit Jhala, UC San Diego
Plan
Language
Terms
Facts
Queries (Implementation: Unification)
Rules
Programs (Implementation:
Backtracking Search
)
Programming
Numeric Computation
Data Structures
Puzzle Solving
Plan
Language
Terms
Facts
Queries (Implementation: Unification)
Rules
Programs (Implementation:
Backtracking Search
)
Programming
Numeric Computation
Data Structures
Puzzle Solving
Implementation: Backtracking Search
TBD
Things get more interesting when queries have variables ...
Term 1
Definition 1
Term 2
with
inline markup
Definition 2
some code, part of Definition 2