Skip to content

Instantly share code, notes, and snippets.

@noprompt

noprompt/oppositeo.clj Secret

Created November 7, 2014 16:48
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save noprompt/edcaadf12c994869382d to your computer and use it in GitHub Desktop.
Save noprompt/edcaadf12c994869382d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
oppositeo.clj
(let [a "dark"
b "light"
?x "light"]
(l/run* [g]
(l/fresh [?a]
(l/conde
[(l/== ?a a)
(l/== g b)]
[(l/== ?a b)
(l/== g a)])
(l/== ?a ?x))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment