Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Доорс Дж. — Пролог — язык программирования будущего
Доорс Дж. — Пролог — язык программирования будущего



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Пролог — язык программирования будущего

Автор: Доорс Дж.

Аннотация:

Настоящее введение в Пролог содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсии, структуры данных (списки и деревья), операторы и процедуры, встроенные функции для отладки программ и работа с БД. Книга может быть рекомендована как учебник и как компактное справочное издание.
Для программистов, специалистов в области искусственного интеллекта и баз данных.


Язык: ru

Рубрика: Computer science/

Серия: Сделано в холле

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1990

Количество страниц: 144

Добавлена в каталог: 28.10.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
*      27
+      27
-      27
/      27
<      27
<-      27
=      27
=:=      27
=\=      27
>      27
?-      22
asserta      70 86
assertz      70 86
bagof      48
CALL      114 116
CLOSE      93
consult      23 86
Core      117
Display      92
div      27
exit      114 116
fail      114 116
import      95
IS      29
Length      71
listing      94
MOD      27
Module      95
nodebug      116
nospy      115
nospyall      116
notrace      113
notraceall      113
Omni      95
open      93
READ      90
readb      90
reconsult      23 87
Redo      114 116
REPEAT      73
retract      70 86
sacred      95
SAVE      88
see      92
seeing      93
seen      93
setof      48
spy      110 115
Statistics      110 117
tell      93
telling      93
told      93
Trace      110 113
Tracing      111
User      23
VISA      95
WRITE      91
writeq      92
Анонимная переменная (anonymous variable)      17 19
Арифметические выражения (arithmetic expression)      27
Арифметические операторы (arithmetic operators)      21 22 27
Арифметические списковые выражения (arithmetic list expressions)      27
Арность (arity)      19
Ассоциативность оператора (associativity of an operator)      58 59
База данных (database)      22 85
Бесконечные циклы (infinite loops)      79
Бинарное дерево (binary tree)      52
Ввод/вывод (input/output)      84
Верхний уровень интерпретатора (top level)      114
Взаимоисключающие утверждения (exclusive clauses)      79 80
Видимый (visible)      95
Восходящая стратегия (build_up strategy)      36
Встроенные предикаты (built_in predicates)      84
Входной поток (input stream)      92
Вызов неудачного завершения доказательства цели (factorising failure)      82
Выходной поток (output stream)      92
Главный функтор (principal functor)      19 57
Голова (head)      21 44
Граничные условия (base cases)      31
Декларативное описание (declarative description)      74 83
Дерева решений обход (traversing a decision tree)      98 103
Дерева решений представление (representation of a decision tree)      97
Дерево решений (decision tree)      96
Дерево решений без циклов (non-circular decision tree)      98
Дизъюнкция (disjunction)      15
Директива (directive)      17
Запросы (queries)      22
Именованная переменная (named variable)      19
Инфиксный оператор (infix operator)      58
Использование памяти (memory usage)      117
Квантор всеобщности (universal quantifier)      24
Квантор существования (existential quantifier)      24
Компоненты (components)      19 57
Конкретизация (instantiation)      74
Конкретизация переменных (instantiation of variables)      24
Константа (constant)      17
Контрольная точка (spy point)      114
Конъюнкции оператор (conjunction operator)      21
Конъюнкция (conjunction)      14
Левоассоциативный (left associative)      60
Ловушки отсечения (pitfalls of the cut)      83
Математические функторы (mathematical functors)      28
Механизм возврата (backtracking)      65 66
Механизм прерывания (interrupt mechanism)      112
Наиболее общий унификатор (most general unifier)      25
Область действия переменной (scope of a variable)      19
Обработка файлов (file handling)      84
Обработка фактов (processing facts)      72
Объявление операторов (declaring operators)      62
Отладка (debugging)      110
Отсечение (cut)      77
Параметры трассировки (tracing options)      113
Переменная (variable)      17
Побочные эффекты (side effects)      75 85
Позиция оператора (position of an operator)      58
получить      47
Постфиксный оператор (postfix operator)      58
Правило (rule)      21
Правоассоциативный (right associative)      60 61
Предложение (sentence)      21
Представление лабиринта (representing a maze)      66
Представление множеств (representing sets)      53
Преобразования функторы (conversion functors)      28
Префиксный оператор (prefix operator)      58
Принадлежит      45
Принадлежность множеству (set membership)      53
Приоритет оператора (precedence of an operator)      58
Приоритетный номер (precedence number)      59
Присоединить      46
Программный модуль (code module)      85
Процедурная семантика (procedural meaning)      74
Процедуры характеристики (characteristics of procedure)      74
Прямая трассировка (forward tracking)      66 87
Рад Фибоначчи (Fibonacci sequence)      41
Режим контрольных точек (spy mode)      115
Режим трассировки (tracing mode)      114
Рекурсия (recursion)      30
Сборка мусора (garbage collection)      86
Свободная переменная (free variable)      19
Синтаксис операторов (operator syntax)      57
Синтаксис программ (syntax of programs)      118
Синтаксис Пролога (syntax of Prolog)      23
Синтаксис термов (syntax of terms)      119
Системные операторы (system operators)      64
Сложение многочленов (adding polynomials)      48
Согласовать (satisfy)      21
Согласовать вновь (resatisfy)      66
Спецификаторы (specifiers)      60
Списки (lists)      43
Списки как термы (lists as terms)      51
Стратегия «разделяй и властвуй» (divide and conquer strategy)      31
Структура (structure)      57
Структурированные термы (structured terms)      19
Сцепление (sharing)      74
Термы (terms)      17
Унарные функторы (unary functors)      28
Унификация (unification)      24 76
Утверждения (clauses)      21
Факт (fact)      21
Хвост (tail)      21 44
Циклические унификаторы (circular unifiers)      25
Экспортировать (export)      95
Эффективности вопросы (efficiency considerations)      75 84
«При условии, что» оператор ('provided that' operator)      21
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте