SWI-Prolog -- object/1

object(+Reference)

object(+Reference, -Term)

The Prolog predicate object/1 is an extension of the Prolog type-test predicates. It succeeds if Reference refers to a valid object reference -- a term of the form @/1 whose first argument is an atom denoting the name of a global object, or an integer referring to an existing object.

In all other cases this predicate fails silently. Note that, if the term is of the form @<integer>, heuristics are used to determine whether the indicated memory location refers to a valid object.

object/2 converts an object into a descriptive term. See the User Guide for complete information.

See also @pce<-object_from_reference and object->name_reference.