12.2.1. Стратегия предпочтения одночленов

Если предложения содержащие соответственно тип литералов, можно разрешить друг с другом, то их резольвента содержит не более литералов. Если в одном из этих предложений, скажем Си содержится только один литерал, то этот литерал должен участвовать в резолюции, и резольвента будет содержать литералов. Поскольку цель рассматриваемой программы — получить предложение, не содержащее литералов, то это — шаг в нужном направлении. В стратегии предпочтения одночленов требуется, чтобы на каждом шаге вывода все резолюции, использующие предложения только с одним литералом (одночлены), вычислялись прежде других резолюций. В более общем случае резолюции, использующие короткие предложения, выполняются перед резолюциями с более длинными предложениями.

Предпочтение одночленов служит примером синтаксической стратегии, поскольку выбор этой стратегии зависит только от структурных свойств предложений, участвующих в резолюции. Стратегия предпочтения одночленов относится к упорядочению, а не к очищению, так как она меняет лишь порядок выполнения резолюций, но ни одну из возможных резолюций не исключает из рассмотрения.