software able to infer logical consequences from a set of asserted facts or axioms
Nothing in the MetaHistoryBook collection references this item yet.