Skip to content

Instantly share code, notes, and snippets.

@lkuper
Last active December 20, 2015 21:19
Show Gist options
  • Save lkuper/6196850 to your computer and use it in GitHub Desktop.
Save lkuper/6196850 to your computer and use it in GitHub Desktop.
(defn not-membero [elem ls]
(conde
[(emptyo ls)] ;; just succeed if ls is empty
[(fresh [a d]
(conso a d ls)
(!= a elem)
(not-membero elem d))]))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment