Связанная переменная в программе на языке Prolog:
Анонимная переменная на языке Prolog обозначается символом:
В программе Prolog переменная может изменить свое значение:
Во всей программе Prolog одинаковые атомы:
На языке программирования Prolog константы начинаются:
На языке программирования Prolog переменные начинаются:
В процессе выполнения программы на Prolog, переменная связывается:
Декларативная семантическая модель программы на языке Prolog:
Процедурная семантическая модель программы на языке Prolog:
Встроенный предикат отсечения на языке Prolog обозначается символом: