1. An expression which, if false, indicates an error. Assertions are used for debugGIng by catching can' t happen errors. 2. In loGIc programming, a new fact or rule added to the database by the program at run time. This is an extraloGIcal or impure feature of loGIc programming languages. (1997-06-30)