Skip to content

Instantly share code, notes, and snippets.

@si14
Created November 27, 2012 17:58
Show Gist options
  • Save si14/4155884 to your computer and use it in GitHub Desktop.
Save si14/4155884 to your computer and use it in GitHub Desktop.
(defn foobar []
(defn dominanto [dominance strand1 strand2 fenotype]
(conda [(membero strand1 dominance)
(== fenotype strand1)]
[(membero strand2 dominance)
(== fenotype strand2)]
[(== strand1 strand2)
(== fenotype strand1)]))
(defn inherito [dominance parent1 parent2 fenotype]
(fresh (strand1 strand2)
(membero strand1 parent1)
(membero strand2 parent2)
(dominanto dominance strand1 strand2 fenotype)))
(let [parent1 [:a :b]
parent2 [:a :b]
dominance [:a]]
(run* [fenotype]
(inherito dominance parent1 parent2 fenotype))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment