Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_xtt_rif:rif_minicases [2008/04/26 15:30] miw |
pl:miw:miw08_xtt_rif:rif_minicases [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 41: | Linia 41: | ||
| [[pl:miw:miw08_xtt_rif:rif_minicases:gaa|Realizacja za pomocą RIFa.]] | [[pl:miw:miw08_xtt_rif:rif_minicases:gaa|Realizacja za pomocą RIFa.]] | ||
| + | |||
| Linia 46: | Linia 47: | ||
| ===== calculations (factorial) ===== | ===== calculations (factorial) ===== | ||
| + | :!::!::!:\\ | ||
| [[hekatedev:xtt_minicases#calculations_factorial|Opis]] | [[hekatedev:xtt_minicases#calculations_factorial|Opis]] | ||
| Według mnie tej reguły nie da się zapisać za pomocą RIF. Problem tkwi w sterowaniu wnioskowaniem. Format RIF nie przewiduje nazywania poszczególnych reguł (tag ''sentence'' nie posiada zadnych artybutów). Jest to powód nie możliwości zapisania reguły. Rozwiązaniem tego problemu byłoby zaproponowanie własnego dialektu, który posiadałby stosowne modyfikacje. | Według mnie tej reguły nie da się zapisać za pomocą RIF. Problem tkwi w sterowaniu wnioskowaniem. Format RIF nie przewiduje nazywania poszczególnych reguł (tag ''sentence'' nie posiada zadnych artybutów). Jest to powód nie możliwości zapisania reguły. Rozwiązaniem tego problemu byłoby zaproponowanie własnego dialektu, który posiadałby stosowne modyfikacje. | ||
| - | |||
| - | |||
| - | |||
| - | |||
| ===== finding successors in a tree ===== | ===== finding successors in a tree ===== | ||
