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})