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