So prolog program is a means for doing logical inference by describing what you know and allowing the program to do very deep inference of combining all those clauses, and what Stuart was saying was in the past, his students could do that but only on one percent of their subject matters, they knew very deeply about one thing and they could reason deeply in that area, and usually get a thesis out of it. 