Skip to content

Instantly share code, notes, and snippets.

@AdamSaleh

AdamSaleh/gist:5650339

Created May 25, 2013 19:03
Show Gist options
  • Save AdamSaleh/5650339 to your computer and use it in GitHub Desktop.
Save AdamSaleh/5650339 to your computer and use it in GitHub Desktop.
Download ZIP
naive implementation
Raw
gistfile1.clj
(run 10 [knows]
(membero [:pk :a] knows)
(membero [:pk :b] knows)
(fresh [somebody]
(conde
[(nonmembero [:pk somebody] knows)]
[(membero [:pcrypted [:pk somebody] [:nonce somebody]] knows)]))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment