Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Mar 10, 2015
  1. @amalloy @swannodette

    Add functional disjunction/conjunction operators.

    amalloy authored swannodette committed
    conde and all don't need to be macros, so here they are as functions.
Commits on Dec 18, 2014
  1. @swannodette

    convert tests to cljs.test

    swannodette authored
Commits on Dec 16, 2014
  1. @swannodette
  2. @swannodette

    breaking changing, `cljs/core/logic/macros.clj` ->

    swannodette authored
    `cljs/core/logic.clj` to be compatible with `:include-macros`,
    `:refer-macros` usage
Commits on Nov 24, 2014
  1. @swannodette

    Fixes LOGIC-118 by making prep* handle collections.

    Jennifer Smith authored swannodette committed
Commits on Oct 16, 2014
  1. @swannodette
Commits on Jul 6, 2014
  1. @swannodette

    LOGIC-160: Disequality on pairs not respected

    swannodette authored
    IDisunifyTerms was not defined for LCons
  2. @swannodette
Commits on May 31, 2014
  1. @swannodette
Commits on May 18, 2014
  1. @swannodette
Commits on Mar 29, 2014
  1. @swannodette
Commits on Feb 8, 2014
  1. @swannodette
  2. @swannodette

    conjo tests

    swannodette authored
Commits on Dec 31, 2013
  1. @jafingerhut @swannodette

    Fix several problems with unit tests

    jafingerhut authored swannodette committed
    A few were of the form (is (= expr1) expr2), which always passes.
    Changed these to (is (= expr1 expr2)).
    
    Many had extraneous [] after the deftest name.  deftest does not have
    arguments like defn or defmacro.  These were harmless.  The only
    strange behavior they caused was to evaluate an empty vector for those
    tests, and then go on to the tests in the deftest.  However, it does
    seem best to remove them.
Commits on Dec 20, 2013
  1. @jafingerhut @swannodette

    Fix several issues found by linting core.logic

    jafingerhut authored swannodette committed
    + Several misplaced doc strings.
    
    + Several deftest names that were identical in the same namespace,
      causing the earlier one's tests never to be run.
    
    + Some missing (is ...) wrappers around unit tests (caught by linter
      because the first one's return value was discarded).
Commits on Nov 26, 2013
  1. @swannodette

    CLJS-145: partial map bug

    swannodette authored
    make featurec more relation, feature map no longer need be
    ground. Cleanup featurec reification a bit. Needed to walk the value in
    the other map in unify-with-pmap*. Add test
  2. @swannodette
Commits on Oct 16, 2013
  1. @orb @swannodette

    remove old defrel

    orb authored swannodette committed
Commits on Oct 11, 2013
  1. @orb @swannodette

    integrate pldb

    orb authored swannodette committed
Commits on Jul 4, 2013
  1. @orb @swannodette

    fix unification on relations

    orb authored swannodette committed
Commits on Jun 9, 2013
  1. @stanislas @swannodette
  2. @swannodette
Commits on May 17, 2013
  1. @swannodette

    fix bug in `nafc` implementation. We must force scheduling thunks to

    swannodette authored
    determine if we have a real answer - unit, choice, or mzero. add test
    cases illustrating membero and a negated membero.
Commits on May 16, 2013
  1. @swannodette

    cleanup tests

    swannodette authored
  2. @swannodette
Commits on May 9, 2013
  1. @swannodette

    `membero` disequality change significantly slowed down its

    swannodette authored
    performance. Instead revert `membero` and provide a new goal
    `member1o` that uses disequality.
Commits on May 8, 2013
  1. @austinhaas @swannodette

    Update membero to use disequality constraints. This can break code th…

    austinhaas authored swannodette committed
    …at depends upon what is considered a flaw in the previous version.
    
    Before: (run* [q] (membero q [1 1 1])) ;; => '(1 1 1)
     After: (run* [q] (membero q [1 1 1])) ;; => '(1)
Commits on May 6, 2013
  1. @swannodette

    LOGIC-132: "PMap is non-storable" exception when using featurec with

    swannodette authored
    nested feature map.
    
    The recursive `featurec` support was a bit naive. `unify-with-pmap*`
    nows handles the various cases properly.
Commits on Apr 20, 2013
  1. @swannodette
Commits on Apr 19, 2013
  1. @swannodette

    refactor constraints to use IConstraintStep, this way we can avoid

    swannodette authored
    unnecessary calls to `get-dom` while retaining the flexibility to call
    `-runnable?`, `-entailed?`, and constraint invocation in whatever
    order we please.
    
    refactor protocols to use ClojureScript style naming convention - this
    is prep for eventual unification of the two code bases.
Commits on Apr 10, 2013
  1. @jirkamarsik @namin

    Fixed LOGIC-127, nom swapping now preserves vectors and maps

    jirkamarsik authored namin committed
    Signed-off-by: amin <nada.amin@epfl.ch>
Commits on Apr 9, 2013
  1. @swannodette

    fix bug from Zurich talk, simple equation example could not have the

    swannodette authored
    fd/in expression come last because of a bug in domc.
Commits on Apr 4, 2013
  1. @swannodette
  2. @swannodette

    domain? as currently used unnecessary. let-dom always returns nil when

    swannodette authored
    a var has no domain. simplify.
Something went wrong with that request. Please try again.