% CSE 130: Spring 2012
% Logic Programming
% Ranjit Jhala, UC San Diego 

## Plan 

### Language

1. Terms
2. Facts
3. Queries  (Implementation: Unification)
4. Rules
5. Programs (Implementation: **Backtracking Search**)

### Programming

- Numeric Computation
- Data Structures
- Puzzle Solving

## Plan 

### Language

1. Terms
2. Facts
3. Queries  (Implementation: Unification)
4. Rules
5. 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