Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
; '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
@syntacticsugar

This comment has been minimized.

Copy link

commented Nov 27, 2012

hmmmmm

@syntacticsugar

This comment has been minimized.

Copy link

commented Nov 27, 2012

i cannot haz fractalz here :O :(

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.