#+Title: Forward Chaining
#+Subtitle: Or, a Common Lisp Logic System
#+AUTHOR: Samuel W. Flint
#+EMAIL: swflint@flintfam.org
#+DATE: <2016-09-28 Wed 21:32>
#+INFOJS_OPT: view:info toc:nil path:http://flintfam.org/org-info.js
#+OPTIONS: toc:nil H:5 ':t *:t todo:nil stat:nil d:nil
#+PROPERTY: header-args :noweb no-export :comments noweb
#+LATEX_HEADER: \usepackage[margins=0.75in]{geometry}
#+LATEX_HEADER: \parskip=5pt
#+LATEX_HEADER: \parindent=0pt
#+LATEX_HEADER: \lstset{texcl=true,breaklines=true,columns=fullflexible,basicstyle=\ttfamily,frame=lines,literate={<=}{$\leq$}1 {>=}{$\geq$}1}
#+LATEX_CLASS_OPTIONS: [10pt,twoside]
#+LATEX_HEADER: \pagestyle{headings}

* Export                                                           :noexport:
:PROPERTIES:
:CREATED:  <2016-09-28 Wed 21:33>
:END:

#+Caption: Export Document
#+Name: export-document
#+BEGIN_SRC emacs-lisp :exports none :results none
  (save-buffer)
  (let ((org-confirm-babel-evaluate
         (lambda (lang body)
           (declare (ignorable lang body))
           nil)))
  (org-latex-export-to-pdf))
#+END_SRC

* Tangle                                                           :noexport:
:PROPERTIES:
:CREATED:  <2016-09-28 Wed 21:33>
:END:

#+Caption: Tangle Document
#+Name: tangle-document
#+BEGIN_SRC emacs-lisp :exports none :results none
  (save-buffer)
  (let ((python-indent-offset 4))
    (org-babel-tangle))
#+END_SRC

* Introduction
:PROPERTIES:
:CREATED:  <2016-09-28 Wed 21:32>
:UNNUMBERED: t
:END:

* TOC                                                                :ignore:
:PROPERTIES:
:CREATED:  <2016-09-28 Wed 21:33>
:END:

#+TOC: headlines 3
#+TOC: listings

* Storage
:PROPERTIES:
:CREATED:  <2016-09-29 Thu 10:02>
:END:

* Rule Definition
:PROPERTIES:
:CREATED:  <2016-09-29 Thu 10:02>
:END:

* Data Definition
:PROPERTIES:
:CREATED:  <2016-09-29 Thu 10:02>
:END:

* Data Querying
:PROPERTIES:
:CREATED:  <2016-09-29 Thu 10:02>
:END:

* Regenerate Data
:PROPERTIES:
:CREATED:  <2016-09-29 Thu 10:02>
:END:

* Packaging
:PROPERTIES:
:CREATED:  <2016-09-29 Thu 10:02>
:END:

#+Caption: Packaging
#+Name: packaging
#+BEGIN_SRC lisp :tangle "logic.lisp"

#+END_SRC