н формальний параметр xi належить типу t і кожен вираз ? xiFi - схема для типу t.
На відміну від визначень типу, виражають необов'язкові умови, схема не обов'язково істинна при всякому застосуванні. При заданому схематичному кластері відповідний концепт застосуємо, якщо хоча б одна схема з цього кластера виявиться істинною для цього застосування. p align="justify"> Тепер порівняємо визначення поняття схеми і прототипу. Схеми показують типові способи використання концептів. Вони не описують типових конкретизацій для цих концептів. Навпаки, прототип - це типова конкретизація. Поняття схеми і схематичного кластера дозволяють більш формалізовано визначити прототип. p align="justify"> Прототип р для типу t є ? - вираз ? xF з наступними властивостями:
В· Формальний параметр х належить типу t.
В· Прототип р виходить поєднанням (за правилом кон'юнкції) однієї або декількох схем з схематичних кластерів для t і обмеженням (за правилом обмеження) частини або всіх концептів цих схем тільки концептами -сукупностями (без індивідів).
За підходящих реалізаціях схеми відповідають сузір'ях, фреймам (кадрам) і сценаріями (приписам).
32. Мова Prolog. Арифметичні дії
Пролог розрахований головним чином на обробку символьної інформації, при якій потреба в арифметичних обчисленнях відносно мала. Тому і засоби для таких обчислень досить прості. Для здійснення основних арифметичних дій можна користуватися декількома зумовленими операторами. p align="justify"> + складання
- віднімання
* множення
/ділення
mod модуль, залишок від цілочисельного ділення.
Наступне питання - наївна спроба справити арифметичне дію:
? - Х = 1 + 2
Пролог-система В«спокійноВ» відповість
Х = 1 +2
а не Х = 3, як можливо очікувалося. Причина цього проста: вираз 1 +2 позначає лише прологовскій терм, в якому + є функтором, а 1 і 2 - його аргументами. У вищенаведеної мети немає нічого, що могло б змусити систему виконати операцію додавання. Для цього в Пролозі існує спеціальний оператор is (є). Цей оператор змусить систему виконати обчислення. Таким чином, щоб правильно активізувати арифметичну операцію треба написати
? - Х is 1 + 2
Ось тепер відповідь буде
Х = 3
Додавання тут виконується спеціальною процедурою, пов'язаною з оператором +. Ми будемо називати такі процедури вбудованими. p align="justify"> У Пролозі не існує загальноприйнятої нотації для запису арифметичних дій, тому в різних реалізаціях вона може злегка відрізнятися. Наприклад, оператор / в одних реалізаціях означати цілочисельне ділення, а в інших речовий. У нашій реалізації / означає речовий поділ, а для цілочисельного ж будемо використовувати оператор // . Відповідно з цим на питання
? - Х is 3/2,
Y is 3// 2.
відповідь має бути такою
Х = 1.5
Y = 1.
Лівим аргументом оператора is є простий об'єкт. Правий аргумент - арифметичне вираження, складене за допомогою арифметичних операторів, чисел і змінних. Оскільки оператор is запускає арифметичні обчислення, до моменту початку обчислення цієї мети всі її змінні повинні бути конкретизовані-якими числами. Пріоритети цих зумовлених операторів обрані з таким розрахунком, щоб оператори застосовувалися до аргументів в тому порядку, який прийнятий в математиці. Щоб змінити звичайний порядок обчислень, застосовуються дужки (теж, як у математиці). Зауважте, що +, -, *, /,// ​​визначені як yfx, що визначає порядок їх виконання зліва направо. Наприклад,
Х is 5 - 2 -1
розуміється як
Х is (5 -2) - 1
Арифметичні операції використовуються також і при порівнянні числових величин. Ми можемо, наприклад, перевірити, що більше 10000 або результат множення 277 на 37 за допомогою мети
? - 277 * 37> 10000
