Yes, but the resolver is not specific to sorting. The runtime of Prolog contains...

		rapala on Feb 10, 2017 \| parent \| context \| favorite \| on: There Are Three Programming Paradigms (2013) Yes, but the resolver is not specific to sorting. The runtime of Prolog contains no list sorting code. (Or if it does, it does so as an optimization.)