Datalog is the safe subset of Prolog. http://abiteboul.blogspot.com/2012/08/datalog-revival-for-da...