gistfile1.clj

; 'in returns seq
; 'lte returns (reduce join seq)
; 'in? filters by pattern
; 'lte? tests value by lattice ordering
; 'is? matches by pattern (non-monotonic)

; path membership
(d/deduct (in :path [a c])
          (in? :edge [?a ?b])
          (in? :path [?b ?c]))

; voting
(d/deduct (lte :finished true)
          (is? :votes #(> (count %) threshold)))

; nosql
(d/deduct (in :store [key (->Causal vc val)])
          (in? :puts {:key ?key :vc ?vc :val ?val}))
(d/deduct (lte :vc vc)
          (in? :puts {:vc ?vc}))

; extensibility 

(defmacro in [table pattern] ...) ; ==> AST (with mono/morph methods)
; deduct/induct do compile . chain . eval

i cannot haz fractalz here :O :(