Основы программирования на языке Пролог

Содержание

Слайд 2

Преобразования типов str_int (S, X) str_real (S, X) S – строка

Преобразования типов

str_int (S, X)
str_real (S, X)
S – строка
X – число (целое

/ вещественное)
Слайд 3

«Семейные отношения», структуры данных domains pol = man; woman date =

«Семейные отношения», структуры данных

domains
pol = man; woman
date = day (integer day,

integer month, integer year)
ass = string*
predicates
Person (string fam, symbol name, pol, date birthday)
Child (string fam, ass)
Family (string fam, string name_husband, string name_wife,
ass childrens)
age_husband (string fam, date data_today, integer age)
Age (date date_today, date birthday, integer age)
Слайд 4

«Семейные отношения», без предупреждений и повторов clauses Family (ivanov, ivan, lena,

«Семейные отношения», без предупреждений и повторов

clauses
Family (ivanov, ivan, lena, [olga,peter]).
Family (sidorov,

david, olga, [vera, igor]).
child(X,Y) :- family(X,_,_,Y).
Person (ivanov, "ivan", man, day(5,1,1960)).
Person (ivanov, lena, woman, day(21,4,1962)).
Person (ivanov, olga, woman, day(13,12,1990)).
Age (day(_,_,G), day(_,_,C),_) :- GAge (day(_,M,G), day(_,B,C), Y) :- B>M, !, Y=G-C-1.
Age (day(_,M,G), day(_,B,C), Y) :- BAge (day(D,_,G), day(A,_,C), Y) :- D>A, !, Y=G-C-1.
Age (day(_,_,G), day(_,_,C), Y) :- Y=G-C.
age_husband (X,C,Y) :- family(X,Z,_,_), person(X,Z,_,A), age(C,A,Y).
goal
age_husband (ivanov, day(1,9,2017), Y).
Слайд 5

«Семейные отношения», вычисление среднего возраста всех мужчин/женщин ave_age (X, D,Y) :-

«Семейные отношения», вычисление среднего возраста всех мужчин/женщин

ave_age (X, D,Y) :- sum_age

(X, D, [ ], 0, S, 0, K), Y=S\K.
sum_age (X, D, L, SN, S, KN, K) :- person (N, _, X, _),
not (member (N, L)), !,
age (D, N, Y),
KS = KN+1, SS = SN+Y,
sum_age (X, D, [N| L], SS, S, KS, K).
sum_age (_, _, _, X, X, Y, Y).
goal
ave_age (man, day(1,10,2017), Y).
Слайд 6

Выбор информации из набора фактов FINDALL (X, Y, L) X –

Выбор информации из набора фактов

FINDALL (X, Y, L)
X – аргумент, значение

которого заносится в L
Y – предикат, из которого выбирается информация
L – список значений Х, выбранных из всех найденных предикатов Y
например:
findall (X, person(_, _, man, X), L)
L – список дат рождений всех мужчин
Слайд 7

«Семейные отношения», вычисление среднего возраста всех мужчин/женщин ave_age (X, D, Z)

«Семейные отношения», вычисление среднего возраста всех мужчин/женщин

ave_age (X, D, Z) :-

findall (Y, person(_, _, X, Y), L),
sum_age (D, L, S, K), Z=S/K.
sum_age (D, [X | T], S, K) :- sum_age (D, T, S1, K1),
age (D, X, Y),
K = K1+1, S = S1+Y.
sum_age (_, [ ], 0, 0).
goal
ave_age (man, day(1,10,2017), Y).
Слайд 8

Работа с динамической БД фактов. Хранение фактов в файле Facts [–

Работа с динамической БД фактов. Хранение фактов в файле

Facts [– general /

<имя секции фактов>]
% описание предикатов - фактов
<предикат (тип_арг1, …, тип_аргN)>
. . .
Goal
сonsult (“<имя файла>” [,< имя секции фактов >]), ...
Загружает факты из текстового файла в заданную область ОП

Несколько БД – имя секции обязательно!

Слайд 9

Работа с динамической БД фактов. Удаление фактов. retract ( [, ]

Работа с динамической БД фактов. Удаление фактов.

retract (<факт> [,< имя секции фактов

>] )
retractall (<факт> [,< имя секции фактов >] )
Примеры:
retract (person (_, _, man, _)) – удалит 1-й
найденный факт
retractall (person (_, _, man, _)) – удалит ВСЕХ
мужчин
Слайд 10

Работа с динамической БД фактов. Добавление фактов. assert ( [, ]

Работа с динамической БД фактов. Добавление фактов.

assert (<факт> [,< имя секции фактов

>] ) – в конец БД
assertz (<факт> [,< имя секции фактов >] ) – в конец БД
asserta (<факт> [,< имя секции фактов >] ) – в начало БД
Изменение факта (путем замены):
retract ( person ( ivan, X, data(Y, Z, G) )),G1=G-1,
assert ( person ( ivan, X, data(Y, Z, G1))).
Слайд 11

Работа с динамической БД фактов. Сохранение фактов. Если после работы надо

Работа с динамической БД фактов. Сохранение фактов.
Если после работы надо СОХРАНИТЬ все

изменения:
save (“<имя файла>” [,< имя секции фактов >] )
!! Без данного предиката после окончания работы изменения в БД не сохраняются !!
Слайд 12

Выезд на бал Андрей Иванович, Федор Петрович, Валерий Сергеевич и Григорий

Выезд на бал

Андрей Иванович, Федор Петрович, Валерий Сергеевич и Григорий Алексеевич

сопровождают своих дочерей на бал.
Заключительный танец каждая девушка танцевала не со своим отцом. Образовались следующие пары:
Лена с Андреем Ивановичем,
Анна с отцом Кати,
Таня с отцом Анны,
Федор Петрович с дочерью Валерия Сергеевича,
Валерий Сергеевич с дочерью Андрея Ивановича.
Кто кому приходится дочерью?
Слайд 13

Вопрос – допустимая перестановка question(L,S) :- another (L,S), may_be ( [ai,

Вопрос – допустимая перестановка

question(L,S) :- another (L,S),
may_be ( [ai, fp,

vs, ga], S).
goal
question( [lena, any, katy, tany],Y).
Слайд 14

Вспомогательные предикаты % выбор из списка N-го элемента n_elem (1, [X

Вспомогательные предикаты

% выбор из списка N-го элемента
n_elem (1, [X | _

], X) :- !.
n_elem (N, [ _ | T], X) :- N1=N-1,
n_elem(N1,T,X).
% определить номер элемента в списке
douther (X, [X | _ ], 1) :- !.
douther (X, [ _ | T], N1) :- douther (X, T, N),
N1=N+1.
Слайд 15

Работа с динамической БД фактов. Facts % факт, определяющий родственную пару

Работа с динамической БД фактов.

Facts
% факт, определяющий родственную пару
relatives (string douther,

string father)
% факт, определяющий танцующую пару
para (string she, string he)
Слайд 16

Определение пары танцующих % пара танцующих уже определена f_para(X,Y):-para(X,Y),!. % девочка/отец

Определение пары танцующих

% пара танцующих уже определена
f_para(X,Y):-para(X,Y),!.
% девочка/отец уже танцует с

другим
f_para(X,_):-para(X,_),!,fail.
f_para(_,Y):-para(_,Y),!,fail.
% пара танцующих не родственники – добавить в БД
f_para (X,Y) :- not (relatives(X,Y)),
assert (para(X,Y)).
Слайд 17

Проверка допустимости выбранной перестановки may_be(F,[D1,D2,D3,D4]) :- assert (relatives(D3,vs)), assert (relatives(D2,fp)), assert

Проверка допустимости выбранной перестановки

may_be(F,[D1,D2,D3,D4]) :- assert (relatives(D3,vs)),
assert (relatives(D2,fp)),
assert (relatives(D1,ai)),

assert (relatives(D4,ga)),
f_para(D3,fp), f_para(D1,vs), f_para(lena,ai),
douther(any,[D1,D2,D3,D4],X2),
douther(katy,[D1,D2,D3,D4],X3),
n_elem(X3,F,Yk), f_para(any,Yk),
n_elem(X2,F,Ya), f_para(tany,Ya),!.
may_be (_, _) :- retractall (relatives(_, _)),
retractall (para(_, _)), fail.
Слайд 18

Результат Y = ["tany", "katy", "any", "lena"] 1 Solution соответствующий список

Результат
Y = ["tany", "katy", "any", "lena"]
1 Solution
соответствующий список отцов

[ ai, fp, vs, ga],
Слайд 19

Задача классификации объектов В базе данных содержатся результаты теннисных партий, сыгранных

Задача классификации объектов

В базе данных содержатся результаты теннисных партий, сыгранных членами

некоторого клуба:
Победил (Победитель, Проигравший).
Необходимо определить отношение
Класс (Игрок, Категория)
где победитель – игрок, победивший во всех
сыгранных им играх;
боец – игрок, в некоторых играх победивший,
в некоторых – проигравший;
спортсмен – игрок, проигравший во всех
сыгранных им играх.
Слайд 20

Информация в файле won("ivan","petr") won("ivan","tom") won("ivan","jim") won("jim","tom") won("jim","petr") won("petr","tom")

Информация в файле

won("ivan","petr")
won("ivan","tom")
won("ivan","jim")
won("jim","tom")
won("jim","petr")
won("petr","tom")

Слайд 21

Описание термов и предикатов domains sp1 = string* iss = winner;

Описание термов и предикатов

domains
sp1 = string*
iss = winner; athlete; fighter
facts -

winner
won (symbol, symbol)
predicates
klass (string, iss) % определение класса
del_double (sp1,sp1) % удаление повторных имен
member (string,sp1)
write_klass (sp1,iss) % печать списка спортсменов
% заданного класса
all % основная функция
Слайд 22

Задача классификации объектов. Формулировки правил по категориям. Замена НЕ на ИНАЧЕ

Задача классификации объектов. Формулировки правил по категориям. Замена НЕ на ИНАЧЕ

Если Х

победил кого-либо и Х был кем-то
побежден,
то Х – боец,
иначе, если Х победил кого-либо,
то Х – победитель,
иначе, если Х был кем-то побежден,
то Х – спортсмен.
Слайд 23

Классификация объектов. Программа. clauses klass (X, fighter) :- won ( X,

Классификация объектов. Программа.

clauses
klass (X, fighter) :- won ( X, _), won

(_, X), !.
klass (X, winner) :- won (X, _), !.
klass (X, athlete) :- won (_, X).
del_double ([X | XT], [X | L]) :- not (member (X, XT)), !,
del_double (XT, L).
del_double ([_ | XT], L) :- del_double (XT, L), !.
del_double ([ ], [ ]).
write_klass ([L | LT], X) :- klass (L,Y), Y=X, !,
write (L," \n"), write_klass (LT, X).
write_klass ([_ | LT], X) :- write_klass (LT, X).
write_klass (_ ,_ ) :- nl.
Слайд 24

Классификация объектов. Программа. all :- findall (X, won (X, _), L1),

Классификация объектов. Программа.

all :- findall (X, won (X, _), L1), del_double

(L1, L),
write ("winners:\n"), write_klass (L, winner),
write ("fighters:\n"), write_klass (L, fighter),
findall (Y, won (_, Y), L2), del_double (L2, L3),
write ("athletes:\n"), write_klass (L3, athlete).
goal
consult (“competition", winner), all.
- Предыдущая
Звук Ч
Следующая -
Песни нашей Победы

Похожие презентации

ГБОУ СПО «АМТ» КК Тема: «Носители информации» Преподаватель Закарина Лариса Эдуардовна
Операторы условного и безусловного переходов в языке программирования Turbo Pascal 7.0
Процессор CELL. Модели программирования. (Часть 2)
Понятие алгоритма. Виды алгоритмов Нагорнова Ольга Геннадьевна МОУ СОШ № 54 Советский район
Введение в современные информационные технологии
pril
Графические методы и процедуры
Приложение E&amp;H (Entertainment&amp;Hobbies) путеводитель по всем развлечениям города Сочи
OpportunityMiner specifications. Specifications overview
Текстовый процессор Microsoft Word
Введение в производство 2гис
Правильный арбитраж через Инстаграм. План выступления
Сборка компьютера
Измерение информации
Файлы и файловая система
Основы алгоритмизации
З Н А Е М Б О Е К С * * * * * Открытый урок по информатике на тему «Вложенность множеств» (2 класс УМК «Школа 2100)
Общая характеристика графического редактора
Колективне планування, проектування та реалізація програмної системи ведення блогу
Использование мыши при работе в AutoCAD. Использование Shift при работе в AutoCAD. Горячие клавиши
კანონის მოქმედების სფერო
Операционная система Windows
Роль детско-молодежного пресс-центра в информационном обеспечении летних оздоровительных программ
Процедуры. Назначение процедур
Классификация компьютерных сетей
Автоматизація ресторанів, кафе, барів і пунктів швидкого харчування
Оcнови роботи в пакеті Scilab
Internet Service Providers (ISP)
Вы можете прислать нам Вашу презентацию и мы опубликуем ее на сайте.
Обратная связь
Для правообладателей
Email: Нажмите что бы посмотреть