Поиск информации в базе данных на SWI-Prolog

@TheBlackBear · Регистрация: 18.04.2017

Author24 — интернет-сервис помощи студентам

Добрый день, господа!
Снова прошу вашей помощи!
Есть задание:
Требования к программе
1. В программе должен быть реализован удобный интерфейс пользователя (с разветвленной
системой меню и возвратом после окончания выбранной операции в меню).
2. База данных программы должна содержать следующую информацию о номерах и клиентах

гостиницы
номер комнаты,
категория (одноместный,
многоместный),
наличие душа,
фамилию, имя, отчество постояльца,
серия и номер паспорта,
пол (м/ж),
номер комнаты,
дата заезда,
дата выезда.

3. Программа должна осуществлять пять основных операций при работе с базой данных:

просмотр базы данных фактов,
добавление новых записей в базу данных,
удаление записи из базы данных,
редактирование записи базы данных,
поиск информации в базе данных.

4. Поиск информации в базе данных должен осуществляться как «по образцу» (т.е. на
совпадение критерия поиска с одним из полей записи в базе данных), так и по частичному
совпадению с ключом поиска (т.е. осуществлять поиск подстроки в строке). Реализовать
поиск ответов на следующие запросы:

сведения обо всех номерах указанной пользователем категории;
сведения обо всех постояльцах, выехавших из гостиницы с... по...;
список постояльцев, занимающих одноместные номера с телевизором;
список номеров, постояльцы которых имеют заданные пользователем пол и
паспортные данные (паспортные данные могут быть заданы полностью или частично).

5. В начале работы программы факты, хранящиеся в файле на диске, должны загружаться во
внутреннюю базу данных системы. Если указанный пользователем файл отсутствует,
программа должна выдавать соответствующее сообщение.
6. При окончании работы программы база данных фактов должна сохраняться в файл на диске,
а ОП – очищаться.

Реализовал все действия кроме 2 пункта в 4 задании. Вот сама программа:

Prolog

start:-
    retractall(info/3),
    reconsult('info.pl'),
    dynamic(info/3),
    menu.
 
 
menu:-
    write('База данных "Гостиница"'),nl,
    write('1- Просмотр базы данных'),nl,
    write('2- Добавление новых записей'),nl,
    write('3- Удаление записи из базы данных'),nl,
    write('4- Редактирование записи базы данных'),nl,
    write('5- Поиск информации в базе данных'),nl,
    write('Выберите пункт меню: (1-5)'),nl,
    read(X),
    X<6,
    process(X),
    db_save_info.
 
process(1):-view_info.
process(2):-add_info,!.
process(3):-remove_info,!.
process(4):-mody_info,!.
process(5):-find_info.
 
view_info :-
    info(Numb,NumRo,Cat,Shower,Tv,Fio,Pasport,Pol,Date_in,Date_out),
    write('Номер записи: '), write(Numb),nl,
    write('Номер комнаты: '),write(NumRo),nl,
    write('Категория: '),write(Cat),nl,
    write('Наличие душа: '),write(Shower),nl,
    write('Наличие телевизора: '),write(Tv),nl,
    write('ФИО: '),write(Fio),nl,
    write('Номер и серия паспорта: '),write(Pasport),nl,
    write('Пол: '),write(Pol),nl,
    write('Дата въезда: '),write(Date_in),nl,
    write('Дата выезда: '),write(Date_out),nl,
    write('------------------------------------------------------'),nl,
    fail.
view_info.
 
add_info:-
    write('Добавить жильца: '),nl,nl,
    repeat,
    write('Номер записи: '),read(Numb),nl,
    write('Номер комнаты: '),read(NumRo),nl,
    write('Категория: '),read(Cat),nl,
    write('Наличие душа: '),read(Shower),nl,
    write('Наличие телевизора: '),read(Tv),nl,
    write('ФИО: '),read(Fio),nl,
    write('Номер и серия паспорта: '),read(Pasport),nl,
    write('Пол: '),read(Pol),nl,
    write('Дата въезда: '),read(Date_in),nl,
    write('Дата выезда: '),read(Date_out),nl,
    assertz(info(Numb,NumRo,Cat,Shower,Tv,Fio,Pasport,Pol,Date_in,Date_out)),
    quest,!.
 
quest:-
    write('Ввести ещё одного жильца? y/n '),
    read(A),
    answer(A).
 
answer(""):-fail.
answer(y):-fail.
answer(n).
 
db_save_info:-
    tell('info.txt'),
    listing(info),
    told,
    write('Файл быза данных сохранён!').
 
remove_info:-
    write('Введите ФИО поселенца, запись о котором хотите удалить из БД'),
    read(Fio),
    retract(info(_,_,_,_,_,Fio,_,_,_,_)),
    write('Постоялец удален!').
 
mody_info:-
    write('Введите номер записи, которую хотите отредактировать: '),
    read(Numbr),nl,
    info(Numbr,NumRo,Cat,Shower,Tv,Fio,Pasport,Pol,Date_in,Date_out),
    write('Ваша запись'),nl,
    write('------------------------------------------------------'),nl,
    write('Номер записи: '), write(Numbr),nl,
    write('Номер комнаты: '),write(NumRo),nl,
    write('Категория: '),write(Cat),nl,
    write('Наличие душа: '),write(Shower),nl,
    write('Наличие телевизора: '),write(Tv),nl,
    write('ФИО: '),write(Fio),nl,
    write('Номер и серия паспорта: '),write(Pasport),nl,
    write('Пол: '),write(Pol),nl,
    write('Дата въезда: '),write(Date_in),nl,
    write('Дата выезда: '),write(Date_out),nl,
    write('------------------------------------------------------'),nl,
    write('::::Редактирование поля из записи::::'),nl,
    write('1- Поле номера'),nl,
    write('2- Поле номера комнаты'),nl,
    write('3- Поле категории'),nl,
    write('4- Поле наличия душа'),nl,
    write('5- Поле наличия ТВ'),nl,
    write('6- Поле ФИО'),nl,
    write('7- Поле номера и серии паспорта'),nl,
    write('8- Поле пола'),nl,
    write('9- Поле даты въезда'),nl,
    write('10- Поле даты выезда'),nl,
 
    write('Какое поле хотите отредактировать?'),nl,
    read(Pole),
    red(Pole,Numbr),
    db_save_info.
 
red(1,N):-write('Введите новый номер записи: '),
    read(NewNum),
    info(N,NumRo,Cat,Shower,Tv,Fio,Pasport,Pol,Date_in,Date_out),
    A = NumRo,
    B = Cat,
    C = Shower,
    D = Tv,
    E = Fio,
    G = Pasport,
    H = Pol,
    I = Date_in,
    J = Date_out,
    retract(info(N,_,_,_,_,_,_,_,_,_)),
    asserta(info(NewNum,A,B,C,D,E,G,H,I,J)).
 
red(2,N):-write('Введите новый номер комнаты: '),
    read(NewRoom),
    info(N,_,Cat,Shower,Tv,Fio,Pasport,Pol,Date_in,Date_out),
    A = NewRoom,
    B = Cat,
    C = Shower,
    D = Tv,
    E = Fio,
    G = Pasport,
    H = Pol,
    I = Date_in,
    J = Date_out,
    retract(info(N,_,_,_,_,_,_,_,_,_)),
    asserta(info(N,A,B,C,D,E,G,H,I,J)).
 
red(3,N):-write('Введите новую категорию: '),
    read(NewCat),
    info(N,NumRo,_,Shower,Tv,Fio,Pasport,Pol,Date_in,Date_out),
    A = NumRo,
    B = NewCat,
    C = Shower,
    D = Tv,
    E = Fio,
    G = Pasport,
    H = Pol,
    I = Date_in,
    J = Date_out,
    retract(info(N,_,_,_,_,_,_,_,_,_)),
    asserta(info(N,A,B,C,D,E,G,H,I,J)).
 
red(4,N):-write('Введите наличие душа: '),
    read(NewShower),
    info(N,NumRo,Cat,_,Tv,Fio,Pasport,Pol,Date_in,Date_out),
    A = NumRo,
    B = Cat,
    C = NewShower,
    D = Tv,
    E = Fio,
    G = Pasport,
    H = Pol,
    I = Date_in,
    J = Date_out,
    retract(info(N,_,_,_,_,_,_,_,_,_)),
    asserta(info(N,A,B,C,D,E,G,H,I,J)).
 
red(5,N):-write('Введите наличие ТВ: '),
    read(NewTv),
    info(N,NumRo,Cat,Shower,_,Fio,Pasport,Pol,Date_in,Date_out),
    A = NumRo,
    B = Cat,
    C = Shower,
    D = NewTv,
    E = Fio,
    G = Pasport,
    H = Pol,
    I = Date_in,
    J = Date_out,
    retract(info(N,_,_,_,_,_,_,_,_,_)),
    asserta(info(N,A,B,C,D,E,G,H,I,J)).
 
red(6,N):-write('Введите новые ФИО: '),
    read(NewFio),
    info(N,NumRo,Cat,Shower,Tv,_,Pasport,Pol,Date_in,Date_out),
    A = NumRo,
    B = Cat,
    C = Shower,
    D = Tv,
    E = NewFio,
    G = Pasport,
    H = Pol,
    I = Date_in,
    J = Date_out,
    retract(info(N,_,_,_,_,_,_,_,_,_)),
    asserta(info(N,A,B,C,D,E,G,H,I,J)).
 
red(7,N):-write('Введите новые паспортные данные: '),
    read(NewPasport),
    info(N,NumRo,Cat,Shower,Tv,Fio,_,Pol,Date_in,Date_out),
    A = NumRo,
    B = Cat,
    C = Shower,
    D = Tv,
    E = Fio,
    G = NewPasport,
    H = Pol,
    I = Date_in,
    J = Date_out,
    retract(info(N,_,_,_,_,_,_,_,_,_)),
    asserta(info(N,A,B,C,D,E,G,H,I,J)).
 
red(8,N):-write('Введите новый пол: '),
    read(NewPol),
    info(N,NumRo,Cat,Shower,Tv,Fio,Pasport,_,Date_in,Date_out),
    A = NumRo,
    B = Cat,
    C = Shower,
    D = Tv,
    E = Fio,
    G = Pasport,
    H = NewPol,
    I = Date_in,
    J = Date_out,
    retract(info(N,_,_,_,_,_,_,_,_,_)),
    asserta(info(N,A,B,C,D,E,G,H,I,J)).
 
red(9,N):-write('Введите новую дату заезда: '),
    read(NewDate_in),
    info(N,NumRo,Cat,Shower,Tv,Fio,Pasport,Pol,_,Date_out),
    A = NumRo,
    B = Cat,
    C = Shower,
    D = Tv,
    E = Fio,
    G = Pasport,
    H = Pol,
    I = NewDate_in,
    J = Date_out,
    retract(info(N,_,_,_,_,_,_,_,_,_)),
    asserta(info(N,A,B,C,D,E,G,H,I,J)).
 
red(10,N):-write('Введите новую дату выезда: '),
    read(NewDate_out),
    info(N,NumRo,Cat,Shower,Tv,Fio,Pasport,Pol,Date_in,_),
    A = NumRo,
    B = Cat,
    C = Shower,
    D = Tv,
    E = Fio,
    G = Pasport,
    H = Pol,
    I = Date_in,
    J = NewDate_out,
    retract(info(N,_,_,_,_,_,_,_,_,_)),
    asserta(info(N,A,B,C,D,E,G,H,I,J)).
 
find_info:-
    write('::::Поиск ифнормации в базе::::'),nl,
    write('1 - Поиск по категории'),nl,
    write('2 - Поиск по датам'),nl,
    write('3 - Поиск списка постояльцев в одноместных номерах с телевизором'),nl,
    write('4 - Поиск по полу и паспортным данным'),nl,
    read(F),
    findi(F).
 
findi(1):-categ.
findi(2):-dati.
findi(3):-unITv.
findi(4):-polIPassport.
 
categ:-
    write('Введите категорию: '),
    read(C),
    info(_,_,C,_,_,F,_,_,_,_),
    write(F),nl,
    fail.
 
unITv:-
    info(_,_,'uno',_,'y',F,_,_,_,_),
    write(F),nl,
    fail.
 
polIPassport:-
    write('Введите пол: '),
    read(P),
    write('Введит паспортные данные:  '),
    read(Pa),
    info(_,_,_,_,_,F,Pa,P,_,_),
    write(F),nl,
    fail.
 
dati.

Вопросы:
Как реализовать процесс поиска ОТ какой то введенной даты ДО другой введенной даты?
Сами даты в "добавлении записи в базу" производятся в виде "ДД_ММ_ГГГГ". Корректен ли такой формат? Или удобнее использовать другой?

Добавлено через 2 минуты
Вот как выглядит файл базы данных info.txt

Prolog

:- dynamic info/3.
 
 
:- dynamic info/10.
 
info(3, 12, uno, y, y, "V.S.HARA", 4200134567, m, "10_12_2018", "13_12_2018").
info(2, 21, du, y, n, "G.B.Gena", 123456789, f, "11_10_2019", "10_09_2019").
info(1, 5, du, n, n, "O.Z.Born", 123444312, f, "11_11_2011", "11_12_2019").
info(4, 6, uno, y, n, "A.Z.Aza", 123443121, m, "11_11_11", "11_11_11").

@arlat · 20.12.2018, 09:48

Сообщение от TheBlackBear

Как реализовать процесс поиска ОТ какой то введенной даты ДО другой введенной даты?
Сами даты в "добавлении записи в базу" производятся в виде "ДД_ММ_ГГГГ". Корректен ли такой формат? Или удобнее использовать другой?

Да, если есть возможность, лучше другой формат, например 'ГГГГ-ММ-ДД' или структурой date(ГГГГ, ММ, ДД), тогда можно сравнивать как термы с помощью операторов сравнения, но с добавлением символа @
Standard Order of Terms
Если формат задан, как обязательный, преобразовать тоже не сложно...

@arlat · 20.12.2018, 09:58

Prolog

1	string_chars("10_12_2018", [D1, D2, '_', M1, M2, '_', Y1, Y2, Y3, Y4]), atom_chars(YYYYMMDD, [Y1, Y2, Y3, Y4, '-', M1, M2, '-', D1, D2]).

@arlat · 20.12.2018, 10:00

Сообщение от arlat

или структурой date(ГГГГ, ММ, ДД)

Нет, отбой, лучше атомом 'YYYY-MM-DD'

@arlat 794 / 598 / 156 Регистрация: 07.10.2013 Сообщений: 1,327
	20.12.2018, 09:48	2
	Сообщение от TheBlackBear Как реализовать процесс поиска ОТ какой то введенной даты ДО другой введенной даты? Сами даты в "добавлении записи в базу" производятся в виде "ДД_ММ_ГГГГ". Корректен ли такой формат? Или удобнее использовать другой? Да, если есть возможность, лучше другой формат, например 'ГГГГ-ММ-ДД' или структурой date(ГГГГ, ММ, ДД), тогда можно сравнивать как термы с помощью операторов сравнения, но с добавлением символа @ Standard Order of Terms Если формат задан, как обязательный, преобразовать тоже не сложно... 0

@arlat 794 / 598 / 156 Регистрация: 07.10.2013 Сообщений: 1,327
	20.12.2018, 10:00	4
	Сообщение от arlat или структурой date(ГГГГ, ММ, ДД) Нет, отбой, лучше атомом 'YYYY-MM-DD' 0

Поиск информации в базе данных на SWI-Prolog

Решение