I had the opportunity of use one of the first AI programming languages, Prolog. It was different only in that it was not structured. Instead it was given a list of constraints and a goal to be used on a finite set. It can recall information very quickly and solve problems but the bottom line is: AI in its present form can't do anything like program itself and dominate the world. It still only chooses from what it is given. If it becomes pesky, simply unplug the thing. After all, it is only a complex appliance.