[clord]

This reminds me of an old idea I’ve toyed with. In a logic class in university we talked about how some logic is time dependent, like A is true 2 hours after B becomes true. I was inspired to try to think through a language like prolog that could model and solve these relations through time. Didn’t get far with it since it’s a hard problem and I had too many classes that term. I was thinking it would be useful for clockless chips.

[raincom]

It is called Temporal logic or tense logic[1][2]. Linear time temporal logic is used in formal verification.

[1] https://plato.stanford.edu/entries/logic-temporal/

[2] https://en.wikipedia.org/wiki/Temporal_logic

[PedroBatista]

Not sure if it's exactly what you're looking for but see this paper: https://ceur-ws.org/Vol-2785/paper9.pdf ( A Language for Timeline-based Planning )