Operational and Abstract Semantics of the Query Language G-Log