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
grouped attributes and multiple value operations
grouped attributes and assert
There are employees and their salary. Each employee is identified by name, corresponding salary is given as salary. name and salary form a group: employee. The group is multivalued.
Add a new employee to the system. The new employee name is given as ename attribute, his salary as esalary attribute, they are both single valued.
Realizacja za pomocą RIFa.
calculations (factorial)