truth value precision adjustment, unit tests are returning to normal
Merge origin/prolog1 into prolog1