It's my first time hearing of program analysis but the core seems related to what I studied at college and never used again, which was prolog.

Could anyone with more experience give feedback on whether this approach would be useful for business rules? Particularly for debugging a data pipeline where dozens if not hundred of different values at different points in time may have different implications.

Would it be useful to provide this tools for Business Analysts so they have something more solid for they analysis?