|
||||
Назад | Содержание| Вперёд ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ empt...Назад | Содержание| Вперёд ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ А абстракция данных автоматнедетерминированный автоматическийвозврат ещё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 дизъюнкт дизъюнкция целей доказательство теорем методом резолюций программа допустимость поиска в И / ИЛИ графах в пространстве состояний Е "если-то"-правила З задача о восьмиферзях замкнутость мира запоминаниеответов И И-вершина игровое дерево игра двух лиц с полной информацией формулировкав виде И / ИЛИ графа И / ИЛИ граф ещё 1 ссылка допустимость поиска поиск в глубину в ширину маршрута ещё 1 ссылка с предпочтением ещё 1 ссылка представление игровых задач процедуры поиска решающее дерево ИЛИ-вершина инженериязнаний интерпретаторпрограмм, управляемых образцами К категорическиезнания комбинаторнаясложность комбинаторныйвзрыв комментарии вПрологе конкатенациясписков конкретизация наиболееобщая переменной конфликтноемножество конъюнктивнаянормальная форма конъюнкция целей коэффициент достаточности ещё 1 ссылка необходимости ещё 1 ссылка определенности Л логика взаимосвязьс Прологом предикатов1-го порядка пропозициональная М машиналогического вывода методология программирования отладка эффективность минимаксныйпринцип минимаксныепрограммы минимакснаяпроцедура модель Prospector'a ещё 1 ссылка модуль,управляемый образцом мягкие знания Н наиболее общаяконкретизация направленныйграф недетерминированныйавтомат неопределенность(в экспертных системах) О обобщение оболочка(экспертной системы) объекты данныхПролога объяснение типа "как" "почему" ограничения находы окончание"король и ладья против короля" программа операторнаянотация операторотсечения ещё1 ссылка операторы вПрологе предопределенные приоритет операторов сравнения тип оператора основнойвариант остовное дерево программапостроения ещё1 ссылка откомпилированнаяпрограмма отладка отрицание какнеуспех отсечения ещё 1 ссылка зеленые красные оценочнаяфункция (в играх) П перебор ограничение управление переменная анонимная конкретизация синтаксис перестановкисписка планирование(прохождения задач) поиск вглубину с ограничением в ширину с предпочтением ещё 1 ссылка в И / ИЛИ графах в пространстве состояний последовательноеуглубление построениемаршрута ещё1 ссылка И / ИЛИ-представление построение пути поток входной выходной пошаговаядетализация правила в Прологе ещё 1 ссылка типа "если-то" предложение вариант голова ещё 1 ссылка конкретизация тело ещё 1 ссылка принципрезолюции ещё1 ссылка приоритетоператоров программа-интерпретатор программа,управляемая образцами программированиев терминах образцов ещё 1 ссылка продукции прозрачностьсистемы пространствосостояний допустимостьпоиска представление ещё 1 ссылка процедура в Прологе табличная организация процедурныйсмысл ещё 1ссылка Р работа с базойданных равенства типы разрешениеконфликта ещё1 ссылка раскраска карты(программа) распространениеоценок по сети вывода рекурсия решающее дерево ещё 1 ссылка С сбалансированноедерево сведение задач кподзадачам селектор сеть вывода система автоматическогодоказательства теорем основаннаяна знаниях управляемаяобразцами смысл декларативный ещё 1 ссылка процедурный ещё 1 ссылка сопоставление ещё 1 ссылка ещё 1 ссылка собразцами сортировка быстрая методом"пузырька" совставками списков списковаяструктура список внесениеэлемента голова длина добавлениеэлемента ещё1 ссылка конкатенация перестановки подсписок представление принадлежность ещё 1 ссылка разбиение разностноепредставление сортировка удалениеэлемента хвост справочник двоичный AVL 2-3 статическиеоценки степень доверия стильпрограммирования комментарии стилистическиеправила структурноепрограммирование структурныеобъекты структуры вПрологе субъективнаяуверенность Т таблица советов тело предложения терм включение копия ещё 1 ссылка унификация Ф файл user файлы в Прологе термов факты в Прологе формула Хорна форсированноедерево функтор арность главный Х хвост списка Ц цель достижима имеет неуспех логически следует недостижима терпит неудачу успешна цели вычисление списка дизъюнкция конъюнкция Ч числа в Прологе чистый Пролог Ш шаг резолюции ещё 1 ссылка Э эвристическиеоценки эвристическийпоиск ещё 1ссылка эвристическоеотсечение экспертнаясистема элементарныйсовет выполнимость эффектгоризонта Назад | Содержание| Вперёд |
|
|||
|
Главная | В избранное | Наш E-MAIL | Добавить материал | Нашёл ошибку | Наверх |
||||
|
|
||||
