To jest stara wersja strony!
RIF i Minicases
restrictive behavior
Reguła: if X > 2 then Y = X
Podobną strukturę przedstawiłem ostatnio.
restrictive behavior and multiple values
Opis
Póki co nie udało mi się zapisać kompletnej reguły. Część pierwsza, czyli wyliczenie ilości ocen 2 jest proste w realizaji, w regule używam predykatu count
dla wyliczenia. Potem pogę dla wszystkich zmiennych wykonać jakąś operację używając Exists
. Zastanawia mnie natomiast możliwość wywołania dwóch operacji na raz i póki co nie widze takiej możliwości.
Zapis za pomocą RIF
restrictive behavior and multiple values cont.
grouped attributes and multiple value operations
grouped attributes and assert
calculations (factorial)
Opis
Według mnie tej reguły nie da się zapisać za pomocą RIF. Problemem jest zapętlenie. W definicji RIF BLD nie ma możliwości zapętlania reguł i nie widzę możliwości zapisu powyższej reguły.