mendeley.clj

(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))))