Currently Being Moderated
What do you mean by inductive reasoning? What are you hoping to use OPA for?
OPA is purely declarative deductive logic. I.e. if A is true if B is false, and B is false, then A is true.
It can also tell you what information it needs to know in order to make those deductions. I.e. if you want to know if A is true, it will tell you it needs to know B.
This is traditionally known as backward and forward chaining logic in rule engine parlance...but neither are "inductive" the way I understand that term.
OPA also uses "if and only if" logic for all rules. I.e. in the example above, if B is true, then A is false. However, if B is not yet known, then A is said to also be unknown.
Davin.