Transforming a PCE
object to a Prolog term
The principal predicates that request a value from PCE can either
request a reference or a Prolog term representing the object. In either
case, primitive types (integer and name) are given as their
corresponding Prolog primitive types.
Get requests its value in reference mode. The other
predicates request their value in term mode. In both cases,
when the prolog argument is not a variable nor a term @/1,
the PCE value is converted to a Prolog term and unified with the Prolog
argument.
When a PCE object is
transformed into a Prolog term, the functor determines the classname.
The arguments normally correspond to the arguments that must be provided
to create the object.
Actually the number of arguments is determined by object<-_arity
and the successive arguments by object<-_arg.
These behaviours are either provided by the class itself, or by class object,
that uses the class attribute term_names,
which is a vector of selectors to be used to extract the successive
arguments.
Parent: Prolog Interface
- See also
- - Calling Prolog
- tool Inspector
- tool ClassBrowser
- object<-functor
- object<-_arity
- object<-_arg
- class-term_names
- class-term_functor
- Term -> Object
