Docs for conjunction / disjunction
Docs for conjunction / disjunction done as a first-pass
Docs for LVar
Docs for Bindings underway
Docs for Bindings done
Docs for unify done
Goals document
Logic programs
Tweaks for docco gen
Docco docs