PTQL

Program Trace Query Language (PTQL) is a language based on relational queries over program traces, in which programmers can write expressive, declarative queries about program behavior.