Permalink
Commits on Mar 12, 2013
Commits on Jan 9, 2012
  1. Correct misplaced docstrings

    committed Jan 9, 2012
Commits on Jan 6, 2012
  1. Add ns-mapo

    committed Jan 6, 2012
  2. nil -> false

    committed Jan 6, 2012
Commits on Jan 4, 2012
  1. Some docs, examples

    committed Jan 4, 2012
  2. Add convo with Tassilo

    committed Jan 4, 2012
  3. Add "database" extension

    committed Jan 4, 2012
Commits on Jan 3, 2012
  1. Add permission query

    committed Jan 3, 2012
  2. Add query example as a goal

    committed Jan 3, 2012
  3. Add join example

    committed Jan 3, 2012
Commits on Dec 21, 2011
  1. Add docstring for successor

    committed Dec 21, 2011
Commits on Nov 20, 2011
  1. Added database interaction

    committed Nov 20, 2011
Commits on Nov 2, 2011
Commits on Oct 29, 2011
  1. Upgraded core.logic version

    committed Oct 29, 2011
Commits on Oct 9, 2011
Commits on Oct 6, 2011
  1. Playing around with unifier, needs fixing

    (solve-logic-variable [q]
                          (let-logic-variable
                            [x a d]
                            (set-or-equals x [0])
                            (set-or-equals x (lcons a d))))
    committed Oct 6, 2011
Commits on Sep 30, 2011
  1. More changes

    committed Sep 30, 2011
  2. Fixed append (thanks Dave Ray)

    committed Sep 30, 2011
Commits on Sep 26, 2011
Commits on Sep 25, 2011
  1. Tweaks

    committed Sep 25, 2011
  2. More changes to talk ideas

    committed Sep 25, 2011
Commits on Sep 9, 2011
Commits on Sep 8, 2011
  1. More tweaks

    committed Sep 8, 2011
  2. Tweaked printing

    committed Sep 8, 2011
  3. Changes to fact hierarchy

    committed Sep 8, 2011