VPF::как соеденить простые условия

Programister0

Дата 13.10.2007, 12:22 (ссылка)

(нет голосов)

Загрузка ...

Шустрый

Профиль
Группа: Участник
Сообщений: 119
Регистрация: 28.5.2007

Репутация: нет
Всего: нет

нужно вывести все гоода государства и его штатов

пишу следющее (необращайте внимания на названия):

Код


DOMAINS
    city, state,x,y,t = symbol
        
PREDICATES
    city (city)
    state (state)
    substate ( state, state )
    capitol ( state, city )
    city_of ( state, city )

        all(x) 
        all2(x) 
CLAUSES 
    city ( "Moscov" ).
    city ( "Kirov" ).
    city ( "Pekin" ).
    city ( "SPB" ).
    city ( "Kazanb" ).
    city ( "Varshava" ).
    city ( "Poznanb" ).
    city ( "Borisov" ).
    
    state ( "Russia" ).
    state ( "Polbsha" ).
        state ( "Ukraina" ).
    state ( "Belorusiya" ).
        state ( "Kitay" ).
    substate ( "Russia", "Tatarstan").
    
    capitol ( "Russia", "Moscov" ).
    capitol ( "Polbsha", "Varshava" ).
    capitol ( "Kitay", "Pekin" ).
    capitol ( "Tatarstan", "Kazanb" ).
    capitol ( "Ukraina", "Kiev" ).
    capitol ( "Belorusiya", "Minsk" ).

    city_of ( "Russia", "Moscov" ).
    city_of ( "Russia", "Kirov" ).
    city_of ( "Russia", "SPB" ).
    city_of ( "Polbsha", "Varshava" ).
    city_of ( "Polbsha", "Poznanb" ).
    city_of ( "Kitay", "Borisov" ).
        city_of ( "Kitay", "Pekin" ).   
    city_of ( "Ukraina", "Kiev" ).
        city_of ( "Ukraina", "Lbvov" ).
        city_of ( "Belorusiya", "Minsk" ).
        city_of ( "Tatarstan","Maaluli").
        city_of ( State, City ) :- capitol ( State, City ).


      
       all2(X):-
           state(State),   
           substate(State,Y),
           State=X,
           city_of(Y,City),
           write(City),nl,
           fail.    

       all(X):-
         state(State),
         State=X,
         city_of(State,City),
         write(City),nl,         
         fail.             
         
GOAL
/*
all - выводит все города государства
all2 - выводит все города штата государства
*/ 
       readln(X),
        all(X),
        all2(X)
/*
  но после этого он выводит только из all(X)
*/

как вывести и all и all2?

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| Prolog \| Следующая тема »