Abstract: Systems and methods for utilizing a single sequence of operations for querying data and processing operations on the data when that is stored in an extended form of predicate logic are described herein. The systems and methods described herein may support storing, querying, and performing operations on data stored in a form of predicate logic that is extended to include quoting. The inclusion of quoting enables predicate logic to store data about queries and rules, thereby allowing queries and operations on data about queries and rules. This extended form of data in combination with the infrastructure described herein allows for the creation of entire applications that are defined in the same data language as the data process by that application. This creates a unified infrastructure that enables user to query, analyze, and process both applications and the data processed by those applications via a common method.

Abstract: Systems and methods for utilizing a single sequence of operations for querying data and processing operations on the data when that is stored in an extended form of predicate logic are described herein. The systems and methods described herein may support storing, querying, and performing operations on data stored in a form of predicate logic that is extended to include quoting. The inclusion of quoting enables predicate logic to store data about queries and rules, thereby allowing queries and operations on data about queries and rules. This extended form of data in combination with the infrastructure described herein allows for the creation of entire applications that are defined in the same data language as the data process by that application. This creates a unified infrastructure that enables user to query, analyze, and process both applications and the data processed by those applications via a common method.