арифметика в Прологе
арифметические
операторы
ребусы
арность
атом
атомы
декомпозиция ещё 1 ссылка
синтаксис
создание
ALO
реализация
AVL-справочник
вставление элемента
AVL-дерево
Б
база
данных в Прологе
знаний
быстрая сортировка
В
вариант предложения
вероятностные знания
возврат автоматический ещё 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
