Скачать работу в формате MO Word.

Разработка информационно-справочной системы "Водительское достоверение" 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.