001  (ns wildwood.dengine.engine
002    "An implementation of the DTree engine adapted to `wildwood.schema` propositions."
003    (:require [wildwood.knowledge-accessor :refer [Accessor]]
004              [wildwood.schema :refer [proposition?]]))
005  
006  (defn decide
007    "Decide the truth value of this `proposition`, using the dtree rooted at
008    this `node` and knowledge provided by this `accessor`."
009    ;; how is explanation returned in this schema? We need a richer return value
010    ;; than just a truth value.
011    [proposition node accessor]
012    ;; TODO: implement
013    false)