This reminds me of the Chronolog Programming Language. https://dl.acm.org/doi/pdf/10.1145/331119.331415 https://dl.acm.org/doi/pdf/10.1145/331119.331415 https

This reminds me of the Chronolog Programming Language. https://dl.acm.org/doi/pdf/10.1145/331119.331415 https://dl.acm.org/doi/pdf/10.1145/331119.331415 https://www.researchgate.net/publication/3557566_ChronologZ_linear-time_logic_programming https://www.researchgate.net/publication/3557566_ChronologZ_...