2:15:04dbottonin most languages assertions are turned off on deliverables
2:16:05dbottonI assume that is why assert doesn't return the value of the form it evaluates.
2:17:43no-defun-allowed"Thus, rather than having the software discover its own errors in a benign way, the discovery of such errors is left to the FAA or a Congressional committee."
2:19:06no-defun-allowedHell, https://web.archive.org/web/20160321151425/www.pipeline.com/~hbaker1/letters/CACM-DubiousAchievement.html (where I got the quote from) is even about assertions in Ada.
2:22:05dbottonIn theory once you have "proven" you application there is no reason to continue to run them.
2:32:59dbottonPoplog Prolog was used to develop the original version of the SPARK toolkit by Praxis Systems, though they now use Sicstus Prolog, as that has features not in Poplog Prolog.