New Operator: NumericCertainty
Merge branch 'prolog1' of https://github.com/opennars/opennars into prolog1