возврат автоматический ещё 1 ссылка

возвращенные оценки

вопрос типа

"как" ещё 1 ссылка

"почему" ещё 1 ссылка

встроенные операторы

+, -, *, /, div, is, mod ещё 1 ссылка

встроенные процедуры

>, <, >=, =<, =:=, =\=

! ещё 1 ссылка

=..

==

\==

arg

assert

asserta

assertz

atom

atomic

bagof

call

consult

fail

findall

functor

get ещё 1 ссылка

get0 ещё 1 ссылка

integer

is

name ещё 1 ссылка

nl

nonvar

nospy

not

notrace

put

read

reconsult

repeat

retract

see

seen

setof

spy

tab

tell

told

trace

ttyflush

var

write

Г

гамильтонов цикл

главная цель

главный функтор

голова

предложения

списка

головоломка

"восемь"

"ханойская башня"

граф

И / ИЛИ ещё 1 ссылка

направленный

построение пути

представление

Д

двоичное дерево

двоично-троичное (2-3) дерево

двоично-троичный справочник

вставление элемента

двоичный справочник

вставление элемента ещё 1 ссылка

поиск

удаление элемента

двунаправленный поиск

декларативный смысл ещё 1 ссылка

дерево

двоичное

отображение

решающее ещё 1 ссылка

сбалансированное

AVL

2-3

дизъюнкт

дизъюнкция целей

доказательство теорем