Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification