To jest stara wersja strony!
Część pierwsza, czyli wyliczenie ilości ocen 2 jest proste w realizaji, w regule używam predykatu count dla wyliczenia. Potem mogę dla wszystkich zmiennych wykonać jakąś operację używając Exists (w Implies używam pustego And, który zwraca zawszę prawdę). Aby wywołać we wniosku dwie operacje, założyłem istnienie predykatu run-two, który jest w stanie wywołać dwie reguły.
Proponowany zapis został stworzony w oparciu o przykład. Wykorzystałem tutaj termy z nazwanymi argumentami. Ciekawe jest to, że pomimo praktycznie takiej samej struktury jak w przykładzie, reguła nie przechodzi walidacji.
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.
Tutaj również występuje zapętlenie reguł, na którego zapis za pomocą RIF nie mam pomysłu.
