“Extempore is a programming language and runtime environment designed to support ‘cyberphysical programming’. Cyberphysical programming supports the notion of a human programmer operating as an active agent in a real-time distributed network of environmentally aware systems. The programmer interacts with the distributed real-time system procedurally by modifying code on-the-fly.”
Sort of related: Jason Hemann recently posted a port of miniKanren that runs on it: https://github.com/jasonhemann/mini-over-micro-extempore That combination sounds particularly fun :)