Scalable thermal datalog system

Only for SSI+