trace
ttyflush
var
write
Г
гамильтонов цикл
главная цель
главный функтор
голова
предложения
списка
головоломка
'восемь'
'ханойская башня'
граф
И / ИЛИ ещё 1 ссылка
направленный
построение пути
представление
Д
двоичное дерево
двоично-троичное (2-3) дерево
двоично-троичный справочник
вставление элемента
двоичный справочник
вставление элемента ещё 1 ссылка
поиск
удаление элемента
двунаправленный поиск
декларативный смысл ещё 1 ссылка
дерево
двоичное
отображение
решающее ещё 1 ссылка
сбалансированное
AVL
2-3
дизъюнкт
дизъюнкция целей
доказательство теорем
методом резолюций
программа
допустимость поиска
в И / ИЛИ графах
в пространстве состояний
Е
'если-то'-правила
З
задача о восьми ферзях
замкнутость мира
запоминание ответов
И
И-вершина
игровое дерево
игра
двух лиц с полной информацией
формулировка в виде И / ИЛИ графа
И / ИЛИ граф ещё 1 ссылка
допустимость поиска
поиск
в глубину
в ширину
маршрута ещё 1 ссылка
с предпочтением
