Come conseguenza delle considerazioni precedenti, escluse le diseguaglianze primitive, ogni sottogoal è candidato alla selezione, includendo anche quelli negativi non ground.
Le diseguaglianze valide o soddisfacibili, che sono selezionabili, possono essere identificate attraverso l'uso dell'unificazione.
Una diseguaglianza 
è considerata insoddisfacibile se 
ed 
sono identici, cioè sono unificabili senza legami di variabili;
una diseguaglianza è valida se 
ed 
non sono unificabili.
Una diseguaglianza preceduta dal quantificatore universale 
(
) è insoddisfacibile se 
ed 
possono essere unificati con legami delle sole variabili quantificate universalmente;
tale diseguaglianza è valida se 
ed 
non sono unificabili.
Una regola di computazione efficiente è quella che seleziona una disuguaglianza insoddisfacibile il più presto possibile; infatti la selezione di tale diseguaglianza porterà al fallimento immediato del goal a cui appartiene il predicato selezionato.
In un sistema Prolog si può pensare di prendere come base la regola "left to right", cioè scegliere il predicato più a sinistra se è selezionabile, altrimenti tralasciarlo per il momento e passare a quello successivo.