Разработка информационно-справочной системы "Картотека ГАИ" Prolog
CODE=9003
/* **************************
* КУРСОВАЯ РАБОТА *
* *
* Коломенской Ольги *
* *
**************************
*/
domains
z,nz,n,n1,chp,i=integer
fio,ma,ru,k=symbol
database -svod1
svod1(n,k,nz,ma,ru,chp)
database -lolo
lolo(n,fio,i,ma,ru,chp)
database -kuku
kuku(n,fio,nz,k,ru,chp)
database
svod(n,fio,nz,ma,ru,chp)
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(" =>"),
readint(Choice),
Choice >= 0,
Choice < 9,
clearwindow,
process(Choice),
clearwindow,
Choice = 8,
retractall(_),
removewindow.
/*Процедура поиска и загрузки файла содержащего базу данных*/
load:-
existfile("olia.dat"),
consult("olia.dat"),
cursor(1,2),
write("База загружена").
load:-
cursor(1,2),
write("Нет базы на диске").
/*Пpоцедуpа ввода новых данных*/
process(6):-
makewindow(1,2,7,"Ввод новых данных",0,0,25,80),
nl,
write("Введите порядковый номер :"),readint(K),nl,
write("Введите Фамилию.И.О. :"),readln(F),nl,
write("Введите номерной знак :"),readint(G),nl,
write("Введите марку автомобиля :"),readln(Y),nl,
write("Введите район учета :"),readln(T),nl,
write("Введите число автотранспортных"),nl,
write(" происшествий :"),readint(P),nl,
N1=K,FIO1=F,NZ1=G,MA1=Y,RU1=T,CHP1=P,
assertz(svod(N1,FIO1,NZ1,MA1,RU1,CHP1)),
removewindow,
fail.
/*Процедура просмотра-добавления*/
process(7):-
makewindow(1,2,7,"Просмотр-добавление",0,0,25,80),
nl,
write("Введите номер записи:"),readint(A),nl,nl,
svod(N,FIO,NZ,MA,RU,CHP),
A=N,
write("Номер записи :"),write(A),nl,
write("Фамилия.И.О. :"),write(FIO),nl,
write("Номерной знак :"),write(NZ),nl,
write("Марка автомобиля :"),write(MA),nl,
write("Район учета :"),write(RU),nl,
write("Число автотранспортных "),nl,
write(" происшествий :"),write(CHP),nl,nl,nl,
write("Нажмите на любую клавишу"),
readchar(_),
removewindow,
!.
process(7):-
write("Этого номера записи нет в базе."),
write("Повторите введенный номер записи и продолжайте ввод данных"),nl,nl,nl,
write("Введите номер:"),
readint(A),nl,
A=N1,
write("Введите Фамилию.И.О. :"),readln(F),nl,
write("Введите номерной знак :"),readint(Y),nl,
write("Введите марку автомабиля :"),readln(J),nl,
write("Введите район учета :"),readln(G),nl,
write("Введите число автотранспортных"),nl,
write(" происшествий:"),readint(K),nl,
FIO1=F,NZ1=Y,MA1=J,RU1=G,CHP1=K,
assertz(svod(N1,FIO1,NZ1,MA1,RU1,CHP1)),
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:Коломенская О. "),nl,nl,
write(" МИРЭА, гp.ИТ-1-95 (с) 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,NZ,MA,RU,CHP),
write("Номер записи :"),write(N),nl,
write("Фамилия.И.О. :"),write(FIO),nl,
write("Номерной знак :"),write(NZ),nl,
write("Марка автомабиля :"),write(MA),nl,
write("Район учета :"),write(RU),nl,
write("Число автотранспортных"),nl,
write(" происшествий:"),write(CHP),nl,
nl,
write("Введите Фамилию.И.О. :"),readln(FIO1),nl,
write("Введите номерной знак :"),readint(NZ1),nl,
write("Введите марку автомабиля :"),readln(MA1),nl,
write("Введите район учета :"),readln(RU1),nl,
write("Введите число автотранспортных"),nl,
write(" происшествий:"),readint(CHP1),nl,
X1=X,
retract(svod(X,FIO,NZ,MA,RU,CHP)),
assert(svod(X1,FIO1,NZ1,MA1,RU1,CHP1)),
!,
removewindow.
/*Процедура просмотра содержимого базы данных*/
process(2):-
makewindow(1,2,7,"Просмотp базы",0,0,25,80),
nl,
write("--------------------------------------------------------------------"),nl,
write(" КАРТОТЕКА ГАИ "),nl,
write("--------------------------------------------------------------------"),nl,
write("!поряд.! фамилия ! номерной ! марка ! район ! число авто !"),nl,
write("!номер ! И.О.владельца! знак ! а.машины! учета ! происшествий!"),nl,
write("--------------------------------------------------------------------"),nl,
svod(N,FIO,NZ,MA,RU,CHP),
cursor(Z,_),
cursor(Z,0),write(N),
cursor(Z,9),write(FIO),
cursor(Z,24),write(NZ),
cursor(Z,35),write(MA),
cursor(Z,45),write(RU),
cursor(Z,55),write(CHP),
cursor(Z,68),write("!"),
nl,
fail.
process(2):-
write("-------------------------------------------------------------------"),
nl,
write("Нажмите на любую клавишу"),
readchar(_),
removewindow.
/*Процедура загрузки в память базы данных*/
process(3):-
nl,
makewindow(2,15,4,"Загрузка",5,5,20,70),
write("1 - База будет загружена из указанного файла"),nl,
write("2 - База будет загружена из файла olia.dat"),nl,
write("3 - Выход в основное меню"),nl,
write("==>"),
readint(C),
C>0,C<4,
lod(C),
!,
removewindow.
/*Процедура сохранения базы данных*/
process(4):-
nl,
makewindow(2,15,4,"Запись",5,5,20,70),
write("1 - База будет записана в указанный файл"),nl,
write("2 - База будет записана в файл olia.dat"),nl,
write("3 - Выход в основное меню"),nl,
write("==>"),
readint(I),
I>0,I<4,
sve(I),!,
removewindow.
/*Процедура выбора создания новой базы*/
process(5):-
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,NZ,MA,RU,CHP),
S=FIO,
S=X,
N1=N,NZ1=NZ,MA1=MA,RU1=RU,CHP1=CHP,
assert(svod1(N1,S,NZ1,MA1,RU1,CHP1)),
fail.
procedure(1):-
write("-------------------------------------------------------------------"),nl,
write(" КАРТОТЕКА ГАИ "),nl,
write("-------------------------------------------------------------------"),nl,
write("!поряд.! Фамилия !номерной! марка ! район ! число авто.!"),nl,
write("!номер ! И.О. владельца ! знак ! а.машины! учета !происшествий!"),nl,
write("-------------------------------------------------------------------"),nl,
svod1(N1,S,NZ1,MA1,RU1,CHP1),
cursor(Z,_),
cursor(Z,0),write(N1),
cursor(Z,9),write(S),
cursor(Z,24),write(NZ1),
cursor(Z,35),write(MA1),
cursor(Z,45),write(RU1),
cursor(Z,55),write(CHP1),
cursor(Z,68),write("!"),
fail.
procedure(1):-
write("-------------------------------------------------------------------"),
save("not.dat",svod1),
nl,
write("База сохранена в файле not.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("Введите номерной знак а.машины:"),
readint(X),
svod(N,FIO,NZ,MA,RU,CHP),
S=NZ,
S=X,
N1=N,FIO1=FIO,MA1=MA,RU1=RU,CHP1=CHP,
assert(lolo(N1,FIO1,S,MA1,RU1,CHP1)),
fail.
procedure(2):-
write("-------------------------------------------------------------------"),nl,
write(" КАРТОТЕКА ГАИ "),nl,
write("-------------------------------------------------------------------"),nl,
write("!поряд.! Фамилия !номерной! марка ! район ! число авто.!"),nl,
write("!номер ! И.О. владельца ! знак !атомобиля! учета !происшествий!"),nl,
write("-------------------------------------------------------------------"),nl,
lolo(N1,FIO1,S,MA1,RU1,CHP1),
cursor(Z,_),
cursor(Z,0),write(N1),
cursor(Z,9),write(FIO1),
cursor(Z,24),write(S),
cursor(Z,35),write(MA1),
cursor(Z,45),write(RU1),
cursor(Z,55),write(CHP1),
cursor(Z,68),write("!"),
fail.
procedure(2):-
write("-----------------------------------------------------------------------------"),
save("not1.dat",lolo),
nl,
write("База сохранена в файле not1.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("Введите марку автомобиля:"),
readln(X),
svod(N,FIO,NZ,MA,RU,CHP),
S=MA,
S=X,
N1=N,FIO1=FIO,NZ1=NZ,RU1=RU,CHP1=CHP,
assert(kuku(N1,FIO1,NZ1,S,RU1,CHP1)),
fail.
procedure(3):-
write("-------------------------------------------------------------------"),nl,
write(" КАРТОТЕКА ГАИ "),nl,
write("-------------------------------------------------------------------"),nl,
write("!поряд.! Фамилия !намерной! марка ! район ! число авто.!"),nl,
write("!номер ! И.О. владельца ! знак !автомобиля! учета !происшествий!"),nl,
write("-------------------------------------------------------------------"),nl,
kuku(N1,FIO1,NZ1,S,RU1,CHP1),
cursor(Z,_),
cursor(Z,0),write(N1),
cursor(Z,9),write(FIO1),
cursor(Z,24),write(NZ1),
cursor(Z,35),write(S),
cursor(Z,45),write(RU1),
cursor(Z,55),write(CHP1),
cursor(Z,68),write("!"),
fail.
procedure(3):-
write("-------------------------------------------------------------------"),
save("not2.dat",kuku),
nl,
write("База сохранена в файле not.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("olia.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("olia.dat"),
consult("olia.dat"),
write("Все в порядке"),
beep,
!.
lod(2):-
write("Файла olia.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("==>"),
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(C),
svod(Z,_,_,_,_,C),
N=Z.
sel(6,N):-
N=0.