[ Control | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

true

Succeeds always.

Description

Succeeds. For example, can be used as a default, to join the `then' path in ->/2 to the `if' path, or as a void event handler.

Modes and Determinism

Examples

Success:
      (F \== "d.error" ->
           writeln(error, "Incorrect file "),
           writeln( error,F)
      ;
           true
      ),
      (L < 0 ->
           writeln(error, "Error in line number")
      ;
           true
      ).



See Also

fail / 0, false / 0