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)