[Avshalom]

I have absolutely no idea what to do with this but I'mma play around with it.

[Avshalom]

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