Лекция №9 - Типы данных в Visual Prolog 7.1

1. Примитивные типы данных в Visual Prolog 7.1.

2. Множества в Visual Prolog 7.1.

3. Множества чисел

4. Иррациональные числа

5. Действительные числа

6. Математика в Visual Prolog 7.1.

7. Форматирование в Visual Prolog 7.1.

8. Домены в Visual Prolog 7.1.

8.1. Списки

8.2. Функторы

9. Представления о логике: предложения Хорна

Большинство современных языков работают со строго типизированными данными. Это означает, что компилятор проверяет, принадлежат ли данные, передаваемые, предикату или процедуре, верному типу. Например, арифметические операции (𝑥 + 𝑦, 𝑥 × 𝑦, 𝑎 − 𝑏, 𝑝 ÷ 𝑞) работают с целыми, действительными, или комплексными числами. Поэтому, компилятор удостоверяется, что ваша программа передаёт этим операциям числа и ничего другое.

Если в вашем коде есть логическая ошибка, и вы попытаетесь разделить строку на число, компилятор заартачится. Я уверен, что вы и сами скажете, что это единственное разумное, что можно сделать. Я согласен. Тем не менее, не все разработчики языков сходятся в желании включать проверку типов в их компиляторы.

К примеру, Standard Prolog не проверяет тип до тех пор, пока ошибочный код не будет запущен. Программа падает, когда она уже на компьютере конечного пользователя.