🇿 Jason Eisner Nathaniel W. Filardo Oege de Moor Georg Gottlob Tim Furche Andrew Sellers Dyna: Extending Datalog for Modern AI (2011)