Sounds like datalog could fit this bill