
- •Базовая графика
- •Двухмерная графика
- •Векторная графика
- •Растровая графика
- •Фрактальная графика
- •Трёхмерная графика
- •Представление цветов в компьютере
- •Реальная сторона графики
- •Основные области применения
- •Современные стандарты компьютерной графики.
- •Графические диалоговые системы
- •Применение интерактивной графики в информационных системах
- •Знания и модели их представления: логическая, продукционная, реляционная, фреймы, семантические сети.
- •Язык программирования Пролог: структура программы, домены, предикаты, факты и правила, рекурсивные правила, динамические предикаты
- •Управляющие предикаты
- •Прочие стандартные предикаты
- •Факты в Прологе
- •Правила в Прологе
- •Методы организации рекурсии
- •Простая рекурсия
- •Метод обобщенного правила рекурсии (опр)
- •Реализация основных моделей представления знаний средствами языка Пролог
- •Общая проблема информационной безопасности информационных систем Безопасность информационных систем Основные понятия
- •Проблемы информационной безопасности
- •Защита информации при реализации информационных процессов. (ввод, вывод, передача, обработка, накопление, хранение)
- •Организационное обеспечение информационной безопасности
- •Защита информации от несанкционированного доступа
- •Глава 1. Защита от несанкционированного доступа к информации. Термины и определения
- •Глава 2. Основы правового регулирования отношений, связанных с конфиденциальной информацией
- •Глава 3. Правовая защита конфиденциальной информации и ответственность за неправомерные действия в отношении этой информации
- •Глава 4. Порядок учета, хранения и использования документов, содержащих конфиденциальную информацию
- •Математические и методические средства защиты
- •Средства защиты информации
Управляющие предикаты
exit Выполняет немедленный выход из программы.
fail Вынуждает завершиться предикат ложно и, следовательно, возвратиться к предыдущей точке разветвления (backtracking).
true Значение предиката всегда истинно.
! Отсечение (прекращение перебора между головой дизъюнкта и данным знаком).
Прочие стандартные предикаты
random(RealVariable) (real) – (o) Равномерное псевдослучайное число в диапазоне от 0 до 1.
random(MaxValue,RandomInt) (integer,integer) – (i,o) Равномерное псевдослучайное целое число RandomInt в диапазоне от 0 до MaxValue.
findall( Variable, Atom, ListVariable ) В списке ListVariable возвращаются все решения для переменной Variable предиката Atom.
not( Atom ) Выполняется успешно, если заданный Atom представляет собой цель, которая не достигается.
free( Variable ) Выполняется успешно, если Variable не является конкретизированной переменной.
bound( Variable ) Выполняется успешно, если Variable является конкретизированной переменной.
Арифметические и логические предикаты
В арифметических операциях могут участвовать операнды (числа и переменные), арифметические операции + (сложение), – (вычитание), * (умножение), / (деление), mod (деление по модулю), div (целочисленное деление), скобки. Приоритет выполнения операций представлен числами:
+ , – |
1 |
* , / |
2 |
div ,mod |
3 |
– ,+ (унарные) |
4 |
Логические операторы:
> |
Больше |
< |
Меньше |
= |
Равно |
>= |
Больше или равно |
<= |
Меньше или равно |
< > |
Не равно |
Арифметические функции:
sin(Х) |
Синус, угол в радианах |
cos(Х) |
Косинус, угол в радианах |
tan(Х) |
Тангенс, угол в радианах |
arctan(Х) |
Арктангенс |
ln(Х) |
Логарифм натуральный |
log(Х) |
Логарифм десятичный |
abs(X) |
Модуль аргумента |
exp(Х) |
Экспонента |
sqrt(Х) |
Корень квадратный |
Кроме этих предикатов, в Прологе имеется большой набор стандартных предикатов для построения графических объектов. Просмотреть названия и поточный шаблон стандартных предикатов графики можно в разделе HELP меню интегрированной среды Пролога.
Факты и правила
Логическое программирование — это направление современного программирования, возникшее первоначально в рамках работ по искусственному интеллекту и получившее свое развитие во второй половине восьмидесятых годов, благодаря японскому проекту ЭВМ пятого поколения. Наиболее полное выражение идеи логического программирования нашли в языке Prolog (PROgramming in LOGic — программирование в терминах логики). Первоначальный вариант языка Prolog был разработан под руководством Алэна Кольмероэ (Alain Colmerauer) в Марсельском университете в 1972 году. В настоящее время существуют разнообразные версии для DOS (PDC Prolog, Arity Prolog и др.), Windows (Visual Prolog, Strawberry Prolog, Trinc Prolog и др.), Linux (Arity Prolog, Visual Prolog и др.).
Теоретической основой Prolog является раздел символьной логики, называемый исчислением предикатов. Prolog присущ ряд свойств, которыми не обладают традиционные языки программирования, что делает его мощным средством в области логического программирования. К таким свойствам относятся механизм вывода с поиском и возвратом, встроенный механизм сопоставления с образцом и простая, но выразительная структура данных с возможностью ее изменения. В Prolog отсутствуют указатели, операторы присваивания и GOTO. Естественным методом программирования является рекурсия.
Программа на Prolog есть совокупность утверждений. Утверждения состоят из целей. В конце утверждения ставится точка «.». Иногда утверждение называется предложением.
Основная операция Prolog — доказательство целей, входящих в утверждение.