Permalink
Switch branches/tags
Nothing to show
Commits on Mar 12, 2013
Commits on Jan 9, 2012
  1. Correct misplaced docstrings

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

    frenchy64 committed Jan 6, 2012
  2. nil -> false

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

    frenchy64 committed Jan 4, 2012
  2. Add convo with Tassilo

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

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

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

    frenchy64 committed Jan 3, 2012
  3. Add join example

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

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

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

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

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

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

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

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

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

    frenchy64 committed Sep 8, 2011
  2. Tweaked printing

    frenchy64 committed Sep 8, 2011
  3. Changes to fact hierarchy

    frenchy64 committed Sep 8, 2011