It sounds like a good use case for logic programming.