Презентация Стандартные предикаты SWI Prolog онлайн
На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Стандартные предикаты SWI Prolog абсолютно бесплатно. Урок-презентация на эту тему содержит всего 33 слайда. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.
Оцените презентацию от 1 до 5 баллов!
- Тип файла:ppt / pptx (powerpoint)
- Всего слайдов:33 слайда
- Для класса:1,2,3,4,5,6,7,8,9,10,11
- Размер файла:191.50 kB
- Просмотров:52
- Скачиваний:0
- Автор:неизвестен
Слайды и текст к этой презентации:
№1 слайд
Содержание слайда: SWI Prolog
Стандартные предикаты SWI Prolog
№2 слайд
Содержание слайда: Арифметические предикаты
Для выполнения основных арифметических действий можно воспользоваться несколькими предопределенными предикатами:
X+Y сложение,
X-Y вычитание,
X*Y умножение,
X/Y деление,
X//Y целочисленное деление ,
X^Y возведение в степень,
X/\Y побитовая конъюнкция (для целых чисел),
X\/Y побитовая дизъюнкция (для целых чисел),
X<<Y побитовый сдвиг влево на Y позиций (для целых чисел),
X>>Y побитовый сдвиг вправо на 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>=E2 истинно, если Е1 больше или равно Е2;
E1=<E2 истинно, если Е1 равно или меньше Е2;
№6 слайд
Содержание слайда: Предикаты сравнения арифметических выражений
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,
E1@>=E2 истинно, если терм Е1 больше или равен терму Е2,
№8 слайд
Содержание слайда: Предикаты сравнения символьных термов
E1@=<E2 истинно, если терм Е1 равен или меньше терма Е2.
Символьные термы упорядочены в
алфавитном порядке.
№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<B,Y is U^2+A.
func(A,B,U,Y):-A=<U,U=<B,Y is B-U.
func(A,B,U,Y):- U>B,Y is (A+B)/(U^2+1).
№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.
out_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’).
№32 слайд
Содержание слайда: Примеры запросов к программе
?- run.
input X: 1.
input Y: 1.
point in area ->
yes
?- run.
input X: 2.
input Y: 3.
point out area ->
yes
№33 слайд
Содержание слайда: Примеры запросов к программе
?- run.
input X: q.
input Y: 2.
Error X ->
yes
?- run.
input X: 1.
input Y: a.
Error Y ->
yes
?-
Скачать все slide презентации Стандартные предикаты SWI Prolog одним архивом:
