Added marg
commentary on amb
Getting started on pl
Basic stuff. Global for now
Macros
Adding to db
Satisfy
Added satisfy
Added prove
Added query
Added query
Added show funs
First cut
First cut
First cut
Fixed ref deref
Working through simplifying
Working through simplifying. Removed head
Working through simplifying. Removed body and pred
Working through simplifying. Removed clear