▲◄►The Ciao System » PART V - Assertions, Properties, Types, Modes, Comments (assertions) »

ISO-Prolog modes

Author(s): Daniel Cabeza, Manuel Hermenegildo.

This file defines the “modes” used in the documentation of the ISO-Prolog standard. See also Classical Prolog modes for an alternative set of modes.

Usage and interface

Library usage:
:- use_package(isomodes). or :- module(...,...,[isomodes]).
New operators defined:
?/1 [200,fy], @/1 [200,fy].
New modes defined:
+/1, -/1, ?/1, @/1, +/2, -/2, ?/2, @/2.
Imports:
- Packages:
  prelude, nonpure, condcomp, assertions.

Documentation on new modes

MODE

(True) Usage:+A

The following properties are added at call time:
(term_typing:nonvar/1)A is currently a term which is not a free variable.

MODE

(True) Usage:-A

The following properties are added at call time:
(term_typing:var/1)A is a free variable.

MODE

Unspecified argument.

MODE

(True) Usage:@(A)

The following properties are added globally:
(basic_props:not_further_inst/2)A is not further instantiated.

MODE

(True) Usage:A+X

The following properties are added at call time:
(undefined property)undefined:call(X,A)

MODE

(True) Usage:A-X

The following properties are added at call time:
(term_typing:var/1)A is a free variable.
The following properties are added upon exit:
(undefined property)undefined:call(X,A)

MODE

(True) Usage:?(A,X)

Call and exit are compatible with:
(undefined property)undefined:call(X,A)
The following properties are added upon exit:
(undefined property)undefined:call(X,A)

MODE

(True) Usage:@(A,X)

The following properties are added at call time:
(undefined property)undefined:call(X,A)
The following properties are added upon exit:
(undefined property)undefined:call(X,A)
The following properties are added globally:
(basic_props:not_further_inst/2)A is not further instantiated.