(FILECREATED " 9-Feb-86 21:35:27" {DSK}<LISPFILES2>FASTPROLOG.;1 13312
changes to: (VARS FASTPROLOGCOMS)
previous date: " 5-Feb-86 11:41:49" {DSK}<LISPFILES2>FASTPROLOG.;6)
(* Copyright (c) 1986 by Quintus Computer Systems, Inc. All rights reserved.)
(PRETTYCOMPRINT FASTPROLOGCOMS)
(RPAQQ FASTPROLOGCOMS ((FNS QP.PROLOG)))
(DEFINEQ
(QP.PROLOG
[LAMBDA (NAME ARITY MODULE)
(PROG NIL
(PROLOG.INIT.REGISTERS (QP.LOCAL.PREDICATE NAME ARITY MODULE))
(PROLOG.DUMMY.GOES 255)
START
((OPCODES '0))
(POPDISP 0)
OP0 (PROLOGOP 0 NIL (SHOULDNT))
OP1 (PROLOGOP 1 NIL (SHOULDNT))
OP2 (PROLOGOP 2 NIL (R.extend))
OP3 (PROLOGOP 3 NIL (W.extend))
OP4 (PROLOGOP 4 NIL (R.allocate))
OP5 (PROLOGOP 5 NIL (W.allocate))
OP6 (PROLOGOP 6 NIL (R.body.cut))
OP7 (PROLOGOP 7 NIL (W.body.cut))
OP8 (PROLOGOP 8 NIL (R.call))
OP9 (PROLOGOP 9 NIL (W.call))
OP10(PROLOGOP 10 NIL (R.call.lisp))
OP11(PROLOGOP 11 NIL (W.call.lisp))
OP12(PROLOGOP 12 NIL (R.cut.proceed))
OP13(PROLOGOP 13 NIL (W.cut.proceed))
OP14(PROLOGOP 14 NIL (R.deallocate))
OP15(PROLOGOP 15 NIL (W.deallocate))
OP16(PROLOGOP 16 NIL (R.depart))
OP17(PROLOGOP 17 NIL (W.depart))
OP18(PROLOGOP 18 NIL (R.depart.cut))
OP19(PROLOGOP 19 NIL (W.depart.cut))
OP20(PROLOGOP 20 NIL (R.either))
OP21(PROLOGOP 21 NIL (W.either))
OP22(PROLOGOP 22 NIL (R.equal.to.else))
OP23(PROLOGOP 23 NIL (W.equal.to.else))
OP24(PROLOGOP 24 NIL (R.execute))
OP25(PROLOGOP 25 NIL (W.execute))
OP26(PROLOGOP 26 NIL (R.fail))
OP27(PROLOGOP 27 NIL (W.fail))
OP28(PROLOGOP 28 NIL (R.get.Ai.boxed))
OP29(PROLOGOP 29 NIL (W.get.Ai.boxed))
OP30(PROLOGOP 30 NIL (R.get.AiM.boxed))
OP31(PROLOGOP 31 NIL (W.get.AiM.boxed))
OP32(PROLOGOP 32 NIL (R.get.Ai.constant))
OP33(PROLOGOP 33 NIL (W.get.Ai.constant))
OP34(PROLOGOP 34 NIL (R.get.AiM.constant))
OP35(PROLOGOP 35 NIL (W.get.AiM.constant))
OP36(PROLOGOP 36 NIL (R.get.Ai.float))
OP37(PROLOGOP 37 NIL (W.get.Ai.float))
OP38(PROLOGOP 38 NIL (R.get.AiM.float))
OP39(PROLOGOP 39 NIL (W.get.AiM.float))
OP40(PROLOGOP 40 NIL (R.get.Ai.list))
OP41(PROLOGOP 41 NIL (W.get.Ai.list))
OP42(PROLOGOP 42 NIL (R.get.AiM.list))
OP43(PROLOGOP 43 NIL (W.get.AiM.list))
OP44(PROLOGOP 44 NIL (R.get.Ai.nil))
OP45(PROLOGOP 45 NIL (W.get.Ai.nil))
OP46(PROLOGOP 46 NIL (R.get.AiM.nil))
OP47(PROLOGOP 47 NIL (W.get.AiM.nil))
OP48(PROLOGOP 48 NIL (R.get.Ai.structure))
OP49(PROLOGOP 49 NIL (W.get.Ai.structure))
OP50(PROLOGOP 50 NIL (R.get.AiM.structure))
OP51(PROLOGOP 51 NIL (W.get.AiM.structure))
OP52(PROLOGOP 52 NIL (R.get.Ai.symbol))
OP53(PROLOGOP 53 NIL (W.get.Ai.symbol))
OP54(PROLOGOP 54 NIL (R.get.AiM.symbol))
OP55(PROLOGOP 55 NIL (W.get.AiM.symbol))
OP56(PROLOGOP 56 NIL (R.get.Ai.value.Xn))
OP57(PROLOGOP 57 NIL (W.get.Ai.value.Xn))
OP58(PROLOGOP 58 NIL (R.get.AiM.value.Xn))
OP59(PROLOGOP 59 NIL (W.get.AiM.value.Xn))
OP60(PROLOGOP 60 NIL (R.get.Ai.value.XnM))
OP61(PROLOGOP 61 NIL (W.get.Ai.value.XnM))
OP62(PROLOGOP 62 NIL (R.get.AiM.value.XnM))
OP63(PROLOGOP 63 NIL (W.get.AiM.value.XnM))
OP64(PROLOGOP 64 NIL (R.get.Ai.value.Yn))
OP65(PROLOGOP 65 NIL (W.get.Ai.value.Yn))
OP66(PROLOGOP 66 NIL (R.get.AiM.value.Yn))
OP67(PROLOGOP 67 NIL (W.get.AiM.value.Yn))
OP68(PROLOGOP 68 NIL (R.get.Ai.variable.Yn))
OP69(PROLOGOP 69 NIL (W.get.Ai.variable.Yn))
OP70(PROLOGOP 70 NIL (R.get.AiM.variable.Yn))
OP71(PROLOGOP 71 NIL (W.get.AiM.variable.Yn))
OP72(PROLOGOP 72 NIL (R.greater.than.else))
OP73(PROLOGOP 73 NIL (W.greater.than.else))
OP74(PROLOGOP 74 NIL (R.head.cut))
OP75(PROLOGOP 75 NIL (W.head.cut))
OP76(PROLOGOP 76 NIL (R.initialize.Yn))
OP77(PROLOGOP 77 NIL (W.initialize.Yn))
OP78(PROLOGOP 78 NIL (R.is.a))
OP79(PROLOGOP 79 NIL (W.is.a))
OP80(PROLOGOP 80 NIL (R.jump.to))
OP81(PROLOGOP 81 NIL (W.jump.to))
OP82(PROLOGOP 82 NIL (R.just.me.else))
OP83(PROLOGOP 83 NIL (W.just.me.else))
OP84(PROLOGOP 84 NIL (R.less.than.else))
OP85(PROLOGOP 85 NIL (W.less.than.else))
OP86(PROLOGOP 86 NIL (R.load.value.Xn))
OP87(PROLOGOP 87 NIL (W.load.value.Xn))
OP88(PROLOGOP 88 NIL (R.load.value.XnM))
OP89(PROLOGOP 89 NIL (W.load.value.XnM))
OP90(PROLOGOP 90 NIL (R.load.value.Yn))
OP91(PROLOGOP 91 NIL (W.load.value.Yn))
OP92(PROLOGOP 92 NIL (R.not.equal.to.else))
OP93(PROLOGOP 93 NIL (W.not.equal.to.else))
OP94(PROLOGOP 94 NIL (R.not.less.than.else))
OP95(PROLOGOP 95 NIL (W.not.less.than.else))
OP96(PROLOGOP 96 NIL (R.not.greater.than.else))
OP97(PROLOGOP 97 NIL (W.not.greater.than.else))
OP98(PROLOGOP 98 NIL (R.or))
OP99(PROLOGOP 99 NIL (W.or))
OP100
(PROLOGOP 100 NIL (R.or.finally))
OP101
(PROLOGOP 101 NIL (W.or.finally))
OP102
(PROLOGOP 102 NIL (R.proceed))
OP103
(PROLOGOP 103 NIL (W.proceed))
OP104
(PROLOGOP 104 NIL (R.progress))
OP105
(PROLOGOP 105 NIL (W.progress))
OP106
(PROLOGOP 106 NIL (R.put.Ai.constant))
OP107
(PROLOGOP 107 NIL (W.put.Ai.constant))
OP108
(PROLOGOP 108 NIL (R.put.AiM.constant))
OP109
(PROLOGOP 109 NIL (W.put.AiM.constant))
OP110
(PROLOGOP 110 NIL (R.put.Ai.list))
OP111
(PROLOGOP 111 NIL (W.put.Ai.list))
OP112
(PROLOGOP 112 NIL (R.put.AiM.list))
OP113
(PROLOGOP 113 NIL (W.put.AiM.list))
OP114
(PROLOGOP 114 NIL (R.put.Ai.nil))
OP115
(PROLOGOP 115 NIL (W.put.Ai.nil))
OP116
(PROLOGOP 116 NIL (R.put.AiM.nil))
OP117
(PROLOGOP 117 NIL (W.put.AiM.nil))
OP118
(PROLOGOP 118 NIL (R.put.Ai.structure))
OP119
(PROLOGOP 119 NIL (W.put.Ai.structure))
OP120
(PROLOGOP 120 NIL (R.put.AiM.structure))
OP121
(PROLOGOP 121 NIL (W.put.AiM.structure))
OP122
(PROLOGOP 122 NIL (R.put.Ai.symbol))
OP123
(PROLOGOP 123 NIL (W.put.Ai.symbol))
OP124
(PROLOGOP 124 NIL (R.put.AiM.symbol))
OP125
(PROLOGOP 125 NIL (W.put.AiM.symbol))
OP126
(PROLOGOP 126 NIL (R.put.Ai.unsafe.Yn))
OP127
(PROLOGOP 127 NIL (W.put.Ai.unsafe.Yn))
OP128
(PROLOGOP 128 NIL (R.put.AiM.unsafe.Yn))
OP129
(PROLOGOP 129 NIL (W.put.AiM.unsafe.Yn))
OP130
(PROLOGOP 130 NIL (R.put.Ai.value.Xn))
OP131
(PROLOGOP 131 NIL (W.put.Ai.value.Xn))
OP132
(PROLOGOP 132 NIL (R.put.Ai.value.XnM))
OP133
(PROLOGOP 133 NIL (W.put.Ai.value.XnM))
OP134
(PROLOGOP 134 NIL (R.put.AiM.value.Xn))
OP135
(PROLOGOP 135 NIL (W.put.AiM.value.Xn))
OP136
(PROLOGOP 136 NIL (R.put.AiM.value.XnM))
OP137
(PROLOGOP 137 NIL (W.put.AiM.value.XnM))
OP138
(PROLOGOP 138 NIL (R.put.Ai.value.Yn))
OP139
(PROLOGOP 139 NIL (W.put.Ai.value.Yn))
OP140
(PROLOGOP 140 NIL (R.put.AiM.value.Yn))
OP141
(PROLOGOP 141 NIL (W.put.AiM.value.Yn))
OP142
(PROLOGOP 142 NIL (R.put.Ai.variable.Yn))
OP143
(PROLOGOP 143 NIL (W.put.Ai.variable.Yn))
OP144
(PROLOGOP 144 NIL (R.put.AiM.variable.Yn))
OP145
(PROLOGOP 145 NIL (W.put.AiM.variable.Yn))
OP146
(PROLOGOP 146 NIL (R.put.Ai.void))
OP147
(PROLOGOP 147 NIL (W.put.Ai.void))
OP148
(PROLOGOP 148 NIL (R.put.AiM.void))
OP149
(PROLOGOP 149 NIL (W.put.AiM.void))
OP150
(PROLOGOP 150 NIL (R.interpret.me))
OP151
(PROLOGOP 151 NIL (W.interpret.me))
OP152
(PROLOGOP 152 NIL (R.retry.me.else))
OP153
(PROLOGOP 153 NIL (W.retry.me.else))
OP154
(PROLOGOP 154 NIL (R.send.variable.Ai))
OP155
(PROLOGOP 155 NIL (W.send.variable.Ai))
OP156
(PROLOGOP 156 NIL (R.send.variable.AiM))
OP157
(PROLOGOP 157 NIL (W.send.variable.AiM))
OP158
(PROLOGOP 158 NIL (R.start.calling))
OP159
(PROLOGOP 159 NIL (W.start.calling))
OP160
(PROLOGOP 160 NIL (R.store.value.Xn))
OP161
(PROLOGOP 161 NIL (W.store.value.Xn))
OP162
(PROLOGOP 162 NIL (R.store.value.XnM))
OP163
(PROLOGOP 163 NIL (W.store.value.XnM))
OP164
(PROLOGOP 164 NIL (R.store.value.Yn))
OP165
(PROLOGOP 165 NIL (W.store.value.Yn))
OP166
(PROLOGOP 166 NIL (R.store.variable.Xn))
OP167
(PROLOGOP 167 NIL (W.store.variable.Xn))
OP168
(PROLOGOP 168 NIL (R.store.variable.XnM))
OP169
(PROLOGOP 169 NIL (W.store.variable.XnM))
OP170
(PROLOGOP 170 NIL (R.store.variable.Yn))
OP171
(PROLOGOP 171 NIL (W.store.variable.Yn))
OP172
(PROLOGOP 172 NIL (R.trust.me.else))
OP173
(PROLOGOP 173 NIL (W.trust.me.else))
OP174
(PROLOGOP 174 NIL (R.try.me.else))
OP175
(PROLOGOP 175 NIL (W.try.me.else))
OP176
(PROLOGOP 176 NIL (R.unify.boxed))
OP177
(PROLOGOP 177 NIL (W.unify.boxed))
OP178
(PROLOGOP 178 NIL (R.unify.constant))
OP179
(PROLOGOP 179 NIL (W.unify.constant))
OP180
(PROLOGOP 180 NIL (R.unify.float))
OP181
(PROLOGOP 181 NIL (W.unify.float))
OP182
(PROLOGOP 182 NIL (R.unify.list))
OP183
(PROLOGOP 183 NIL (W.unify.list))
OP184
(PROLOGOP 184 NIL (R.unify.local.Xn))
OP185
(PROLOGOP 185 NIL (W.unify.local.Xn))
OP186
(PROLOGOP 186 NIL (R.unify.local.XnM))
OP187
(PROLOGOP 187 NIL (W.unify.local.XnM))
OP188
(PROLOGOP 188 NIL (R.unify.local.Yn))
OP189
(PROLOGOP 189 NIL (W.unify.local.Yn))
OP190
(PROLOGOP 190 NIL (R.unify.nil))
OP191
(PROLOGOP 191 NIL (W.unify.nil))
OP192
(PROLOGOP 192 NIL (R.unify.structure))
OP193
(PROLOGOP 193 NIL (W.unify.structure))
OP194
(PROLOGOP 194 NIL (R.unify.symbol))
OP195
(PROLOGOP 195 NIL (W.unify.symbol))
OP196
(PROLOGOP 196 NIL (R.unify.value.Xn))
OP197
(PROLOGOP 197 NIL (W.unify.value.Xn))
OP198
(PROLOGOP 198 NIL (R.unify.value.XnM))
OP199
(PROLOGOP 199 NIL (W.unify.value.XnM))
OP200
(PROLOGOP 200 NIL (R.unify.value.Yn))
OP201
(PROLOGOP 201 NIL (W.unify.value.Yn))
OP202
(PROLOGOP 202 NIL (R.unify.variable.Xn))
OP203
(PROLOGOP 203 NIL (W.unify.variable.Xn))
OP204
(PROLOGOP 204 NIL (R.unify.variable.XnM))
OP205
(PROLOGOP 205 NIL (W.unify.variable.XnM))
OP206
(PROLOGOP 206 NIL (R.unify.variable.Yn))
OP207
(PROLOGOP 207 NIL (W.unify.variable.Yn))
OP208
(PROLOGOP 208 NIL (R.unify.void))
OP209
(PROLOGOP 209 NIL (W.unify.void))
OP210
(PROLOGOP 210 NIL (R.send.direct.Ai))
OP211
(PROLOGOP 211 NIL (W.send.direct.Ai))
OP212
(PROLOGOP 212 NIL (R.send.direct.AiM))
OP213
(PROLOGOP 213 NIL (W.send.direct.AiM))
OP214
(PROLOGOP 214 NIL (R.trap))
OP215
(PROLOGOP 215 NIL (W.trap))
OP216
(PROLOGOP 216 NIL (R.just.index.else))
OP217
(PROLOGOP 217 NIL (W.just.index.else))
OP218
(PROLOGOP 218 NIL (R.try.index.else))
OP219
(PROLOGOP 219 NIL (W.try.index.else))
OP220
(PROLOGOP 220 NIL (R.retry.index.else))
OP221
(PROLOGOP 221 NIL (W.retry.index.else))
OP222
(PROLOGOP 222 NIL (R.trust.index.else))
OP223
(PROLOGOP 223 NIL (W.trust.index.else))
OP224
(PROLOGOP 224 NIL (R.ignore.me))
OP225
(PROLOGOP 225 NIL (W.ignore.me))
OP226
(PROLOGOP 226 NIL (R.ignore.me.but.keep.me))
OP227
(PROLOGOP 227 NIL (W.ignore.me.but.keep.me))
OP228
(PROLOGOP 228 NIL (R.retry.at))
OP229
(PROLOGOP 229 NIL (W.retry.at))
OP230
(PROLOGOP 230 NIL (R.fail.on.retry))
OP231
(PROLOGOP 231 NIL (W.fail.on.retry))
OP232
(PROLOGOP 232 NIL (R.load.choice.point))
OP233
(PROLOGOP 233 NIL (W.load.choice.point))
OP234
(PROLOGOP 234 NIL (R.cut.to.choice.point))
OP235
(PROLOGOP 235 NIL (W.cut.to.choice.point))
OP236
(PROLOGOP 236 NIL (R.load.cur.clause))
OP237
(PROLOGOP 237 NIL (W.load.cur.clause))
OP238
(PROLOGOP 238 NIL (R.apply))
OP239
(PROLOGOP 239 NIL (W.apply))
OP240
(PROLOGOP 240 NIL (R.arg))
OP241
(PROLOGOP 241 NIL (W.arg))
OP242
(PROLOGOP 242 NIL (R.functor))
OP243
(PROLOGOP 243 NIL (W.functor))
OP244
(PROLOGOP 244 NIL (R.gettopval))
OP245
(PROLOGOP 245 NIL (W.gettopval))
OP246
(PROLOGOP 246 NIL (R.settopval))
OP247
(PROLOGOP 247 NIL (W.settopval))
OP248
(PROLOGOP 248 NIL (R.get.word))
OP249
(PROLOGOP 249 NIL (W.get.word))
OP250
(PROLOGOP 250 NIL (R.get.addr))
OP251
(PROLOGOP 251 NIL (W.get.addr))
OP252
(PROLOGOP 252 NIL (SHOULDNT))
OP253
(PROLOGOP 253 NIL (SHOULDNT))
OP254
(PROLOGOP 254 NIL (SHOULDNT))
OP255
(PROLOGOP 255 NIL (SHOULDNT))
FINISHED
(RETURN NIL])
)
(PUTPROPS FASTPROLOG COPYRIGHT ("Quintus Computer Systems, Inc" 1986))
(DECLARE: DONTCOPY
(FILEMAP (NIL (355 13219 (QP.PROLOG 365 . 13217)))))
STOP