Из-за наличия переменных в предусловиях и действиях процесс обнаружения и разрешения конфликтов усложняется. Например, после добавления к плану действия Move (А, х, В) потребуется следующая причинная связь:

Если имеется другое действие М2 с результатом, то М2 конфликтует, только если переменная z равна B. Чтобы учесть такую возможность, расширим представление планов для включения множества ограничений неравенства в форме, где z — переменная, ах— либо другая переменная, либо константный символ. В данном случае можно было бы разрешить конфликт путем добавления ограничения, которое означает, что в будущих дополнениях к плану разрешается конкретизировать переменную ζ любым значением, кроме В. При каждом применении к плану некоторой подстановки необходимо контролировать, чтобы подобные неравенства не противоречили этой подстановке. Например, подстановка, которая включает х/у, конфликтует с ограничением неравенства. Такие конфликты не могут быть разрешены, поэтому планировщику приходится выполнять возврат.

Более подробный пример планирования по алгоритму POP с переменными в мире блоков приведен в разделе 12.6.