| OCR Text |
Show return FALSE; RSMASH (consptr, sarp); consptr = ((cons_cell *) VIRT (consptr))->cc_cdr; else ( tempref1 = push_area (&hp, sizeof (cons_cell)); TAG (tempref1, LIST); RSMASH (tempref1, sarp); ((cons_cell *) VIRT (tempref1))->cc_car = r; ((cons_cell *) VIRT (tempref1))->cc_cdr = NULL; if (consptr) ( RSMASH (consptr, sarp); ((cons_cell *) VIRT (consptr))->cc_cdr = tempref1; consptr = tempref1; return r; ref Unify_x_variable(r) ref r; ( register SAR * sarp = smash_ sarp; register ref tempref1; if (mode = READ) ( RSMASH (consptr, sarp); r = ((cons_cell *) VIRT (consptr))->cc_car; consptr = ((cons_cell *) VIRT (consptr))->cc_cdr; else ( tempref1 = push_area (&hp, sizeof (cons_cell)); TAG (tempref1, LIST); r = new_value_cell (&hp); RSMASH (tempref1, sarp) ; ((cons_cell *) VIRT (tempref1))->cc_car = r; ((cons_cell *) VIRT (tempref1))->cc_cdr =NULL; if (consptr) ( RSMASH (consptr, sarp); ((cons_cell *) VIRT (consptr))->cc_cdr = r; consptr = tempref1; return r; boolean Unify_y_cdr(v) int v; ( ref r; ref cell_ref; r = deref (REFOFY (v)); if (mode == READ) ( 131 |
