Yes.
EDIT: More seriously, it's not the case that Prolog is the only language or mechanism for this. And there can be benefits to the ways other rules systems work (assumptions they make, search algorithms underlying them, etc.).
EDIT: More seriously, it's not the case that Prolog is the only language or mechanism for this. And there can be benefits to the ways other rules systems work (assumptions they make, search algorithms underlying them, etc.).