Permalink
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

    (solve-logic-variable [q]
                          (let-logic-variable
                            [x a d]
                            (set-or-equals x [0])
                            (set-or-equals x (lcons a d))))
    frenchy64 committed Oct 6, 2011
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
Commits on Sep 6, 2011
  1. Completed JSON example

    frenchy64 committed Sep 6, 2011
Commits on Sep 2, 2011
  1. Removed comments

    frenchy64 committed Sep 2, 2011
Commits on Aug 30, 2011
Commits on Aug 29, 2011
Commits on Aug 3, 2011
  1. Added experimental front end for the type checker.

    ;; Usage
    
    (deftyped
      addInteger
      [Integer :> [Integer :> Integer]]
      [x y]
      (+ x y))
    
    (deftyped
      addDouble
      [Double :> [Double :> Double]]
      [x y]
      (+ x y))
    
    (deftyped
      maxDouble
      [Double :> [Double :> Double]]
      [x y]
      (max x y))
    
    (type-check-form
      '(maxDouble (addDouble 1.0 2.0)
                  (addDouble 2.0 3.0)))
    ;=> (true)
    
    (type-check-form
      '(maxDouble (addDouble 1 2.0)
                  (addDouble 2.0 3.0)))
    ;=> ()
    
    (type-check-form
      '(addDouble 1.1 2.1))
    ;=> (true)
    frenchy64 committed Aug 3, 2011
Commits on Jul 20, 2011
  1. Added direction to wiki

    frenchy64 committed Jul 20, 2011
Commits on Jul 18, 2011
  1. Added thanks

    frenchy64 committed Jul 18, 2011
Commits on Jul 13, 2011