ðåôåðàòû ðåôåðàòû
 

Ãëàâíàÿ

Ðàçäåëû

Íîâîñòè

Πñàéòå

Êîíòàêòû

 
ðåôåðàòû

Àâèàöèÿ è êîñìîíàâòèêà
Àäìèíèñòðàòèâíîå ïðàâî
Àðáèòðàæíûé ïðîöåññ
Àðõèòåêòóðà
Àñòðîëîãèÿ
Àñòðîíîìèÿ
Áàíêîâñêîå äåëî
Áåçîïàñíîñòü æèçíåäåÿòåëüíîñòè
Áèçíåñ-ïëàí
Áèîëîãèÿ
Áóõó÷åò óïðàâëåí÷ó÷åò
Âîäîñíàáæåíèå âîäîîòâåäåíèå
Âîåííàÿ êàôåäðà
Ãåîãðàôèÿ è ãåîëîãèÿ
Ãåîäåçèÿ
Ãîñóäàðñòâåííîå ðåãóëèðîâàíèå è íàëîãîîáëîæåíèå
Ãðàæäàíñêîå ïðàâî
Ãðàæäàíñêîå ïðîöåññóàëüíîå ïðàâî
Æèâîòíûå
Æèëèùíîå ïðàâî
Èíîñòðàííûå ÿçûêè è ÿçûêîçíàíèå
Èñòîðèÿ è èñòîðè÷åñêèå ëè÷íîñòè
Êîììóíèêàöèè ñâÿçü öèôðîâûå ïðèáîðû è ðàäèîýëåêòðîíèêà
Êðàåâåäåíèå è ýòíîãðàôèÿ
Êóëèíàðèÿ è ïðîäóêòû ïèòàíèÿ
Êóëüòóðà è èñêóññòâî
Ëèòåðàòóðà
Ëîãèêà
Ëîãèñòèêà
Ìàðêåòèíã
Ìàññ-ìåäèà è ðåêëàìà
Ìàòåìàòèêà
Ìåäèöèíà
Ìåæäóíàðîäíîå è Ðèìñêîå ïðàâî
Óãîëîâíîå ïðàâî óãîëîâíûé ïðîöåññ
Òðóäîâîå ïðàâî
Æóðíàëèñòèêà
Õèìèÿ
Ãåîãðàôèÿ
Èíîñòðàííûå ÿçûêè
Áåç êàòåãîðèè
Ôèçêóëüòóðà è ñïîðò
Ôèëîñîôèÿ
Ôèíàíñû
Ôîòîãðàôèÿ
Õèìèÿ
Õîçÿéñòâåííîå ïðàâî
Öèôðîâûå óñòðîéñòâà
Òàìîæåííàÿ ñèñòåìà
Òåîðèÿ ãîñóäàðñòâà è ïðàâà
Òåîðèÿ îðãàíèçàöèè
Òåïëîòåõíèêà
Òåõíîëîãèÿ
Òîâàðîâåäåíèå
Òðàíñïîðò
Òðóäîâîå ïðàâî
Òóðèçì
Óãîëîâíîå ïðàâî è ïðîöåññ
Óïðàâëåíèå
Ðàäèîýëåêòðîíèêà
Ðåëèãèÿ è ìèôîëîãèÿ
Ðèòîðèêà
Ñîöèîëîãèÿ
Ñòàòèñòèêà
Ñòðàõîâàíèå
Ñòðîèòåëüñòâî
Ñõåìîòåõíèêà
Èñòîðèÿ
Êîìïüþòåðû ÝÂÌ
Êóëüòóðîëîãèÿ
Ñåëüñêîå ëåñíîå õîçÿéñòâî è çåìëåïîëüçîâàíèå
Ñîöèàëüíàÿ ðàáîòà
Ñîöèîëîãèÿ è îáùåñòâîçíàíèå

ðåôåðàòû
ðåôåðàòû

ÍÀÓ×ÍÀß ÁÈÁËÈÎÒÅÊÀ - ÐÅÔÅÐÀÒÛ - Ðàçðàáîòêà èíôîðìàöèîííî ñïðàâî÷íîé ñèñòåìû Âîäèòåëüñêîå óäîñòîâåðåíèå

Ðàçðàáîòêà èíôîðìàöèîííî ñïðàâî÷íîé ñèñòåìû Âîäèòåëüñêîå óäîñòîâåðåíèå


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.
ðåôåðàòû
© ÐÅÔÅÐÀÒÛ, 2012

ðåôåðàòû