Prolog cuenta con operadores para la unificación y comparación, sea con evaluación o sea simbólica, como los siguientes: