No, it relies on that, but the creation of multiple function clauses via different matched heads itself isn't simply pattern matching.