База данных в прологе

@Not_alone · Регистрация: 21.06.2010

1.База содержит факты town (name, country). Отсортировать факты в различные базы данных в зависимости от принадлежности к стране. Выполнить реализацию внешней базы данных, при этом результат поместить во внешний файл. При реализации внутренней базы данных результат выводится в окно выполнения Пролога.

помогите плиз)))

Добавлено через 6 часов 41 минуту

Prolog

domains
list=symbol*
 
database-main
 town0(symbol,symbol) 
 town00(symbol,symbol)
 
database-russia
 town1(symbol,symbol)
 
database-france
 town2(symbol,symbol)
 
database-egypt
 town3(symbol,symbol)
 
database-japan
 town4(symbol,symbol)
 
database-german
 town5(symbol,symbol)
 
predicates
crush(symbol)
countries(list)
the_base
h_t(list)
out_bases(integer)
 
clauses
town0(saint_peterburg,russia).
town0(moskva,russia). 
town0(novosibirsk,russia).
 
town0(paris,france). 
town0(marsel,france).
 
town0(kair,egypt).
 
town0(berlin,german).
town0(francfurt,german). 
town0(nurnberg,german).
 
town0(tokio,japan). 
 
town0(astana,kazahstan). 
town0(kiev,ukraine). 
town0(pekin,kitai).
 
countries(L):-L=[russia,france,egypt,german,japan].
crush(Contr):-Contr=main,town0(Sity,Contr),assertz(town0(Sity,Contr),main), 
    town0(Sity1,Contr),fail;
    Contr=russia,town0(Sity,Contr),assertz(town1(Sity,Contr),russia), 
    town1(Sity1,Contr),fail;
    Contr=france,town0(Sity,Contr),assertz(town2(Sity,Contr),france), 
    town2(Sity1,Contr),fail;
    Contr=egypt,town0(Sity,Contr),assertz(town3(Sity,Contr),egypt), 
    town3(Sity1,Contr),fail;
    Contr=german,town0(Sity,Contr),assertz(town5(Sity,Contr),german), 
    town5(Sity1,Contr),fail;
    Contr=japan,town0(Sity,Contr),assertz(town4(Sity,Contr),japan), 
    town4(Sity1,Contr),fail.
h_t([]):-!.
h_t([H|T]):-crush(H),h_t(T);
h_t(T).
out_bases(V):-V=0,town0(X,Y), write(X," ",Y),nl,fail; 
           V=1,town1(X,Y), write(X,"    ",Y),nl,fail;
           V=2,town2(X,Y), write(X,"    ",Y),nl,fail;
           V=3,town3(X,Y), write(X,"    ",Y),nl,fail;
           V=4,town4(X,Y), write(X,"    ",Y),nl,fail;
           V=5,town5(X,Y), write(X,"    ",Y),nl,fail;
   retractall(_,russia),retractall(_,france),
   retractall(_,egypt),retractall(_,german),retractall(_,japan).
the_base:-write("Enter number of DataBase:"),nl,
      write("    0 - Main"),nl,
      write("   1 - Russia"),nl,
      write("   2 - France"),nl,
      write("   3 - Egypt"),nl,
      write("   4 - Japan"),nl,
      write("   5 - German"),nl,
   readint(V),countries(L),h_t(L),out_bases(V).
goal
the_base

было вот так, но преподаватель говорит, что должно быть без списков. Так же не должно быть навигации,т.е. запустили и сразу вывело:
Russia
Moscow,Tomsk,Sochi

Usa
New York, Detroit, Los Angeles

@Not_alone · 23.06.2010, 21:00 **[ТС]**

все разобрался сам) кому интересно вот текст

Prolog

domains
name, country=string
 
database-main
 town(name,country) 
 
database-japan
 town1(name,country)
 
database-russia
 town2(name,country)
 
database-ukraine
 town3(name,country)
 
predicates
section(symbol)
the_base
 
 
 
CLAUSES
town(tokio, japan).
town(kioto, japan).
town(osaka, japan).
 
town(moscow, russia).
town(ufa, russia).
town(tomsk, russia).
 
town(kiev, ukraine).
town(lvov, ukraine).
town(harkov, ukraine).
 
 
 
section(Contr):-
 
Contr=japan,town(Sity,Contr),assertz(town1(Sity,Contr),japan), 
 retract(town(Sity,Contr), main), fail;
 
Contr=russia,town(Sity,Contr),assertz(town2(Sity,Contr),russia), 
 retract(town(Sity,Contr), main), fail;
 
Contr=ukraine,town(Sity,Contr),assertz(town3(Sity,Contr),ukraine), 
 retract(town(Sity,Contr), main), fail.
the_base:-section(H).
 
   
 the_base:-write("Japan"),nl,town1(X,Y),write(X),nl,fail;
 nl,write("Russia"),nl,town1(X,Y),write(X),nl,fail;
 nl,write("Ukraine"),nl,town3(X,Y),write(X),nl,fail.
     
goal
the_base

Опции темы