Пролог (мова програмування): відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
м автоматична заміна {{Не перекладено}} вікі-посиланнями на перекладені статті |
Amakuha (обговорення | внесок) |
||
Рядок 170:
* '''Атом''' — це загальна назва без притаманного значення. Прикладами атомів є <code>x</code>, <code>синій</code>, <code>'Пиріжок'</code> та <code>'якийсь атом'</code>.
* '''Числа''' можуть бути [[Число з плаваючою комою|з плаваючою комою]], або [[Цілі числа|цілими]].
* '''Змінні''' позначаються стрічками, що складаються з літер, цифр та [[Знак підкреслення|символів підкреслення]], і починаються з великої літери або символу підкреслення. Змінні дуже подібні до змінних в логіці тим, що вони є позначками-заповнювачами для довільних термів.
* '''Складений терм''' складається з атому, що зветься [[функтор]], та певної кількості аргументів, що в свою чергу теж є термами. Складені терми зазвичай записуються у вигляді функтора, за яким у дужках слідує перелік термів-аргументів через кому. Кількість аргументів називається [[Арність|арністю]] терму. Атом може розглядатися як складений терм нульової арності. <code>рік_машини('Таврія', 1988)</code> та <code>'Друзі_Особи'(грай,[око,тур])</code> є прикладами складених термів.
| |||