суждение, утверждение а) выражение, которое, если его значение ложно, означает ошибку. Подобные выражения могут использоваться для целей отладки программ б) в логическом программировании - новый факт или правило, которые программа во время выполнения вводит в базу данных см. тж. logic programming, Prolog, run time
ASSERTION
Англо-русский перевод ASSERTION
Пройдаков Э.М., Теплицкий Л.А.. English-Russian explanatory dictionary of terms and abbreviations of computer engineering, Internet and programming. Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. 1998-2004