Over the past decade, reactive frameworks and languages have become the dominant programming paradigm in front-end web development. In this paradigm, user actions change application state, and those changes propagate reactively to derived state and to the display, reducing the likelihood that various parts of the data model and user-facing view will become out of sync due to programmer error. In this paper, we explore the use of relational programming for specifying the synchronized evolution of model and view across time in response to user input. To that end, we present a reactive Javascript implementation of miniKanren along with a new reactive unification operator for expressing the evolution of the system across time. We find the use of relations to be a promising avenue for further research in interface specification.

I study natural language processing and logic programming to design language based interfaces.