Центр истории и экономической теории

Если факт не содержит условия (является пустым), он игнорируется, и система переходит к проверке следующего хвостового факта;- Если условие факта выполняется, Икар переходит к проверке следующего хвостового факта;- Если условие факта не выполняется, Икар переходит к доказательству следующего правила;- Если все условия хвостовых фактов правила выполняются, главному факту присваивается значение, указанное в данном правиле;

Недвижимость в Ейске

— Для альтернативных, логических и числовых фактов вывода значения главного факта прекращается после доведения первого значения главного факта;- Для множественных фактов Икар проверяет также все правила, остались, пытаясь доказать все возможные значения главного факта.

Комментирование и размещение ссылок запрещено.