local_record(+Key)

+Key

Key specification of the form Name/Arity or just Name.

This built-in predicate is obsolete!

Description

Key is equal to Key/0.

Fail Conditions

Resatisfiable

Exceptions

(4) instantiation fault

Key is not instantiated.

(5) type error

Key is not of the form Atom or Atom/Integer.

(44) record already exists

Key is already the key of a local record.

Examples

Success:
      [eclipse]: module(numbers).
      [numbers]: local_record(type/0).
      yes
      [numbers]: record(type, integer),
              record(type, real),
              record(type, fractional).
      yes.
      [numbers]: module(beer).
      [beer]: local_record(type),
              record(type, lager),
              record(type, stout).
      yes.
      [beer]: recorded(type, Type).
      Type = lager     More? (;)
      Type = stout     More? (;)
      no (more) solution.
      [beer]: module(numbers).
      [numbers]: recorded(type, Type).
      Type = integer     More? (;)
      Type = real     More? (;)
      Type = fractional     More? (;)
      no (more) solution.
      [numbers]: module(other).
      [other]: recorded(type, Type).
      no (more) solution.

Error:
      local_record(X).               (Error 4).
      local_record(123).             (Error 5).
      local_record(key/3),
          local_record(key/3).       (Error 44).

See Also