Пролог имеет переменные, назначаемые один раз. То есть любая конкретная переменная в Прологе может получить только одно значение, присвоенное ей. Переменная Prolog в любой точке выполнения либо имеет значение, которое впоследствии никогда не может быть изменено.