There was a comparison of user expectations in web and database search. Database users expect the search result to include all relevant data, exclude all non-relevant data, and to get an explanation if something look out of place. Web users' expectations are lower, they accept false positives and omissions as long as some elements of the result seem to be correct.

Prolog is like a database. It is mechanical. AI is like web search (which it essentially is).