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

FIXME

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)

pl/miw/miw08_xtt_rif/rif_minicases.1207502082.txt.gz · ostatnio zmienione: 2019/06/27 15:59 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0