3 ms·

This is what prolog was made for. You might have good luck with googling "constraint-based programming"