I recently bought a Sony Camera as well as a key light,

Everything is a fact, all facts have a cause, all state is a conclusion — and Datalog is what makes those three properties guarantees instead of conventions.