I have absolutely no idea what to do with this but I'mma play around with it.
also just pops into my head https://dbs.informatik.uni-halle.de/microlog/ for an entirely unrelated and completely different project that welds time onto prolog
alt Hacker News
also just pops into my head https://dbs.informatik.uni-halle.de/microlog/ for an entirely unrelated and completely different project that welds time onto prolog