assertion – суждение, утверждение 1. выражение, которое, если его значение ложно, означает ошибку. Подобные выражения могут использоваться для целей отладки программ; 2. в логическом программировании – новый факт или правило, которые программа во время выполнения вводит в базу данных (см. также logic programming, Prolog, run time).
Assertion
Статья с рубриками не связана