Carnap's inductive logic programs showed that formalizing similarity-based priors inevitably embeds ...