Pero en Prolog, a diferencia de los lenguajes imperativos, dicho rol es intercambiable en la