Logic Programming in Space-Time: The Case of Situatedness in LPaaS