We provide a translation from CTL to Datalog Succ . The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and its various fragments. c) It uses a fragment of Datalog Succ  which is close to the expressive power of CTL.
['Foto N. Afrati', 'Theodore Andronikos', 'Vassia Pavlaki', 'Eugénie Foustoucos', 'Irène Guessarian']
From CTL to datalog