The base language provides the following functions only but extensions are discussed in Henderson's book[1] for the explicit support of lazy evaluation andnondeterministic programming.
atom – given an expression returns True if its value is atomic; False if not
add – given two expressions returns the sum of their numeric values
car – given an expression whose value is a pair, returns the pair's first value
cdr – given an expression whose value is a pair, returns the pair's second value
cons – given two expressions returns a value pair consisting of their values
div – given two expressions returns the quotient of their numeric values
eq – given two expressions returns True if their values are equal; False if not
if – given three expressions returns the value of the second if the value of the first is True, otherwise returns the value of the third
lambda – given an argument list and an expression, returns them as a function
let – given an expression with declarations (as named expressions visible in the expression) returns its value
letrec – like let, except the declared names are also visible in the declarations themselves
leq – given two expressions, returns True if the value of the first is numerically less than or equal to the value of the second; False if not
mod (orrem) – given two expressions, returns the modulus (also known as the remainder) of their numeric values
mul – given two expressions, returns the product of their numeric values
quote – given an expression, returns that expression as a value
sub – given two expressions, returns the difference of their numeric values
The functions,lambda,let, andletrec, are similar but have subtle differences in the way that they treat named variables which make them useful in different ways:lambda defines and returns a function,let binds expressions to variable names, andletrec is essentially similar tolet except it allows defining ofrecursive functions and values, e.g.,infinite series.
Henderson, Peter; Jones, Geraint A.; Jones, Simon B. (1 December 1983).The LispKit Manual: Volume 1(PDF). Oxford, England:University of Oxford: Computing Laboratory: Programming Research Group.
Henderson, Peter; Jones, Geraint A.; Jones, Simon B. (1 December 1983).The LispKit Manual: Volume 2(PDF). Oxford, England:University of Oxford: Computing Laboratory: Programming Research Group.
