API to make snapshot queries in Datalog.Query module;
work in progress for implementation
deep copy of DB implemented