preference_conflict.clj

logic-introduction.facts=> (fact prefer Float Integer)
nil
logic-introduction.facts=> (fact prefer Integer Float)
nil
logic-introduction.facts=> (run* [q]
                                 (sort-by-preference
                                   [Integer Float Object] q))
#<RuntimeException java.lang.RuntimeException: java.lang.Exception: Ambiguous preference: class java.lang.Floatclass java.lang.Integer>