From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f891f,9d58048b8113c00f
X-Google-Attributes: gidf891f,public
X-Google-Thread: 103376,2e71cf22768a124d
X-Google-Attributes: gid103376,public
X-Google-Thread: 1014db,9d58048b8113c00f
X-Google-Attributes: gid1014db,public
X-Google-Thread: 10cc59,9d58048b8113c00f
X-Google-Attributes: gid10cc59,public
X-Google-Thread: 101deb,b20bb06b63f6e65
X-Google-Attributes: gid101deb,public
From: hopkinc@ibm.net
Subject: Re: next "big" language?? (disagree)
Date: 1996/06/24
Message-ID: <4qlhsa$1mio@news-s01.ny.us.ibm.net>#1/1
X-Deja-AN: 161808676
references: <JSA.96Jun18142249@organon.com> <dewar.835121649@schonberg>
 <dewar.835306677@schonberg> <4ql1fv$5ss@goanna.cs.rmit.EDU.AU>
reply-to: Chris_harlow@artemis-intl.com
newsgroups: 
 comp.lang.pascal,comp.lang.c,comp.lang.misc,comp.lang.pl1,comp.lang.ada
Date: 1996-06-24T00:00:00+00:00
List-Id: <comp.lang.ada>


In <4ql1fv$5ss@goanna.cs.rmit.EDU.AU>, Dale Stanbrough <dale@goanna.cs.rmit.EDU.AU> writes:
>Can anyone think of a better
>name (pragma Declare(x) is not available in Ada) than "Fact"?

I recall an article some(20-25) years ago about a couple of extra boolean operators
 as in:

  if X was 57  then 
  if X should_have_been 92 then 
  perhaps there is something in this after all ;-)