To jest stara wersja strony!
RIF i Minicases
restrictive behavior
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.
finding successors in a tree
Opis
Tutaj również występuje zapętlenie reguł, na którego zapis za pomocą RIF nie mam pomysłu.
finding successors in a tree with a hop
