“…This paper defines the model semantics of Starlog based on the stable model semantics [17]. Unlike other CLP languages such as [22,10,12,11,30,5,46], Starlog uses an explicit parameter for time. This can be thought of putting timestamps on truth values.…”