use released core.logic 0.8.0-rc2
Program 17.9: a meta-interpreter for reasoning about uncertainty.

Plus some minor refactorings.
Program 17.10 Reasoning with uncertainty with threshold cutoff.

Expanded the family example a bit.