Up Next
Go up to 2.1.3 Predicates
Go forward to Predicate Definitions Predicate Declarations

      PRED-DECL ::= pred-decl PRED-NAME+ PRED-TYPE

A predicate declaration PRED-DECL is written: [CHANGED:]

p1, ..., pn : T
[] It declares each predicate name p1, ..., pn as a predicate, with profile as specified by the predicate type T.
Predicate Types
      PRED-TYPE ::= pred-type SORTS

A predicate type PRED-TYPE with some argument sorts is written:

The sign displayed as `×' may be input as `×' in ISO Latin-1, or as `*' in ASCII. When the list of argument sorts is empty, the type is written `()'.

The [CHANGED:] predicate [] profile determined by the type has argument sorts s1, ..., sn.

CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to cofi-language@brics.dk

Up Next