Читайте данную работу прямо на сайте или скачайте
Разработка информационно-справочной системы "Водительское достоверение" Prolog
CODE=12050
/* **************************
* КУРСОВАЯ РАБОТ *
* *
* Федоров Вадим *
* *
**************************
*/
domains
z,i,n,n1,n,no,dat,datv=integer
gor,fio,se,j=symbol
database -svod1
svod1(n,j,dat,gor,se,no,datv)
database -lolo
lolo(n,fio,dat,gor,j,no,datv)
database -kuku
kuku(n,fio,dat,gor,se,i,datv)
database-svod
svod(n,fio,dat,gor,se,no,datv)
predicates
start
patch
load
select(i)
sel(i,i)
process(i)
procedure(i)
sve(i)
lod(i)
repeat
goal
start.
clauses
/*Процедура создания основного меню и загрузки базы данных*/
start:-
makewindow(1,2,7,"ВОДИТЕЛЬСКОЕ ДОСТОВЕРЕНИЕ",0,0,25,80),
clearwindow,
load,
patch.
/*Процедура правления основным меню*/
patch:repeat,
cursor(7,0),
write(" 0 - О пpогpамме... "),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(" =>"),
readint(Choice),
Choice >= 0,
Choice < 10,
clearwindow,
process(Choice),
clearwindow,
Choice = 9,
retractall(_),
removewindow.
/*Процедура поиска и загрузки файла содержащего базу данных*/
load:existfile("mak.dat"),
consult("mak.dat"),
cursor(1,2),
write("База загружена").
load:cursor(1,2),
write("Нет базы на диске").
/*Пpоцедуpа ввода новых данных*/
process(7):-
makewindow(1,2,7,"Ввод новых данных",0,0,25,80),
nl,
write("Введите порядковый номер :"),readint(K),nl,
write("Введите фамилию,имя и отчество владельца :"),readln(O),nl,
write("Введите число,месяц и год рождения:"),readint(I),nl,
write("Введите город рождения:"),readln(Y),nl,
write("Введите серию достоверения:"),readln(T),nl,
write("Введите номер достоверения:"),readint(V),nl,
write("Введите дату выдачи(число,месяц,год):"),readint(A),nl,
N1=K,FIO1=O,DAT1=I,GOR1=Y,SE1=T,NO1=V,DATV1=A,
assertz(svod(N1,FIO1,DAT1,GOR1,SE1,NO1,DATV1)),
removewindow,
fail.
/*Процедура просмотра-добавления*/
process(8):-
makewindow(1,2,7,"Просмотр-добавление",0,0,25,80),
nl,
write("Введите номер записи:"),readint(A),nl,nl,
svod(N,FIO,DAT,GOR,SE,NO,DATV),
A=N,
write("Номер записи :"),write(A),nl,
write("Фамилия,имя,отчество владельца:"),write(FIO),nl,
write("Число,месяц,год рождения:"),write(DAT),nl,
write("Город рождения:"),write(GOR),nl,
write("Серию достоверения:"),write(SE),nl,
write("Номер достоверения:"),write(NO),nl,
write("Дату выдачи(число,месяц,год):"),write(DATV),nl,nl,nl,nl,nl,
write("Нажмите на любую клавишу"),
readchar(_),
removewindow,
!.
process(8):-
write("Повторите введенный номер записи и продолжайте ввод данных"),nl,nl,nl,
write("Этого номера записи нет в базе."),
write("Введите номер:"),
readint(A),nl,
A=N1,
write("Введите фамилию,имя и отчество владельца :"),readln(F),nl,
write("Введите число,месяц и год рождения:"),readint(Y),nl,
write("Введите город рождения:"),readln(J),nl,
write("Введите серию достоверения:"),readln(G),nl,
write("Введите номер удостоверения:"),readint(E),nl,
write("Введите дату выдачи(число,месяц,год):"),readint(Z),nl,
FIO1=F,DAT1=Y,GOR1=J,SE1=G,NO1=E,DATV1=Z,
assertz(svod(N1,FIO1,DAT1,GOR1,SE1,NO1,DATV1)),
removewindow,
fail.
/*Пpоцедуpа вывода данных о пpогpамме*/
process(0):-
makewindow(1,2,7,"О пpогpамме...",0,0,25,80),
write(" Инфоpмационно-спpавочная система"),nl,nl,
write(" о водительском достовеенииа "),nl,nl,
write(" Язык-TURBO-PROLOG v.2.0. "),nl,nl,
write(" автоp:Федoров В. "),nl,nl,
write(" МИРЭА, гp.ИТ-1-94а (с) 1995 г. "),nl,nl,nl,nl,
write("Нажмите на любую клавишу"),
readchar(_),
removewindow.
/*Процедура изменения содержимого записей базы данных*/
process(1):makewindow(1,2,7,"Коppекция данных",0,0,25,80),
nl,
select(N),
X=N,
svod(X,FIO,DAT,GOR,SE,NO,DATV),
write("Номер записи :"),write(N),nl,
write("Фамилия,имя,отчество владельца:"),write(FIO),nl,
write("Число,месяц,год рождения:"),write(DAT),nl,
write("Город рождения:"),write(GOR),nl,
write("Серию удостоверения:"),write(SE),nl,
write("Номер достоверения:"),write(NO),nl,
write("Дату выдачи(число,месяц,год):"),write(DATV),nl,nl,nl,nl,nl,
nl,
write("Введите фамилию,имя и отчество владельца :"),readln(FIO1),nl,
write("Введите число,месяц и год рождения:"),readint(DAT1),nl,
write("Введите город рождения:"),readln(GOR1),nl,
write("Введите серию удостоверения:"),readln(SE1),nl,
write("Введите номер достоверения:"),readint(NO1),nl,
write("Введите дату выдачи(число,месяц,год):"),readint(DATV1),nl,
X1=X,
retract(svod(X,FIO,DAT,GOR,SE,NO,DATV)),
assert(svod(X1,FIO1,DAT1,GOR1,SE1,NO1,DATV1)),
!,
removewindow.
/*Процедура даления записей из базы данных*/
process(2):makewindow(1,2,7,"Удаление записей",0,0,25,80),
nl,
select(N),
X=N,
svod(X,FIO,DAT,GOR,SE,NO,DATV),
retract(svod(X,FIO,DAT,GOR,SE,NO,DATV)),!,
removewindow.
/*Процедура просмотра содержимого базы данных*/
process(3):makewindow(1,2,7,"Просмотp базы",0,0,25,80),
nl,
write("!"),
write(" ВОДИТЕЛЬСОе ДОСТОВЕРЕНИЕ "),
nl,
write("----------------------------------------------------------------------------!"),
nl,
write("!номер! Фамилия И.О. !а Дата,место рождения ! ! ! Дата выдачи !"),
nl,
write("! ! !число,месяц,год! город !серия!номер!число,месяц,год!"),
nl,
write("-----------------------------------------------------------------------------"),
nl,
svod(N,FIO,DAT,GOR,SE,NO,DATV),
cursor(Z,_),
cursor(Z,0),write(N),
cursor(Z,7),write(FIO),
cursor(Z,25),write(DAT),
cursor(Z,41),write(GOR),
cursor(Z,49),write(SE),
cursor(Z,55),write(NO),
cursor(Z,61),write(DATV),
cursor(Z,76),write("!"),
nl,
fail.
process(3):-
write("-----------------------------------------------------------------------------"),
nl,
write("Нажмите на любую клавишу"),
readchar(_),
removewindow.
/*Процедура загрузки в память базы данных*/
process(4):nl,
makewindow(2,15,4,"Загрузка",5,5,20,70),
write("1 - База будет загружена из казанного файла"),nl,
write("2 - База будет загружена из файла mak.dat"),nl,
write("3 - Выход в основное меню"),nl,
write("==>"),
readint(C),
C>0,C<4,
lod(C),
!,
removewindow.
/*Процедура сохранения базы данных*/
process(5):nl,
makewindow(2,15,4,"Запись",5,5,20,70),
write("1 - База будет записана в казанный файл"),nl,
write("2 - База будет записана в файл mak.dat"),nl,
write("3 - Выход в основное меню"),nl,
write("==>"),
readint(I),
I>0,I<4,
sve(I),!,
removewindow.
/*Процедура выбора создания новой базы*/
process(6):nl,
makewindow(3,2,7,"Создание новой базы",0,0,25,80),
write("1 - База будет создана по фамилии,имени и отчеству владельца"),nl,
write("2 - База будет создана по серии достоверения"),nl,
write("3 - База будет создана по номеру достоверения"),nl,
write("4 - Выход в основное меню"),nl,
write("==>"),
readint(O),
O>0,O<5,
procedure(O),
removewindow.
process(_).
/*Процедура создания новой базы данных и ее сохранения*/
procedure(1):-
makewindow(1,2,7,"Создание новой базы по фамилии,имени и отчеству владельца",0,0,25,80),
nl,
cursor(7,10),
retractall(_,svod1),
nl,
write("Если вы хотите узнать данные о владельце достоверения, то"),
nl,
write("Введите фамилию,имя и отчество владельца:"),
readln(X),
svod(N,FIO,DAT,GOR,SE,NO,DATV),
S=FIO,
S=X,
N1=N,DAT1=DAT,GOR1=GOR,SE1=SE,NO1=NO,DATV1=DATV,
assert(svod1(N1,S,DAT1,GOR1,SE1,NO1,DATV1)),
fail.
procedure(1):write("База создана"),nl,
write("!"),
write(" ВОДИТЕЛЬСОе ДОСТОВЕРЕНИЕ "),
nl,
write("----------------------------------------------------------------------------!"),
nl,
write("!номер! Фамилия И.О. !а Дата,место рождения ! ! ! Дата выдачи !"),
nl,
write("! ! !число,месяц,год! город !серия!номер!число,месяц,год!"),
nl,
write("-----------------------------------------------------------------------------"),
nl,
svod(N,S,DAT,GOR,SE,NO,DATV),
cursor(Z,_),
cursor(Z,0),write(N),
cursor(Z,7),write(S),
cursor(Z,25),write(DAT),
cursor(Z,41),write(GOR),
cursor(Z,49),write(SE),
cursor(Z,55),write(NO),
cursor(Z,61),write(DATV),
cursor(Z,76),write("!"),
nl,
fail.
procedure(1):-
write("-----------------------------------------------------------------------------"),
save("nov.dat",svod1),
nl,
write("База сохранена в файле nov.dat"),
nl,
write("Нажмите любую клавишу"),
readchar(_),
removewindow,
!.
procedure(1):-
write("-----------------------------------------------------------------------------"),
nl,
write("Невозможно сохранить созданную базу"),
nl,
write("Нажмите любую клавишу"),
readchar(_),
makewindow(1,2,7,"ВОДИТЕЛЬСКОЕ ДОСТОВЕРЕНИЕ",0,0,25,80).
procedure(2):-
makewindow(1,2,7,"Создание новой базы по серии удостоверения",0,0,25,80),
nl,
cursor(7,10),
retractall(_,lolo),
nl,
write("Если вы хотите узнать данные о водительском достоверении, то"),nl,
write("Введите серию достоверения:"),
readln(X),
svod(N,FIO,DAT,GOR,SE,NO,DATV),
S=SE,
S=X,
N1=N,FIO1=FIO,DAT1=DAT,GOR1=GOR,NO1=NO,DATV1=DATV,
assert(lolo(N1,FIO1,DAT1,GOR1,S,NO1,DATV1)),
fail.
procedure(2):write("База создана"),nl,
write("!"),
write(" ВОДИТЕЛЬСОе ДОСТОВЕРЕНИЕ "),
nl,
write("----------------------------------------------------------------------------!"),
nl,
write("!номер! Фамилия И.О. !а Дата,место рождения ! ! ! Дата выдачи !"),
nl,
write("! ! !число,месяц,год! город !серия!номер!число,месяц,год!"),
nl,
write("-----------------------------------------------------------------------------"),
nl,
svod(N,FIO,DAT,GOR,S,NO,DATV),
cursor(Z,_),
cursor(Z,0),write(N),
cursor(Z,7),write(FIO),
cursor(Z,25),write(DAT),
cursor(Z,41),write(GOR),
cursor(Z,49),write(S),
cursor(Z,55),write(NO),
cursor(Z,61),write(DATV),
cursor(Z,76),write("!"),
nl,
fail.
procedure(2):-
write("-----------------------------------------------------------------------------"),
save("nov1.dat",lolo),
nl,
write("База сохранена в файле nov1.dat"),
nl,
write("Нажмите любую клавишу"),
readchar(_),
removewindow,
!.
procedure(2):write("-----------------------------------------------------------------------------"),
nl,
write("Невозможно сохранить созданную базу"),
nl,
write("Нажмите любую клавишу"),
readchar(_),
makewindow(1,2,7,"ВОДИТЕЛЬСКОЕ УДОСТОВЕРЕНИЕ",0,0,25,80).
procedure(3):-
makewindow(1,2,7,"Создание базы данных по номеру удостоверения",0,0,25,80),
nl,
cursor(7,10),
retractall(_,kuku),
nl,
write("Если вы хотите узнать данные о водительском достоверении, то"),
nl,
write("Введите номер достоверения:"),
readint(X),
svod(N,FIO,DAT,GOR,SE,NO,DATV),
S=NO,
S=X,
N1=N,FIO1=FIO,DAT1=DAT,GOR1=GOR,SE1=SE,DATV1=DATV,
assert(kuku(N1,FIO1,DAT1,GOR1,SE1,S,DATV1)),
fail.
procedure(3):write("База создана"),nl,
write("!"),
write(" ВОДИТЕЛЬСОе ДОСТОВЕРЕНИЕ "),
nl,
write("----------------------------------------------------------------------------!"),
nl,
write("!номер! Фамилия И.О. !а Дата,место рождения ! ! ! Дата выдачи !"),
nl,
write("! ! !число,месяц,год! город !серия!номер!число,месяц,год!"),
nl,
write("-----------------------------------------------------------------------------"),
nl,
svod(N,FIO,DAT,GOR,SE,S,DATV),
cursor(Z,_),
cursor(Z,0),write(N),
cursor(Z,7),write(FIO),
cursor(Z,25),write(DAT),
cursor(Z,41),write(GOR),
cursor(Z,49),write(SE),
cursor(Z,55),write(S),
cursor(Z,61),write(DATV),
cursor(Z,76),write("!"),
nl,
fail.
procedure(3):-
write("-----------------------------------------------------------------------------"),
save("nov2.dat",kuku),
nl,
write("База сохранена в файле nov2.dat"),
nl,
write("Нажмите любую клавишу"),
readchar(_),
removewindow,
!.
procedure(3):-
write("-----------------------------------------------------------------------------"),
nl,
аwrite("Невозможно сохранить созданную базу"),
nl,
write("Нажмите любую клавишу"),
readchar(_),
makewindow(1,2,7,"ВОДИТЕЛЬСКОЕ ДОСТОВЕРЕНИЕ",0,0,25,80).
/*Процедура записи на диск*/
sve(1):write("Введите имя файла :"),
readln(N),
save(N),
write("Все в порядке"),
beep,
!.
sve(1):write("Ошибка обмена, нажмите любую клавишу"),
readchar(_).
sve(2):save("mak.dat").
sve(3).
/*Процедура чтения с диска*/
lod(1):retractall(_),
write("Введите имя файла :"),
readln(N),
existfile(N),
consult(N),
write("Все в порядке"),
beep,
!.
lod(1):nl,
write("Данного файла нет на диске"),nl,
write("Нажмите любую клавишу"),
readchar(_).
lod(2):retractall(_),
existfile("mak.dat"),
consult("mak.dat"),
write("Все в порядке"),
beep,
!.
lod(2):-
write("Файла mak.dat нет на диске"),nl,
write("нажмите любую клавишу"),
readchar(_).
lod(3).
repeat.
repeat:- repeat.
/*Выбор записи*/
select(N):nl,
write("1 - известен номер записи"),nl,
write("2 - известна фамилия,има,отчество владельца"),nl,
write("3 - известно число,месяц,год рождения"),nl,
write("4 - известен город рождения"),nl,
write("5 - известна серия достоверения"),nl,
write("6 - известен номер достоверения"),nl,
write("7 - известна дата выдачи(число,месяц,год)"),nl,
write("==>"),
readint(X),
sel(X,N).
sel(1,N):nl,
write("Введите номер записи :"),
readint(N),
svod(M,_,_,_,_,_,_),
M=N.
sel(1,N):N=0.
sel(2,N):nl,
write("Введите фамилию,имя,отчество владельца:"),
readln(L),
svod(Z,L,_,_,_,_,_),
N=Z.
sel(2,N):N=0.
sel(3,N):nl,
write("Введите число,месяц,год рождения: "),
readint(F),
svod(Z,_,F,_,_,_,_),
N=Z.
sel(3,N):N=0.
sel(4,N):nl,
write("Введите город рождения:"),
readln(Q),
svod(Z,_,_,Q,_,_,_),
N=Z.
sel(4,N):N=0.
sel(5,N):nl,
write("Введите серию достоверения:"),
readln(W),
svod(Z,_,_,_,W,_,_),
N=Z.
sel(5,N):N=0.
sel(6,N):nl,
write("Введите номер достоверения:"),
readint(E),
svod(Z,_,_,_,_,E,_),
N=Z.
sel(6,N):N=0.
sel(7,N):nl,
write("Введите дату выдачи(число,месяц,год):"),
readint(A),
svod(Z,_,_,_,_,_,A),
N=Z.
sel(7,N):N=0.