что делает косая черта(/)в прологе?

У меня есть этот код:

set_value(X,Value,[X/_|T],[X/Value|T]).
set_value(X,Value,[Y/V|T],[Y/V|NewT):- X\=Y,set_value(X,Value,T,NewT).
set_value(X,Value,[],[X/Value]).

Но я не могу понять, что делает / делает. Похоже, что это пары переменных, но я не уверен на 100%. Это определенно не оператор подразделения. Спасибо.