I just posted https://news.ycombinator.com/item?id=22830791 in a cousin thread addressing this criticism. Prolog is about more than search, unification is a very very powerful tool for matching and transforming data.