Hi Daniel, Manuel,
As far as I understand, pattern search was introduced as a pedagogical framework much later (around 1989) than Prolog was invented. Pattern search is a generic template that can accommodate SLD resolution, since “proof search” is indeed an instance of a search algorithm (where search algorithms are much older than Prolog of course). However, this does not mean that every proof search algorithm is simply pattern search. The devil is in the details: Prolog (and logic programming in general) usually deals more with the symbolic nature of the problem—unification, constraints, etc.—beyond just search.
By the way, this topic may be relevant to any Prolog implementation, so it could be of interest at https://discourse.prolog-lang.org/.