Логическое программирование
ВВЕДЕНИЕ В ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕИстория
Логический вывод
Применение метода резолюций для ответов на вопросы
Особенности языка Пролог
Пример Пролог-программы: родственные отношения
Фразы Хорна как средство представления знания
Алгоритм работы интерпретатора Пролога
Порядок предложений и целей
Этот вызов приводит к бесконечному циклу
Вариант 4
Декларативная и процедурная семантики
Арифметика в Прологе
Структуры
Списки
Примеры использования структур
Ограничение перебора
Вычисление максимума
Процедура проверки принадлежности списку, дающая единственное решение
Добавление элемента списку, если он отсутствует (добавление без дублирования)
Негативная информация
Предположение о замкнутости мира
Тогда и только тогда, когда
Отрицание в явной форме
Преимущества отсечения
Недостатки отсечения
Отрицание определяется через отсечение
Повторение и откат
Повтор, определяемый пользователем
Эквивалентность программ и данных
Предположение об открытости мира
Доступ к программам и обработка программ
Загрузка базы данных (файла с программой)
Информирует систему, что указанный
Программирование второго порядка
Мутанты
Олимпиадная задача
Рекомендуемая литература
Аспект 4.5
Операция продажи в программе АСПЕКТ означает оформление отпуска товаров (услуг) одним из собственных предприятий одному контрагенту и регистрация оплаты за эти товары (услуги).Общий порядок оформления операций продажи заключается в формировании счета на продажу и привязанных к нему документов: приходного кассового ордера (ордеров) и (или) входящего платежного поручения (поручений), накладной (накладных) на отпуск товара.
Продолжение
Краткое сравнение систем Кодекс, Гарант и КонсультантПлюс
Содержание раздела
