A procedure that given entities as arguments, performs a computation and returns a value. The arguments of the type are interpreted as follows: the first argument is the type of return value, the second through last argument types correspond to first through last argmuent type of procedure. For example, procedure[boolean, integer] is a procedure that takes an integer argument and returns a boolean value.