Control in Prolog

  1. What is resolution order control in Prolog? Why is it important? How is it managed in general (no constructs)?