5. Задание для лабораторной работы

Используя Visual Prolog написать программу «родственные отношения», в соответствии с заданием лабораторной работы №2

6. Контрольные вопросы.

Лабораторная работа № 4

Представление в Visual Prolog основных данных и моделей знаний

Цель работы:

изучить основные типы данных VISUAL PROLOG и возможности их преобразования для решения математических задач.

 

1. Типы данных - раздел Domains

char - символ длиной 1 байт

integer - целые длиной 2 байта

real- числа с плавающей точкой длиной 8 байт

ref - цифровые ссылки базы данных

symbol - строки со специальной внутренней кодировкой символов для экономии памяти

string - последовательность символов, например, " hello world \ n "

dbasedom - генерируемый тип данных для термов в глобальной базе данных

bt _ selector - возвращаемый селектор (указатель) двоичного дерева

db _ selector - определенный пользователем селектор внешней базы данных

place - место в памяти ( in _ memory ) или в расширенной системе памяти ( in _ ems ), или в файле ( in _ file )

file - описание файлов, файлы могут быть стандартные (они не описываются), например:

keyboard - клавиатура;

screen - экран;

printer - печать;

com 1; stdin; stdout - порты

reg - регистры IBM PC (AX , BX , CX , DX , SI , DI , DS , ES )

bgi_ ilist - список целых, используемых в предикатах BGI .

2. Преобразование данных

 

3. Арифметические действия

Пролог рассчитан главным образом на обработку символьной информации, при которой потребность в арифметических вычислениях относительно мала. Поэтому и средства для таких вычислений довольно просты. Для осуществления основных арифметических действий можно воспользоваться следующими предикатами.

abs : ( realArg ) -> Возвращает модуль числа

arccos: ( inCircle Arg) -> real   Возвращает арккосинус в радианах числа Arg

arcsin : ( inCircle Arg ) -> real Возвращает арксинус в радианах числа Arg .

arctan : ( real Arg ) -> real Возвращает арктангенс в радианах числа Arg.

ceil : ( real Value ) -> integer Округление к большему целому.

cos: (real Value ) -> inCircle Возвращает косинус числа Value.

exp: ( real Power ) -> uReal.    Возвращает экспоненту числаPower.

floor : ( real Value ) -> integer Округление к меньшему целому

ln : ( uReal X ) -> real. Возвращает натуральный (по основанию е) логарифм числа X .

log : ( uReal X ) -> real   Возвращает десятичный логарифм числа X .

power : ( uReal Value, real Power) -> uReal Возведение числа Value в степень Power

round : ( real Value ) -> integer Округление к ближайшему целому

sin : ( real Value) -> inCircle Возвращает синус числа Value.

sqr : ( real Value) -> uReal Возвращает квадрат числа Value.

sqrt : ( uReal Value ) -> uReal Возвращает арифметический квадратный корень из числа Value.

tan : ( real Angle ) -> real Возвращает тангенс действительного числа Angle.