Для операторов сравнения (=, =:=, \=, =\=):
= успешно, если термины объединяют (в основном, если они связаны друг с другом) =:= успешен, если значения терминов равны (должен быть эквивалентен =, если вы имеете дело с числами, я полагаю) \= является отрицанием ==\= является отрицанием =:=
Для получения дополнительной информации об этих операторах и дополнительной информации см. эту страницу .
Для операторов списка [X|Y] - это способ ссылки на список, где X - первый элемент, а Y - список оставшихся элементов. [X, Y] - это просто еще один способ сослаться на это, но он ограничивает Y тем, что он является одним элементом, а не, возможно, целым их списком. Для получения дополнительной информации см. этот раздел той же страницы .