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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.