Formalny zapis faktów i reguł oraz automatyczne wyprowadzanie z nich wniosków.
Formal notation for facts and rules, and automatic derivation of conclusions from them.
To ścisły zapis zdań i reguł, z których program może wyprowadzać kolejne wnioski.
This writes statements and rules precisely so software can derive further conclusions.
Zwykły opis zasad bywa niejednoznaczny, więc trudno sprawdzić, czy dany wniosek rzeczywiście z nich wynika.
Everyday descriptions of rules can be ambiguous, making it hard to check whether a conclusion actually follows.
Łączy fakty z warunkami oraz stwierdzeniami o wszystkich lub wybranych obiektach, sprawdzając konsekwencje tych zapisów.
It combines facts, conditions and statements about all or some objects, checking what follows from those statements.
Zapisujesz, że każdy zarejestrowany uczestnik ma identyfikator; program sprawdza, czy wskazany uczestnik spełnia tę regułę.
You state that every registered participant has an identifier; software checks whether a selected participant satisfies that rule.