An extension of predicate logic accounting for changes in state, particularly considering databases.
Original paper by Bonner and Kifer
Is this what Epilog does with operations?