Начать новую тему Ответить на тему
Статистика раздачи
Размер: 3.85 МБ | | Скачали: 4
Сидеров: 1  [0 байт/сек]    Личеров: 0  [0 байт/сек]
Пред. тема | След. тема 

Автор
Сообщение

Ответить с цитатой 

Язык программирования ПРОЛОГ

Год издания: 1993
Автор: Стобо Дж.
Жанр или тематика: Программирование

Издательство: Радио и связь
ISBN: 978-5-256-00921-4
Язык: Русский

Формат: DjVu
Качество: Отсканированные страницы
Интерактивное оглавление: Да

Описание: В книге автора из США содержится большой набор методов программирования, которые можно рассматривать как инструментарий для решения самых различных задач программирования. Детально представлен процесс разработки программных систем, начиная от анализа и кончая реализацией и тестированием. В приложении даны полные тексты программ, решения к упражнениям.
Для инженерно-технических работников.
Предисловие
Предисловие к русскому изданию
Программирование с помощью фактов
Объекты данных: терм
Полноценная программа
Рекурсия в структурах
Сопоставление структур
Выводы
Программирование с помощью правил
Правила
Терминология: процедуры, утверждения и предикаты
Процедурный режим: порядок согласования целей
Согласование цели
Поиск для сопоставления
Отказы для целей
Генерация альтернативных ответов на вопросы
Прогрессирующая подстановка
Сеанс взаимодействия
Выводы
Рекурсия в правилах
Рекурсивные правила
Построение рекурсивных структур
Нотация для списков
Разработка процедур посредством анализа состояний
Еще один метод разработки процедур
Списки и структурирование данных
Выводы
Операция над термами
Арифметические операции
Операции сравнения
Операции проверки типа
Операции конструирования термов
Проверка термов на равенство
Выводы
Ввод и вывод
Ввод и вывод термов
Возможности более гибкого ввода и вывода
Определение оператора
Ввод и вывод символов
Работа с файлами
Выводы
Управление выполнением программ
Сокращение поиска: "отсечение"
Предотвращение бесполезных попыток поиска
Обеспечение взаимной исключительности
Вынуждаемый возврат и повторение: предикаты fail и repeat
Другие средства, предназначенные для управления
Выражение альтернатив
Комбинация отсечения и предиката fail
Выводы
Программы как данные
Модификация утверждений программы
Управление базой данных
Накопление результатов с помощью вынуждаемого возврата
бальные переменные
Метапрограммирование
Метапрограммирование и программные структуры
Интерпретатор Пролога на Прологе
Выводы
Грамматические правила
НС-грамматика
Грамматика, определяемая утверждениями
Согласование по роду, лицу и числу
Поверхностная и глубинная структура
Включение словаря
Прагматические аспекты построения синтаксических анализаторов
Выводы
Тестирование, отладка и документирование
Тестирование
Отладка
Расширенный интерпретатор для отладки
Документирование
Выводы
Написание процедуры и программ
Система решения задач
Требования к системе
Алгоритм решения задач
Представление состояния задачи
Представление методов решения задачи
Алгоритм планирования
Программа, удовлетворяющая системным ограничениям
Настройка подцели ?- начальное_состояние(Si)
Настройка подцели ?- разработка_плана(Задача, Si, План, Sf)
Настройка подцели ?- подтверждение_плана(План)
Настройка подцели ?- модификация_состояния(Sf)
Тестирование и реализация программы
Поиск ошибок
Исправление программы
Настройка представления знаний
Добавление новых действий
Дальнейшее развитие программы
Переменные в целях
Ограничения алгоритма планирования
Заключительные замечания
Электронный дневник
Требования к системе
Проект системы
Реализация
Календарь
Представление данных правилами
Обработка файла
Ввод данных
Управление дневником
Расширение системы
Другие виды нагрузок
Другие операции с дневником
Приложения
Текст окончательной версии программы, реализующей систему решения задач
Текст окончательной версии программы, реализующей систему электронного дневника
Стандарт языка Пролог
Ответы к упражнениям
Список символов кода Ascii
Список литературы
Правила, инструкции, FAQ!!!
Торрент   Скачать торрент Магнет ссылка
Скачать торрент
[ Размер 2.92 КБ / Просмотров 79 ]

Статус
Проверен 
 
Размер  3.85 МБ
Приватный: Нет (DHT включён)
.torrent скачан  4
Как залить торрент? | Как скачать Torrent? | Ошибка в торренте? Качайте магнет  


     Отправить личное сообщение
   
Страница 1 из 1
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему


Сейчас эту тему просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Перейти:  
Ресурс не предоставляет электронные версии произведений, а занимается лишь коллекционированием и каталогизацией ссылок, присылаемых и публикуемых на форуме нашими читателями. Если вы являетесь правообладателем какого-либо представленного материала и не желаете чтобы ссылка на него находилась в нашем каталоге, свяжитесь с нами и мы незамедлительно удалим её. Файлы для обмена на трекере предоставлены пользователями сайта, и администрация не несёт ответственности за их содержание. Просьба не заливать файлы, защищенные авторскими правами, а также файлы нелегального содержания!