<programming> 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.
Try this search on Wikipedia, OneLook, Google
Nearby terms: assembly language « Assembly Language Compiler « Assembly Language for Multics « assertion » ASSET » asset management » Asset Source for Software Engineering Technology