Page Numbers: Yes  X: 306  Y: 1.0"  First Page: 63
Margins:  Top: 1.0"  Bottom:  1.3"
Heading:  z18344l3000x3e4q(0,65535)
	STANDARD PROCEDURES	3-LISP  REFERENCE  MANUAL	  March 17, 1984l3000d2469y756x3e4q(0,2999)(1,8678)(2,16381)(13,0)\f7 1f1
l3000x2e3k100(0,65535)(1,65535)(2,65535)(13,65535)\b44f5
4.c.15.  OTHER GENERAL UTILITIESl6080d2999x2e5j(0,6080)(1,8359)\f5b32B
l3000x2e3(0,65535)(1,65535)\b44f5
(ID E)l7938d2999x2e2k30(0,7938)(1,8359)\f8b4i1I1f0B
ID designates the single argument identity function.  (IDE) designates the designation of E, and returns what E normalises to.  The primary use is as a null ("throw-back") continuation.l4064x2e2j\f3 2f0 52f3 3f0 1f3i1I1f0 31f3i1f0I19f3i1f0I
F-Type:	[ OBJECTS ] _ OBJECTSl6068d4057x2e2(0,6068)(1,8928)(2,9856)(3,12256)\f2 1f0i6I1f3bi12f4BI1f3 1bi7f0B
Examples:	(ID 3)	g	3
(ID (+ 2 2))	g	4
(ID '(+ 2 3))	g	'(+ 2 3)
(ID ID)	g	{simple ID closure}l6068d4057e2(1,10583)(2,11289)\i10f3I7f4 1f3 16f4 1f3 17f4 1f3 18f4 1f3 20f0i
l3000x2e3k100(0,65535)(1,65535)(2,65535)(3,65535)\b44f5
4.c.16.  PROCESSORl6080d2999x2e5j(0,6080)(1,8359)\f5b18B
l3000x2e3(0,65535)(1,65535)\b44f5
(NORMALISE EXP ENV ESC CONT)l7938d2999x2e2k30(0,7938)(1,8359)\f8b11i16I1f0B
Normalises the structure designated by EXP in the environment designated by ENV with escape designated by ESC and continuation designated by CONT.  Under normal circumstances, the normal-form designator that results from this normalisation will be passed as the single argument to the continuation.  Error if EXP does not designate a structure.l4064x2e2j\39f3i3f0I34f3i3f0I27f3i3f0I32f3i4f0I164f3i3f0I32f3
F-Type:  [ STRUCTURES X ENVIRONMENTS X FUNCTIONS X FUNCTIONS ] _ STRUCTURES
					Properties:  Kernel; CPS.l6068d4057x2e2(0,6068)(1,8928)(2,9856)(3,12256)\f2 1f0i6I2f3bi12BI1f4 1f3 1bi12BI1f4 1f3 1bi9BI1f4 1f3 1bi12f4BI1f3 1bi16f0B11I14i
Examples:	Assume that SE is bound to STANDARD-ESCAPE:l6068d4057e2(1,11642)(2,12347)\i22f3I2f0i13f3I15f0
	(NORMALISE '1 GLOBAL SE ID)	g	'1
(NORMALISE 'X (BIND 'X '1 ^(ECONS)) SE ID)	g	'1
(NORMALISE '(+ 2 2) GLOBAL SE ID)	g	'4
(NORMALISE '+ GLOBAL SE QUOTE)	g	'(BINDING EXP ENV)
(NORMALISE '$TRUE GLOBAL SE QUOTE)	g	'EXPl6068d4057e2(1,13888)(2,14848)(3,17056)\f3 29f4 1f3 30f4 1f3 16f4 1f3 38f4 1f3 35f4 1f3 55f4 1f3 5f0i
(REDUCE PROC ARGS ENV CONT)l7938d2999x2e2k30(0,7938)(1,8359)(2,65535)(3,65535)\f8b8i18I1f0B
Reduces the referent of the structure designated by PROC with the referent of the structure designated by ARGS in the environment designated by ENV with escape designated by ESC and with continuation designated by CONT.  Under normal circumstances, the normal-form designator that results from this process will be passed as the single argument to the continuation.l4064x2e2j\52f3i4f0I50f3i4f0I34f3i3f0I27f3i3f0I37f3i4f0I147f3
F-Type:  [ STRUCTURES X STRUCTURES X ENVIRONMENTS X FUNCTIONS X FUNCTIONS ] _ STRUCTURES  z21167l6068d4057x2e2(0,6068)(1,8928)(2,9856)(3,12256)\f2 1f0i6I2f3bi13f4BI1f3bi12f4BI1f3bi13BI1f4 1f3 1bi9BI1f4 1f3bi13f4BI1f3 1bi11f0BI1i
Properties:  Kernel; CPS.l6068d4057x2e2\i11I14i
Examples:	Assume that SE is bound to STANDARD-ESCAPE:l6068d4057e2(1,11642)(2,12347)\i22f3I2f0i13f3I15f0
	(REDUCE '+ '[2 2] GLOBAL SE ID)	g	'4
(REDUCE 'IF '[$TRUE 1 2] GLOBAL SE ID)	g	'1
(REDUCE '+ '[2 2] GLOBAL SE 
   (LAMBDA MACRO [X] ^X))	g	'^(^PROC! . ^ARGS!)l6068d4057e2(1,12800)(2,13632)(3,16384)\f3 33f4 1f3 43f4 1f3 59f4 1f3 4f4 1f3 8f4 1f3 6f0i
(READ-NORMALISE-PRINT LEVEL ENV STREAM)l7938d2999x2e2k30(0,7938)(1,8359)(2,65535)(3,65535)\f8b22i16I1f0B
Starts a READ, NORMALISE, PRINT loop with ENV designating the initial environment.  STREAM designates the stream through which this driver loop communicates; the designation of LEVEL is used as a (hopefully unique) identifying prompt.  Under normal circumstances, READ-NORMALISE-PRINT will not terminate.l4064x2e2j\9f3 4f0 2f3 9f0 2f3 5f0 11f3i3f0I39f3i6f0I87f3i5f0I82f3 20f0 20f3
F-Type:  [ OBJECTS X SEQUENCES X STREAMS ] _ OBJECTS                              Properties:  CPS .l6068d4057x2e2(0,6068)(1,8928)(2,9856)(3,12256)\f2 1f0i6I2f3bi10f4BI1f3bi11f4BI1f3bi11f4BI1f3 1bi8f0B40I7i
Examples:	1> (READ-NORMALISE-PRINT 'NEW GLOBAL PRIMARY-STREAM)
'NEW> (+ 2 2)
'NEW= 4
'NEW> ; This level is just as good as the old one.l6068d4057e2(1,13229)(2,13758)\i9I1f3 73i1I51f0
(NORMAL S)l7938d2999x2e2k30(0,7938)(1,8359)(2,65535)(3,65535)\f8b8i1I1f0B
True just in case S designates a normal-form internal structure.l4064x2e2j\18f3i1f0I
F-Type:  [ STRUCTURES ] _ TRUTH-VALUES                             Properties:  Kernel.l6068d4057x2e2(0,6068)(1,8928)(2,9856)(3,12256)\f2 1f0i6I2f3bi15f4BI1f3 1bi41f0B11I9i
Examples:	(NORMAL '3)	g	$TRUE
(NORMAL '(+ 2 3))	g	$FALSE
(NORMAL ^(+ 2 3))	g	$TRUE
(NORMAL '[1 2 3])	g	$TRUE
(NORMAL '[1 2 A])	g	$FALSE
(NORMAL 'A)	g	$FALSE
(NORMAL ''A)	g	$TRUEl6068d4057e2(1,9600)(2,10336)\i10f3I12f4 1f3 25f4 1f3 26f4 1f3 25f4 1f3 25f4 1f3 20f4 1f3 21f4 1f3 6f0i
(NORMAL-RAIL RAIL)l7938d2999x2e2k30(0,7938)(1,8359)(2,65535)(3,65535)\f8b13i4I1f0B
True just in case RAIL designates a normal-form rail.l4064x2e2j\18f3i4f0I31f3
F-Type:  [ RAILS ] _ TRUTH-VALUES                                  Properties:  Kernel.l6068d4057x2e2(0,6068)(1,8928)(2,9856)(3,12256)\f2 1f0i6I2f3bi10f4BI1f3 1bi46f0B11I9i
Examples:	(NORMAL-RAIL '[])	g	$TRUE
(NORMAL-RAIL '[1 $TRUE #C])	g	$TRUE
(NORMAL-RAIL '[1 2 A])	g	$FALSEl6068d4057e2(1,10816)(2,11392)(3,17639)\i10f3I18f4 1f3 35f4 1f3 30f4 1f3 7f0i
Examples:	(PRIMITIVE ^+)	g	$TRUE
(PRIMITIVE ^NORMALISE)	g	$FALSE
(PRIMITIVE ^IF)	g	$FALSEl6068d4057e2(1,10583)(2,11289)(3,12256)\i10f3I15f4 1f3 30f4 1f3 24f4 1f3 7f0i