Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_ardcase_uml:ard [2008/05/06 09:01] miw |
pl:miw:miw08_ardcase_uml:ard [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| + | ====== Rejestracja studentów w ARD ====== | ||
| + | |||
| + | <code> | ||
| + | |||
| varda_model_desc :- write('The well known Thermostat case model from Negnevtisky, $Id: therm-model.pl,v 1.6 2008-03-07 09:29:35 gjn Exp $'). | varda_model_desc :- write('The well known Thermostat case model from Negnevtisky, $Id: therm-model.pl,v 1.6 2008-03-07 09:29:35 gjn Exp $'). | ||
| varda_model_student :- | varda_model_student :- | ||
| - | ard_att_add('Rejestracja'), | + | ard_att_add( 'Rejestracja' ), |
| - | ard_property_add(['Rejestracja']), | + | |
| + | ard_property_add( [ 'Rejestracja' ] ), | ||
| - | ard_att_add('Seminarium'), | + | ard_att_add( 'Seminarium' ), |
| - | ard_finalize(['Rejestracja'],['Seminarium']), | + | |
| + | ard_finalize( [ 'Rejestracja' ],[ 'Seminarium' ] ), | ||
| - | ard_att_add('Lista_studentow'), | + | ard_att_add( 'Lista_studentow' ), |
| - | ard_att_add('Prowadzacy'), | + | |
| - | ard_att_add('Zapis_na_seminarium'), | + | ard_att_add( 'Prowadzacy' ), |
| + | |||
| + | ard_att_add( 'Zapis_na_seminarium' ), | ||
| - | ard_finalize( [ 'Seminarium'] , [ 'Lista_studentow' , 'Prowadzacy', 'Zapis_na_seminarium' ] ), | + | ard_finalize( [ 'Seminarium'] , [ 'Lista_studentow' , 'Prowadzacy', 'Zapis_na_seminarium' ] ), |
| | | ||
| - | ard_split( ['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' ] ], |
| - | [ [ [ 'Lista_studentow' , 'Prowadzacy' ] , ['Zapis_na_seminarium'] ] ] ), | + | [ [ [ 'Lista_studentow' , 'Prowadzacy' ] , ['Zapis_na_seminarium' ] ] ] ), |
| | | ||
| | | ||
| - | ard_att_add(potwierdzenie_zapisu), | + | ard_att_add(potwierdzenie_zapisu), |
| | | ||
| - | ard_finalize(['Zapis_na_seminarium'] , [potwierdzenie_zapisu] ), | + | ard_finalize( [ 'Zapis_na_seminarium' ] , [ potwierdzenie_zapisu ] ), |
| | | ||
| - | ard_split( ['Lista_studentow' , 'Prowadzacy'], | + | ard_split( [ 'Lista_studentow' , 'Prowadzacy' ], |
| - | [ ['Lista_studentow'] , ['Prowadzacy'] ], | + | [ [ 'Lista_studentow' ] , [ 'Prowadzacy' ] ], |
| - | [ [ ['Prowadzacy'] , ['Lista_studentow'] ] ] ), | + | [ [ [ 'Prowadzacy' ] , [ 'Lista_studentow' ] ] ] ), |
| | | ||
| | | ||
| - | ard_att_add('Student'), | + | ard_att_add( 'Student' ), |
| - | ard_att_add('Plan_studenta'), | + | |
| - | ard_att_add('Historia_seminariow'), | + | ard_att_add( 'Plan_studenta' ), |
| - | ard_att_add('Seminarium_na_ktore_chce_sie_zapisac'), | + | |
| - | ard_att_add(czy_moze_wziac_udzial), | + | 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( [ 'Lista_studentow' ] , [ 'Student' ] ), |
| - | ard_finalize(['Student'], ['Plan_studenta', 'Historia_seminariow' , czy_moze_wziac_udzial, 'Seminarium_na_ktore_chce_sie_zapisac' ] ), | + | |
| + | 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' ], | + | 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'] ] , | ||
| [ [ ['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( oplata_za_seminarium ), |
| - | ard_att_add(dzien_tygodnia), | + | |
| - | ard_att_add('Godzina_rozpoczecia_seminarium'), | + | ard_att_add( dzien_tygodnia ), |
| - | ard_att_add(czas_trwania), | + | |
| + | 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_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 ], | + | 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 ] ], |
| - | [ [ [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( godziny ), |
| - | ard_att_add(minuty), | + | |
| - | ard_finalize( ['Godzina_rozpoczecia_seminarium'] , [ godziny , minuty ] ), | + | |
| - | ard_split( [ godziny, minuty ] , [ [godziny] , [minuty] ] , [ [ [godziny] , [minuty] ]] ) , | + | |
| + | ard_att_add( minuty ), | ||
| - | ard_split( ['Plan_studenta', 'Historia_seminariow', czy_moze_wziac_udzial ] , | + | 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 ] ], | [ [ 'Plan_studenta' , 'Historia_seminariow' ] , [ czy_moze_wziac_udzial ] ], | ||
| - | [ [ ['Plant_studenta' , 'Historia_seminariow' ] , [ czy_moze_wziac_udzial] ] ] ), | + | [ [ [ 'Plant_studenta' , 'Historia_seminariow' ] , [ czy_moze_wziac_udzial ] ] ] ), |
| | | ||
| - | ard_split( ['Plan_studenta' , 'Historia_seminariow' ] , | + | ard_split( [ 'Plan_studenta' , 'Historia_seminariow' ] , |
| - | [ ['Historia_seminariow' ] , ['Plan_studenta'] ] , | + | [ [ 'Historia_seminariow' ] , [ 'Plan_studenta' ] ] , |
| - | [ [ ['Historia_seminariow' ] , ['Plan_studenta'] ] ] ), | + | [ [ [ 'Historia_seminariow' ] , [ 'Plan_studenta' ] ] ] ), |
| | | ||
| - | ard_att_add(lista_seminariow), | + | 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( udzial_godzinowy_w_seminarium ), |
| - | + | ||
| + | ard_finalize( [ 'Historia_seminariow' ] , [ lista_seminariow , udzial_godzinowy_w_seminarium ] ), | ||
| + | |||
| ard_att_add( 'Konkretne_zajecia' ), | ard_att_add( 'Konkretne_zajecia' ), | ||
| - | ard_att_add( 'Lista_zajec' ), | ||
| - | ard_finalize( ['Plan_studenta'] , [ 'Konkretne_zajecia','Lista_zajec'] ), | + | ard_att_add( 'Lista_zajec' ), |
| + | ard_finalize( [ 'Plan_studenta' ] , [ 'Konkretne_zajecia' , 'Lista_zajec' ] ), | ||
| - | ard_split( [ 'Konkretne_zajecia','Lista_zajec'] , | + | |
| - | [ ['Konkretne_zajecia'] , ['Lista_zajec'] ] , | + | ard_split( [ 'Konkretne_zajecia' , 'Lista_zajec' ] , |
| - | [ [ ['Konkretne_zajecia'] , ['Lista_zajec'] ]] ), | + | [ [ 'Konkretne_zajecia' ] , [ 'Lista_zajec' ] ] , |
| + | [ [ [ 'Konkretne_zajecia' ] , [ 'Lista_zajec' ] ] ] ), | ||
| | | ||
| - | ard_att_add(kdzien_tygodnia), | + | ard_att_add( kdzien_tygodnia ), |
| - | ard_att_add('KGodzina'), | + | |
| - | ard_att_add(kczas_trwania), | + | ard_att_add( 'KGodzina' ), |
| + | |||
| + | ard_att_add(kczas_trwania), | ||
| | | ||
| - | ard_finalize(['Konkretne_zajecia'] , [kdzien_tygodnia, 'KGodzina' , kczas_trwania ] ), | + | ard_finalize( [ ' Konkretne_zajecia ' ] , [ kdzien_tygodnia , 'KGodzina' , kczas_trwania ] ), |
| - | ard_split( [kdzien_tygodnia, 'KGodzina' , kczas_trwania ] , | + | ard_split( [ kdzien_tygodnia , 'KGodzina' , kczas_trwania ] , |
| - | [ [kdzien_tygodnia] , ['KGodzina'] , [kczas_trwania]] , | + | [ [ kdzien_tygodnia ] , [ 'KGodzina' ] , [ kczas_trwania ] ] , |
| - | [ [ [kdzien_tygodnia] , ['KGodzina'] , [kczas_trwania] ] ] ), | + | [ [ [ kdzien_tygodnia ] , [ 'KGodzina' ] , [ kczas_trwania ] ] ] ), |
| | | ||
| - | ard_att_add(kgodziny), | + | ard_att_add( kgodziny ), |
| - | ard_att_add(kminuty), | + | |
| - | ard_finalize( ['KGodzina'] , [ kgodziny , kminuty ] ), | + | ard_att_add( kminuty ), |
| - | ard_split( [ kgodziny, kminuty ] , [ [kgodziny] , [kminuty] ] , [ [ [kgodziny] , [kminuty] ]] ). | + | |
| + | ard_finalize( [ 'KGodzina' ] , [ kgodziny , kminuty ] ), | ||
| + | |||
| + | ard_split( [ kgodziny, kminuty ] , [ [ kgodziny ] , [ kminuty ] ] , [ [ [ kgodziny ] , [ kminuty ] ] ] ). | ||
| :- varda_model_student. | :- varda_model_student. | ||
| + | |||
| + | </code> | ||
