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)