AIwiki

To jest stara wersja strony!

varda_model_desc :- write('The well known Thermostat case model from Negnevtisky, ').

varda_model_student :-

ard_att_add('Rejestracja'),

ard_property_add(['Rejestracja']),

ard_att_add('Seminarium'),

ard_finalize(['Rejestracja'],['Seminarium']),

ard_att_add('Lista_studentow'),

  ard_att_add('Prowadzacy'),
  ard_att_add('Zapis_na_seminarium'),

  ard_finalize( [ 'Seminarium'] , [ 'Lista_studentow' , 'Prowadzacy', 'Zapis_na_seminarium' ] ),
  
  ard_split(  ['Lista_studentow', 'Prowadzacy', 'Zapis_na_seminarium' ], 
              [  [ 'Lista_studentow' , 'Prowadzacy' ] , ['Zapis_na_seminarium'] ],
              [ [ [ 'Lista_studentow' , 'Prowadzacy' ] ,  ['Zapis_na_seminarium'] ] ] ),
              
              
  ard_att_add(potwierdzenie_zapisu),
              
  ard_finalize(['Zapis_na_seminarium'] , [potwierdzenie_zapisu] ),
    
  ard_split( ['Lista_studentow' , 'Prowadzacy'],
            [   ['Lista_studentow'] , ['Prowadzacy'] ],
            [  [ ['Prowadzacy'] , ['Lista_studentow'] ] ] ),
            
  
  ard_att_add('Student'),	

ard_att_add('Plan_studenta'), ard_att_add('Historia_seminariow'), ard_att_add('Seminarium_na_ktore_chce_sie_zapisac'),

  ard_att_add(czy_moze_wziac_udzial),
  
  ard_finalize(['Lista_studentow'] , ['Student'] ),
  ard_finalize(['Student'], ['Plan_studenta', 'Historia_seminariow' , czy_moze_wziac_udzial,  'Seminarium_na_ktore_chce_sie_zapisac' ] ),
  
	
	
  ard_split( ['Plan_studenta', 'Historia_seminariow' , czy_moze_wziac_udzial,  'Seminarium_na_ktore_chce_sie_zapisac' ],
           [    ['Plan_studenta' , 'Historia_seminariow' , czy_moze_wziac_udzial] , ['Seminarium_na_ktore_chce_sie_zapisac'] ] ,
           [  [  ['Plan_studenta', 'Historia_seminariow', czy_moze_wziac_udzial ] , ['Seminarium_na_ktore_chce_sie_zapisac'] ] ] ),
           
  
  ard_att_add(oplata_za_seminarium),
  ard_att_add(dzien_tygodnia),
  ard_att_add('Godzina_rozpoczecia_seminarium'),
  ard_att_add(czas_trwania),
           
  ard_finalize(['Seminarium_na_ktore_chce_sie_zapisac'] , [oplata_za_seminarium, dzien_tygodnia , 'Godzina_rozpoczecia_seminarium' , czas_trwania ]  ),       

ard_split([oplata_za_seminarium, dzien_tygodnia, 'Godzina_rozpoczecia_seminarium', czas_trwania ], [ [oplata_za_seminarium] , [dzien_tygodnia], ['Godzina_rozpoczecia_seminarium'], [czas_trwania] ], [ [ [oplata_za_seminarium] , [dzien_tygodnia], ['Godzina_rozpoczecia_seminarium'], [czas_trwania] ]] ),

ard_att_add(godziny), ard_att_add(minuty), ard_finalize( ['Godzina_rozpoczecia_seminarium'] , [ godziny , minuty ] ), ard_split( [ godziny, minuty ] , [ [godziny] , [minuty] ] , [ [ [godziny] , [minuty] ]] ) ,

ard_split( ['Plan_studenta', 'Historia_seminariow', czy_moze_wziac_udzial ] , [ [ 'Plan_studenta' , 'Historia_seminariow' ] , [ czy_moze_wziac_udzial ] ], [ [ ['Plant_studenta' , 'Historia_seminariow' ] , [ czy_moze_wziac_udzial] ] ] ),

ard_split( ['Plan_studenta' , 'Historia_seminariow' ] , [ ['Historia_seminariow' ] , ['Plan_studenta'] ] , [ [ ['Historia_seminariow' ] , ['Plan_studenta'] ] ] ),

ard_att_add(lista_seminariow), ard_att_add(udzial_godzinowy_w_seminarium),

ard_finalize( [ 'Historia_seminariow' ] , [ lista_seminariow , udzial_godzinowy_w_seminarium ] ),

ard_att_add( 'Konkretne_zajecia' ), ard_att_add( 'Lista_zajec' ),

ard_finalize( ['Plan_studenta'] , [ 'Konkretne_zajecia','Lista_zajec'] ),

ard_split( [ 'Konkretne_zajecia','Lista_zajec'] , [ ['Konkretne_zajecia'] , ['Lista_zajec'] ] , [ [ ['Konkretne_zajecia'] , ['Lista_zajec'] ]] ),

ard_att_add(kdzien_tygodnia), ard_att_add('KGodzina'), ard_att_add(kczas_trwania),

ard_finalize(['Konkretne_zajecia'] , [kdzien_tygodnia, 'KGodzina' , kczas_trwania ] ),

ard_split( [kdzien_tygodnia, 'KGodzina' , kczas_trwania ] , [ [kdzien_tygodnia] , ['KGodzina'] , [kczas_trwania]] , [ [ [kdzien_tygodnia] , ['KGodzina'] , [kczas_trwania] ] ] ),

ard_att_add(kgodziny), ard_att_add(kminuty), ard_finalize( ['KGodzina'] , [ kgodziny , kminuty ] ), ard_split( [ kgodziny, kminuty ] , [ [kgodziny] , [kminuty] ] , [ [ [kgodziny] , [kminuty] ]] ).

:- varda_model_student.