Prolog
Шрифт:
абстракция данных
автомат недетерминированный
автоматический возврат ещё 1 ссылка
альфа-бета алгоритм
программная реализация
эффективность
анонимная переменная
арифметика в Прологе
арифметические
операторы
ребусы
арность
атом
атомы
декомпозиция ещё 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
trace
ttyflush
var
write
Г
гамильтонов цикл
главная цель
главный функтор
голова
предложения
списка
головоломка
"восемь"
"ханойская башня"
граф
И / ИЛИ ещё 1 ссылка
направленный
построение пути
представление
Д
двоичное дерево
двоично-троичное (2-3) дерево
двоично-троичный справочник
вставление элемента
двоичный справочник
вставление элемента ещё 1 ссылка
поиск
удаление элемента
двунаправленный поиск
декларативный смысл ещё 1 ссылка
дерево
двоичное
отображение
решающее ещё 1 ссылка
сбалансированное
AVL
2-3
дизъюнкт
дизъюнкция целей
доказательство теорем
методом резолюций
программа
допустимость поиска
в И / ИЛИ графах
в пространстве состояний
Е
"если-то"-правила
З
задача о восьми ферзях
замкнутость мира
запоминание ответов
И
И-вершина
игровое дерево