1.64.1 Get methods

function <-_execute: -> unchecked

Objects of class function itself cannot be executed. Yields an error message and fails. Redefined by all subclasses of class function.

function <-forward: any ... -> unchecked

function <-_forward: any ... -> unchecked

Bind @arg1, ... from the arguments and function<-execute the function. Note that @arg1 is a function itself, thus

?- get(@arg1, forward, 4, X).		==> X = 4

function <-convert: quote=quote_function -> function

Converts an instance of class quote_function into the function quoted. See class quote_function for details.

function <-execute: -> unchecked

Explicitly evaluate the function. See class function itself for the default evaluation rules. Class quote_function avoids evaluation of function objects.

Calls function<-_execute to perform the real job.