3 ms·
This kinda sounds like Prolog. Add a bunch of assertions and write a query to validate if it's true/get the missing vars.
by jackling 4y ago
This kinda sounds like Prolog. Add a bunch of assertions and write a query to validate if it's true/get the missing vars.