{PrUI.mc
by cal:   19-Jun-85  8:32:38
}

{
Copyright 1985 Xerox Corporation.  All rights reserved.
    This is unpublished proprietary software and or documentation.
    Information contained here is proprietary to Xerox and is for Xerox internal use and is furnished to others only under a confidential disclosure agreement.
}


{	INCORPORATED
UI[R.allocate, 4'd];{PrR6}
UI[W.allocate, 5'd];{PrR6}
UI[R.call, 8'd];{PrR1}
UI[W.call, 9'd];{PrR1}
UI[R.depart, 16'd];{PrR1}
UI[W.depart, 17'd];{PrR1}
UI[R.execute, 24'd];{PrR1}
UI[W.execute, 25'd];{PrR1}
UI[R.fail, 26'd];{PrU1}
UI[W.fail, 27'd];{PrU1}
UI[R.get.Ai.constant, 32'd];{PrU4}
UI[W.get.Ai.constant, 33'd];{PrU4}
UI[R.get.Ai.list, 40'd];{PrU5}
UI[W.get.Ai.list, 41'd];{PrU5}
UI[R.get.Ai.nil, 44'd];{PrU4}
UI[W.get.Ai.nil, 45'd];{PrU4}
UI[R.get.Ai.structure, 48'd];{PrR7}
UI[W.get.Ai.structure, 49'd];{PrR7}
UI[R.get.Ai.symbol, 52'd];{PrU4}
UI[W.get.Ai.symbol, 53'd];{PrU4}
UI[R.get.Ai.value.Xn, 56'd];{PrUU1}
UI[W.get.Ai.value.Xn, 57'd];{PrUU1}
UI[R.get.Ai.variable.Yn, 68'd];{PrR10}
UI[W.get.Ai.variable.Yn, 69'd];{PrR10}
UI[R.initialize.Yn, 76'd];{PrR9}
UI[W.initialize.Yn, 77'd];{PrR9}
UI[R.jump.to, 80'd];{PrR1}
UI[W.jump.to, 81'd];{PrR1}
UI[R.just.me.else, 82'd];{PrR1}
UI[R.or, 98'd];{PrR9}
UI[R.proceed, 102'd];{PrR1}
UI[W.proceed, 103'd];{PrR1}
UI[R.progress, 104'd];{PrR4}
UI[W.progress, 105'd];{PrR4}
UI[R.put.Ai.list, 110'd];{PrR10}
UI[W.put.Ai.list, 111'd];{PrR10}
UI[R.put.Ai.nil, 114'd];{PrR9}
UI[W.put.Ai.nil, 115'd];{PrR9}
UI[R.put.Ai.unsafe.Yn, 126'd];{PrU5}
UI[W.put.Ai.unsafe.Yn, 127'd];{PrU5}
UI[R.put.Ai.value.Xn, 130'd];{PrR10}
UI[W.put.Ai.value.Xn, 131'd];{PrR10}
UI[R.put.Ai.value.Yn, 138'd];{PrR10}
UI[W.put.Ai.value.Yn, 139'd];{PrR10}
UI[R.put.Ai.variable.Yn, 142'd];{PrR10}
UI[W.put.Ai.variable.Yn, 143'd];{PrR10}
UI[R.put.Ai.void, 146'd];{PrR10}
UI[W.put.Ai.void, 147'd];{PrR10}
UI[R.resume, 150'd];{PrR1}
UI[W.resume, 151'd];{PrR1}
UI[R.retry.me.else, 152'd];{PrR3}
UI[R.trust.me.else, 172'd];{PrR3}
UI[R.try.me.else, 174'd];{PrR2}
UI[W.unify.constant, 179'd];{PrU5}
UI[W.unify.list, 183'd];{PrU5}
UI[R.unify.local.Xn, 184'd];{PrR7}{ok}
UI[W.unify.local.Xn, 185'd];{PrR7}{ok}
UI[R.unify.nil, 190'd];{PrU4}{not used}
UI[W.unify.nil, 191'd];{PrR5}
UI[R.unify.value.Xn, 196'd];{PrUU1}
UI[W.unify.value.Xn, 197'd];{PrR5}
UI[R.unify.value.Yn, 200'd];{PrUU1}
UI[W.unify.value.Yn, 201'd];{PrUU1}
UI[R.unify.variable.Xn, 202'd];{PrR5}
UI[W.unify.variable.Xn, 203'd];{PrR5}
UI[R.unify.variable.Yn, 206'd];{PrR10}
UI[W.unify.variable.Yn, 207'd];{PrR10}
UI[R.unify.void, 208'd];{PrR10}
UI[W.unify.void, 209'd];{PrR7}{ok}
}

{	currently in test
UI[R.just.index.else, 216'd];{PrR8}
}

{	almost into test}

{	was ok, but seldom used, maybe never  --  REMOVED}
UI[R.deallocate, 14'd];{PrR4}
UI[W.deallocate, 15'd];{PrR4}
UI[R.or.finally, 100'd];{PrR9}


PrologOpTable:	{,at[PrologOpValue],}
UI[00'd];
UI[01'd];
UI[R.extend, 2'd];
UI[W.extend, 3'd];
UI[R.body.cut, 6'd];
UI[W.body.cut, 7'd];
UI[R.call.lisp, 10'd];
UI[W.call.lisp, 11'd];
UI[R.cut.proceed, 12'd];
UI[W.cut.proceed, 13'd];
UI[R.depart.cut, 18'd];
UI[W.depart.cut, 19'd];
UI[R.either, 20'd];
UI[W.either, 21'd];
UI[R.equal.to.else, 22'd];
UI[W.equal.to.else, 23'd];
UI[R.get.Ai.boxed, 28'd];
UI[W.get.Ai.boxed, 29'd];
UI[R.get.AiM.boxed, 30'd];
UI[W.get.AiM.boxed, 31'd];
UI[R.get.AiM.constant, 34'd];
UI[W.get.AiM.constant, 35'd];
UI[R.get.Ai.float, 36'd];
UI[W.get.Ai.float, 37'd];
UI[R.get.AiM.float, 38'd];
UI[W.get.AiM.float, 39'd];
UI[R.get.AiM.list, 42'd];
UI[W.get.AiM.list, 43'd];
UI[R.get.AiM.nil, 46'd];
UI[W.get.AiM.nil, 47'd];
UI[R.get.AiM.structure, 50'd];
UI[W.get.AiM.structure, 51'd];
UI[R.get.AiM.symbol, 54'd];
UI[W.get.AiM.symbol, 55'd];
UI[R.get.AiM.value.Xn, 58'd];
UI[W.get.AiM.value.Xn, 59'd];
UI[R.get.Ai.value.XnM, 60'd];
UI[W.get.Ai.value.XnM, 61'd];
UI[R.get.AiM.value.XnM, 62'd];
UI[W.get.AiM.value.XnM, 63'd];
UI[R.get.Ai.value.Yn, 64'd];
UI[W.get.Ai.value.Yn, 65'd];
UI[R.get.AiM.value.Yn, 66'd];
UI[W.get.AiM.value.Yn, 67'd];
UI[R.get.AiM.variable.Yn, 70'd];
UI[W.get.AiM.variable.Yn, 71'd];
UI[R.greater.than.else, 72'd];
UI[W.greater.than.else, 73'd];
UI[R.head.cut, 74'd];
UI[W.head.cut, 75'd];
UI[R.is.a, 78'd];
UI[W.is.a, 79'd];
UI[W.just.me.else, 83'd];
UI[R.less.than.else, 84'd];
UI[W.less.than.else, 85'd];
UI[R.load.value.Xn, 86'd];
UI[W.load.value.Xn, 87'd];
UI[R.load.value.XnM, 88'd];
UI[W.load.value.XnM, 89'd];
UI[R.load.value.Yn, 90'd];
UI[W.load.value.Yn, 91'd];
UI[R.not.equal.to.else, 92'd];
UI[W.not.equal.to.else, 93'd];
UI[R.not.less.than.else, 94'd];
UI[W.not.less.than.else, 95'd];
UI[R.not.greater.than.else, 96'd];
UI[W.not.greater.than.else, 97'd];
UI[W.or, 99'd];{not an opcode}
UI[W.or.finally, 101'd];{not opcode}
UI[R.put.Ai.constant, 106'd];
UI[W.put.Ai.constant, 107'd];
UI[R.put.AiM.constant, 108'd];
UI[W.put.AiM.constant, 109'd];
UI[R.put.AiM.list, 112'd];
UI[W.put.AiM.list, 113'd];
UI[R.put.AiM.nil, 116'd];
UI[W.put.AiM.nil, 117'd];
UI[R.put.Ai.structure, 118'd];
UI[W.put.Ai.structure, 119'd];
UI[R.put.AiM.structure, 120'd];
UI[W.put.AiM.structure, 121'd];
UI[R.put.Ai.symbol, 122'd];
UI[W.put.Ai.symbol, 123'd];
UI[R.put.AiM.symbol, 124'd];
UI[W.put.AiM.symbol, 125'd];
UI[R.put.AiM.unsafe.Yn, 128'd];
UI[W.put.AiM.unsafe.Yn, 129'd];
UI[R.put.Ai.value.XnM, 132'd];
UI[W.put.Ai.value.XnM, 133'd];
UI[R.put.AiM.value.Xn, 134'd];
UI[W.put.AiM.value.Xn, 135'd];
UI[R.put.AiM.value.XnM, 136'd];
UI[W.put.AiM.value.XnM, 137'd];
UI[R.put.AiM.value.Yn, 140'd];
UI[W.put.AiM.value.Yn, 141'd];
UI[R.put.AiM.variable.Yn, 144'd];
UI[W.put.AiM.variable.Yn, 145'd];
UI[R.put.AiM.void, 148'd];
UI[W.put.AiM.void, 149'd];
UI[W.retry.me.else, 153'd];
UI[R.send.variable.Ai, 154'd];
UI[W.send.variable.Ai, 155'd];
UI[R.send.variable.AiM, 156'd];
UI[W.send.variable.AiM, 157'd];
UI[R.start.calling, 158'd];
UI[W.start.calling, 159'd];
UI[R.store.value.Xn, 160'd];
UI[W.store.value.Xn, 161'd];
UI[R.store.value.XnM, 162'd];
UI[W.store.value.XnM, 163'd];
UI[R.store.value.Yn, 164'd];
UI[W.store.value.Yn, 165'd];
UI[R.store.variable.Xn, 166'd];
UI[W.store.variable.Xn, 167'd];
UI[R.store.variable.XnM, 168'd];
UI[W.store.variable.XnM, 169'd];
UI[R.store.variable.Yn, 170'd];
UI[W.store.variable.Yn, 171'd];
UI[W.trust.me.else, 173'd];
UI[W.try.me.else, 175'd];
UI[R.unify.boxed, 176'd];
UI[W.unify.boxed, 177'd];
UI[R.unify.constant, 178'd];
UI[R.unify.float, 180'd];
UI[W.unify.float, 181'd];
UI[R.unify.list, 182'd];
UI[R.unify.local.XnM, 186'd];
UI[W.unify.local.XnM, 187'd];
UI[R.unify.local.Yn, 188'd];
UI[W.unify.local.Yn, 189'd];
UI[R.unify.structure, 192'd];
UI[W.unify.structure, 193'd];
UI[R.unify.symbol, 194'd];
UI[W.unify.symbol, 195'd];
UI[R.unify.value.XnM, 198'd];
UI[W.unify.value.XnM, 199'd];
UI[R.unify.variable.XnM, 204'd];
UI[W.unify.variable.XnM, 205'd];
UI[R.send.direct.Ai, 210'd];
UI[W.send.direct.Ai, 211'd];
UI[R.send.direct.AiM, 212'd];
UI[W.send.direct.AiM, 213'd];
UI[R.trap, 214'd];
UI[W.trap, 215'd];
UI[W.just.index.else, 217'd];
UI[R.try.index.else, 218'd];
UI[W.try.index.else, 219'd];
UI[R.retry.index.else, 220'd];
UI[W.retry.index.else, 221'd];
UI[R.trust.index.else, 222'd];
UI[W.trust.index.else, 223'd];
UI[224'd];
UI[225'd];
UI[226'd];
UI[227'd];
UI[228'd];
UI[229'd];
UI[230'd];
UI[231'd];
UI[232'd];
UI[233'd];
UI[234'd];
UI[235'd];
UI[236'd];
UI[237'd];
UI[238'd];
UI[239'd];
UI[240'd];
UI[241'd];
UI[242'd];
UI[243'd];
UI[244'd];
UI[245'd];
UI[246'd];
UI[247'd];
UI[248'd];
UI[249'd];
UI[250'd];
UI[251'd];
UI[252'd];
UI[253'd];
UI[254'd];
UI[255'd];


{ E N D }