Is this the same "Deductive Database" mathematical programming language of Google DeepMind mentioned in the latest 3b1b guest video by Aleph0 (where they say the language doesnt have a name yet)

https://youtu.be/4NlrfOl0l8U?t=4m8s