Стандартные предикаты SWI Prolog - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Стандартные предикаты SWI Prolog, слайд №1

Стандартные предикаты SWI Prolog, слайд №2

Стандартные предикаты SWI Prolog, слайд №3

Стандартные предикаты SWI Prolog, слайд №4

Стандартные предикаты SWI Prolog, слайд №5

Стандартные предикаты SWI Prolog, слайд №6

Стандартные предикаты SWI Prolog, слайд №7

Стандартные предикаты SWI Prolog, слайд №8

Стандартные предикаты SWI Prolog, слайд №9

Стандартные предикаты SWI Prolog, слайд №10

Стандартные предикаты SWI Prolog, слайд №11

Стандартные предикаты SWI Prolog, слайд №12

Стандартные предикаты SWI Prolog, слайд №13

Стандартные предикаты SWI Prolog, слайд №14

Стандартные предикаты SWI Prolog, слайд №15

Стандартные предикаты SWI Prolog, слайд №16

Стандартные предикаты SWI Prolog, слайд №17

Стандартные предикаты SWI Prolog, слайд №18

Стандартные предикаты SWI Prolog, слайд №19

Стандартные предикаты SWI Prolog, слайд №20

Стандартные предикаты SWI Prolog, слайд №21

Стандартные предикаты SWI Prolog, слайд №22

Стандартные предикаты SWI Prolog, слайд №23

Стандартные предикаты SWI Prolog, слайд №24

Стандартные предикаты SWI Prolog, слайд №25

Стандартные предикаты SWI Prolog, слайд №26

Стандартные предикаты SWI Prolog, слайд №27

Стандартные предикаты SWI Prolog, слайд №28

Стандартные предикаты SWI Prolog, слайд №29

Стандартные предикаты SWI Prolog, слайд №30

Стандартные предикаты SWI Prolog, слайд №31

Стандартные предикаты SWI Prolog, слайд №32

Стандартные предикаты SWI Prolog, слайд №33

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Стандартные предикаты SWI Prolog. Доклад-сообщение содержит 33 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

SWI Prolog Стандартные предикаты SWI Prolog

Слайд 2

Описание слайда:

Арифметические предикаты Для выполнения основных арифметических действий можно воспользоваться несколькими предопределенными предикатами: X+Y  сложение, X-Y  вычитание, X*Y  умножение, X/Y  деление, X//Y  целочисленное деление , X^Y  возведение в степень, X/\Y  побитовая конъюнкция (для целых чисел), X\/Y  побитовая дизъюнкция (для целых чисел), XY  побитовый сдвиг вправо на Y позиций(для целых чисел), X mod Y  остаток от деления X на Y(для целых чисел),

Слайд 3

Описание слайда:

Арифметические предикаты abs(X)  абсолютная величина X, acos(X)  арккосинус X, asin(X)  арксинус X, atan(X)  арктангенс X, cos(X)  косинус X, sin(X)  синус X, exp(X)  экспонента X, log(X)  логарифм натуральный, log10(X)  логарифм по основанию 10, sqrt(X)  квадратный корень X, tan(X)  тангенс X.

Слайд 4

Описание слайда:

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

Слайд 5

Описание слайда:

Предикаты сравнения арифметических выражений Пусть E1 и E2 ─ арифметические выражения. В Прологе существуют следующие встроенные предикаты для сравнения арифметических выражений: E1>E2 истинно, если Е1 больше Е2; E1=E2 истинно, если Е1 больше или равно Е2; E1=

Слайд 6

$Предикаты сравнения арифметических выражений E1=:=E2 истинно, если Е1 равно Е2, E1=\=E2 истинно, если Е1 равно Е2, E1=E2 истинно, если Е1 и Е2...$

Описание слайда:

Предикаты сравнения арифметических выражений E1=:=E2 истинно, если Е1 равно Е2, E1=\=E2 истинно, если Е1 равно Е2, E1=E2 истинно, если Е1 и Е2 сопоставимы, E1\=E2 истинно, если Е1 и Е2 не сопоставимы, X is E истинно всегда, и неконкретизированной переменной X присваивается значение Е.

Слайд 7

Описание слайда:

Предикаты сравнения символьных термов Пусть E1 и E2 ─ символьные термы. Для сравнения символьных термов используются другие встроенные предикаты: E1@>E2 истинно, если терм Е1 больше терма Е2, E1@=E2 истинно, если терм Е1 больше или равен терму Е2,

Слайд 8

Описание слайда:

Предикаты сравнения символьных термов E1@=

Слайд 9

Описание слайда:

Примеры сравнения арифметических выражений

Слайд 10

Описание слайда:

Различие между операторами унификации “=” и арифметического сравнения “=:=” Различие между операторами унификации “=” и арифметического сравнения “=:=” состоит в том, что при выполнении оператора “=” система не производит вычислений, а оператор “=:=” производит вычисление выражений и сравнение и значений.

Слайд 11

Описание слайда:

Предикаты определения типов термов. integer(X) истинно, если X—целое число; float(X) истинно, если X—вещественное число; number(X) истинно, если X— целое или вещественное число; atom(X) истинно, если X—атом;

Слайд 12

Описание слайда:

Предикаты определения типов термов. atomic(X) истинно, если X—атом или число; compound(X) истинно, если X—составной терм (структура); novar(X) истинно, если X—константа; var(X) истинно, если X—переменная. string(X) истинно, если X—строка.

Слайд 13

Описание слайда:

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

Слайд 14

Описание слайда:

Предикаты вводавывода термов и символов. Любой язык программирования должен обеспечивать средства ввода/вывода информации. Однако вычислительная модель Пролога препятствует введению операций ввода/вывода в виде чистых компонентов языка.

Слайд 15

Описание слайда:

Предикаты вводавывода термов и символов. В системах программирования на языке Пролог используются предопределенные предикаты для ввода/вывода термов и символов.

Слайд 16

Описание слайда:

Предикат ввода термов Для ввода термов со стандартного устройства ввода ПЭВМ (клавиатуры) используется предикат read(). Предикат read читает терм, набираемый пользователем на клавиатуре; после вводимого терма должна обязательно следовать точка.

Слайд 17

Описание слайда:

Предикат ввода термов Если переменная не конкретизирована, то запрос: ?read(X). приведет к вводу терма с клавиатуры, и этот терм будет присвоен в качестве значения переменной X.

Слайд 18

Описание слайда:

Примеры ввода термов ?read(X). 125. X=125 Yes ?read(X). n. X=n Yes

Слайд 19

Описание слайда:

Предикат вывода термов write Для вывода термов на стандартное устройство вывода ПЭВМ (экран видеомонитора) используется предикат write(). Предикат write выводит терм на экран.

Слайд 20

Описание слайда:

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

Слайд 21

Описание слайда:

Предикаты вывода термов nl и tab Предикат nl используется для перехода на новую строку при выдаче данных на экран. Предикат tab(N) используется для выдачи на экран N пробелов. Предикаты nl и tab применяются только совместно с предикатов write.

Слайд 22

Описание слайда:

Пример программы с использованием арифметических предикатов. Пусть требуется определить значение функции в зависимости от условия.

Слайд 23

Описание слайда:

Текст программы. run:- write('Input A,B, U:'),nl, read(A), number(A), read(B), number(B), read(U), number(U), func(A,B,U,Y), write('Y = '), write(Y),nl. func(A,B,U,Y):-U

Слайд 24

Описание слайда:

Запросы к программе ?- run. Input A, B, U: -1. 3. -2. Y = 3 -> yes

Слайд 25

Описание слайда:

Запросы к программе ?- run. Input A, B, U: -1. 3. 1. Y = 2 -> yes

Слайд 26

Описание слайда:

Запросы к программе ?- run. Input A, B, U: -1. 3. 4. Y = 0.11764706 yes

Слайд 27

Описание слайда:

Пример программ с использованием арифметических предикатов. Пусть программа должна определять, попадает ли точка с координатами (X,Y) в область D, которая задана графически, круг с центром в точке (0,0) радиуса r =2.

Слайд 28

Описание слайда:

Заданная область

Слайд 29

Описание слайда:

Текст программы in_area(X,Y):- number(X), number(Y),(X^2+Y^2)=4. otvet(X,Y):-in_area(X,Y), write(‘заданная точка принадлежит области D’). otvet(X,Y):-out_area(X,Y), write(‘заданная точка не принадлежит области D’). Примечание. В программе используется стандартный предикат вывода на экран write (см. следующие слайды).

Слайд 30

Описание слайда:

Текст программы, использующей предикаты ввода-вывода run:- write(‘input X: ‘), read(X), write(‘input Y: ‘), read(Y), number(X), number(Y), otvet(X,Y). run:-not(number(X)), write(‘Error X’). run:-not(number(Y)), write(‘Error Y’).

Слайд 31

Описание слайда:

Текст программы, использующей предикаты ввода-вывода otvet(X,Y):-in_area(X,Y), write(‘заданная точка принадлежит области D’). otvet(X,Y):-out_area(X,Y), write(‘заданная точка не принадлежит области D’).