Transform equivalences into definitions

[Joachim Jansen]

Detect when one side of an equivalence can be defined (and calculated using XSB) depending on the other one. Example:

P(x) <=> Q(x) and Q(x) is two-valued.

If we transform this into the definition

{P(x) <- Q(x). }

This can be calculated using XSB.

[Joachim Jansen]

Should this not be handled by approximation instead of implementing it manually?

[Bart Bogaerts]

Neen. De approximatie is onvolledig. Bovendien zal de approximatie beter werken indien er meer dingen al gekend zijn. Als we dingen al op voorhand kunnen uitrekenen, is dat altijd beter!