Ability to query the logic

[buddha314]

New feature request (may be out of scope)

Prolog offers the ability to ask which atoms satisfy the logic, For instance friends(mary,X) will give all friends of Mary. In PyReason, please provide similar capabilities augmented with

• The time step at which it became true
• The probability associated with the truth value

It would be extraordinary if PyReason could also provide reasons for failure along the logical train. If Mary cannot be Friends with John because she doesn't not have a cat, this could have far-ranging applications.