Разработка справочной системы железнодорожной компании

 
 
 
 
 
 
 
 
 
 
 
 

 

Приложение 1. Листинг программы 

DOMAINS

number,nspravka,number1,nspravka1,number2,nspravka2=String

DATABASE

spravka(number,nspravka)

spravka1(number1,nspravka1)

spravka2(number2,nspravka2) 

PREDICATES

nondeterm

name_spravka(number,nspravka)

name_spravka1(number1,nspravka1)

name_spravka2(number2,nspravka2)

m(char)

menu 

CLAUSES

spravka("1","Otpravlenie:Moscwa\nNaznachenie: Arhangelsk\n\nVremia otpravlenia: 09:35\n\nTip vagona:kupe\n\nDni vipolnenia reisov:subbota\n\nVrenia pribitia: 06:24\n\nChena: 2763").

spravka("2","Otpravlenie:Moscwa\nNaznachenie: Grozniy\n\nVremia otpravlenia: 14:37\n\nTip vagona:platskart\n\nDni vipolnenia reisov:ponedel'nik-sreda\n\nVremia pribitia: 09:05\n\nChena: 2953").                               

spravka("3","Otpravlenie:Moscwa\nNaznachenie: Kaliningrad\n\nVremia otpravlenia: 14:06\n\nTip vagona:kupe\n\nDni vipolnenia reisov:vtornik\n\nVremia pribitia: 12:06\n\nChena: 3222").

spravka("4","Otpravlenie:Moscwa\nNaznachenie: Kiev\n\nVremia otpravlenia: 16:46\n\nTip vagona:platskart\n\nDni vipolnenia reisov:voskresen'e\n\nVremia pribitia:: 05:10\n\nChena: 1349").                              

spravka("5","Otpravlenie:Moscwa\nNaznachenie: Krasnoyarsk\n\nVremia otpravlenia: 14:50\n\nTip vagona:kupe\n\nDni vipolnenia reisov:ponedel'nik\n\nVremia pribiti: 05:30\n\nChena: 9450").             

spravka("6","Otpravlenie:Moscwa\nNaznachenie: Sochi\n\nVremia otpravlenia: 19:29\n\nTip vagona:platskart\n\nDni vipolnenia reisov:vtornik\n\nVremia pribitia: 04:13\n\nChena: 2996").                

spravka("7","Otpravlenie:Moscwa\nNaznachenie: Perm'\n\nVremia otpravlenia: 19:50\n\nTip vagona:kupe\n\nDni vipolnenia reisov:vtornik-voskresen'e\n\nVremia pribitia: 15:56\n\nChena: 2236").

spravka("8","Otpravlenie:Moscwa\nNaznachenie: Samara\n\nVremia otpravlenia: 18:10\n\nTip vagona:platskart\n\nDni vipolnenia reisov:subbota\n\nVremia pribitia:09:00\n\nChena: 2793").

spravka("9","Otpravlenie:Moscwa\nNaznachenie: Tomsk\n\nVremia otpravlenia: 22:40\n\nTip vagona:kupe\n\nDni vipolnenia reisov:sreda\n\nVremia pribitia: 05:56\n\nChena: 8268").

spravka("10","Otpravlenie:Moscwa\n Naznachenie: Habarovsk\n\nVremia otpravlenia: 00:35\n\nTip vagona:kupe\n\nDni vipolnenia reisov:ponedel'nik\n\nVremia pribitia: 02:33\n\nChena: 8073"). 

spravka1("09:35","Nomer reisa: 1\nOtpravlenie:Moscwa\nNaznachenie:Arhangelsk\n\nTip vagona:kupe\n\nDni vipolnenia reisov:subbota\n\nVremia pribtia: 06:24\n\nChena bileta: 2763").

spravka1("14:37","Nomer reisa: 2\nOtpravlenie:Moscwa\nNaznachenie:Grozniy\n\nTip vagona:platskart\n\nDni vipolnenia reisov:ponedel'nik-sreda\n\nVremia pribitia: 09:05\n\nChena bileta: 2953").

spravka1("14:06","Nomer reisa: 3\nOtpravlenie:Moscwa\nNaznachenie:Kaliningrad\n\nTip vagona:kupe\n\nDni vipolnenia reisov:vtornik\n\nVremia pribitia: 12:06\n\nChena bileta: 3222").

spravka1("16:46","Nomer reisa: 4\nOtpravlenie:Moscwa\nNaznachenie:Kiev\n\nTip vagona:platskart\n\nDni vipolnenia reisov:voskresen'e\n\nVremia pribitia: 05:10\n\nChena bileta: 1349").

spravka1("14:50","Nomer reisa: 5\nOtpravlenie:Moscwa\nNaznachenie:Krasnoyarsk\n\nTip vagona:kupe\n\nDni vipolnenia reisov:ponedel'nik\n\nVremia pribitia: 05:30\n\nChena: 9450").                    

spravka1("19:29","Nomer reisa: 6\nOtpravlenie:Moscwa\nNaznachenie:Sochi\n\nTip vagona:platskart\n\nDni vipolnenia reisov:vtornik\n\nVremia pribitia: 04:13\n\nChena bileta: 2996").

spravka1("19:50","Noner reisa: 7\nOtpravlenie:Moscwa\nNaznachenie:Perm'\n\nTip vagona:kupe\n\nDni vipolnenia reisov:vtornik-voskresen'e\n\nVremia pribitia: 15:56\n\nChena bileta: 2236").

spravka1("18:10","Nomer reisa: 8\nOtpravlenie:Moscwa\nNaznachenie:Samara\n\nTip vagona:platskart\n\nDni vipolnenia reisov:subbota\n\nVremia pribitia: 09:00\n\nChena bileta: 2793").

spravka1("22:40","Nomer reisa: 9\nOtpravlenie:Moscwa\nNaznachenie:Tomsk\n\nTip vagona:kupe\n\nDni vipolnenia reisov:sreda\n\nVremia pribitia: 05:56\n\nChena bileta: 8268").

spravka1("00:35","Nomer reisa: 10\nOtpravlenie:Moscwa\nNaznachenie:Habarovsk\n\nTip vagona:kupe\n\nDni vipolnenia reisov:ponedel'nik\n\nVremiapribitia: 02:33\n\nChena bileta: 8073"). 

spravka2("Arhangelsk","Nomer reisa: 1\Moscwa-Arhangelsk\n\nTip vagona:kupe\n\nDni vipolnenia reisov:subbota\n\nVremia otpravlenia: 09:35\n\nVremia pribitia: 06:24\n\nChena bileta: 2763").

spravka2("Grozniy","Nomer reisa: 2\Moscwa-Grogniy\n\nTip vagona:platskart\n\nDni vipolnenia reisov:ponedel'nik-sreda\n\nVremia otpravlenia: 14:37\n\nVremia pribitia: 09:05\n\nChena bileta: 2953").    

spravka2("Kaliningrad","Nomer reisa: 3\Moscwa-Kaliningrad\n\nTip vagona:kupe\n\nDni vipolnenia reisov:vtornik\n\nVremia otpravlenia: 14:06\n\nVremia pribitia: 12:06\n\nChena bileta: 3222").

spravka2("Kiev","Nomer reisa: 4\Moscwa-Kiev\n\nTip vagona:platskart\n\nDni vipolnenia reisov:voskresen'e\n\nVremia otpravlenia: 16:46\n\nVremia pribitia: 05:10\n\nChena bileta: 1349").

spravka2("Krasnoyarsk","Nomer reisa: 5\Moscwa-Krasnoyarsk\n\nTip vagona:kupe\n\nDni vipolnenia reisov:ponedel'nik\n\nVremia otpravlenia: 14:50\n\nVremia pribitia: 05:30\n\nChena bileta: 9450").

spravka2("Sochi","Nomer reisa: 6\Moscwa-Sochi\n\nTip vagona:platskart\n\nDni vipolnenia reisov:vtornik\n\nVremia otpravlenia: 19:29\n\nVremia pribitia: 04:13\n\nChena bileta: 2997").

spravka2("Perm'","Nomer reisa: 7\Moscwa-Perm'\n\nTip vagona:kupe\n\nDni vipolnenia reisov:vtornik-voskresen'e\n\nVremia otpravlenia: 19:50\n\nVremia pribitia: 15:56\n\nChena bileta: 2236").

spravka2("Semara","Nomer reisa: 8\Moscwa-Samara\n\nTip vagona:platskart\n\nDni vipolnenia reisov:subbota\n\nVremia otpravlenia: 18:10\n\nVremia pribitia: 09:00\n\nChena bileta: 2793").

spravka2("Tomsk","Nomer reisa: 9\Moscwa-Tomsk\n\nTip vagona:kupe\n\nDni vipolnenia reisov:sreda\n\nVremia otpravlenia: 22:40\n\nVremia pribitia: 05:56\n\nChena bileta: 8268").

spravka2("Habarovsk","Nomer reisa: 10\Moscwa-Habarovsk\n\nTip vagona:kupe\n\nDni vipolnenia reisov:ponedel'nik\n\nVremia otpravlenia: 00:35\n\nVremia pribitia: 02:33\n\nChena bileta: 8073"). 

name_spravka(Number,Spravka):-spravka(Number,Spravka),!.

name_spravka(_,"Net informachii"). 

name_spravka1(Number1,Spravka1):-spravka1(Number1,Spravka1),!.

name_spravka1(_,"Net informachii"). 

name_spravka2(Number2,Spravka2):-spravka2(Number2,Spravka2),!.

name_spravka2(_,"Net informachii"). 

menu:-

clearwindow,

write("1-Nomer reisa"),nl,

write("2-Vremia otpravlenia"),nl,

write("3-Pynkt naznachenia"),nl,

write("0-Viyti"),

readchar(C),

m(C). 

m('1'):-!,

clearwindow,

write("Vvedite nomer reisa"),nl,

readln(Number),

name_spravka(Number,Spravka),

write("     SPRAVKA\n",Spravka),nl,

readchar(_),!,

menu. 

m('2'):-!,

clearwindow,

write("Vvedite vremia otpravlenia"),nl,

readln(Number1),

name_spravka1(Number1,Spravka1),

write("     SPRAVKA\n",Spravka1),nl,

readchar(_),

menu. 

m('3'):-!,

clearwindow,

write("Vvedite pynkt naznachenia"),nl,

readln(Number2),

name_spravka2(Number2,Spravka2),

write("     SPRAVKA\n",Spravka2),nl,

readchar(_),

menu. 

m('0'):-!,

clearwindow,

readchar(_),!,

menu. 

m('0'):-!.

m(_):-menu.

GOAL

menu.