home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / t.w < prev   
Encoding:
Text File  |  1989-04-14  |  2.1 KB  |  120 lines
  1. procedure  main/0
  2.  
  3. _1349:
  4.     put_list  X2
  5.     unify_variable_write_x  X5
  6.     get_cdr_list_write
  7.     unify_variable_write_x  X6
  8.     get_cdr_list_write
  9.     unify_variable_write_x  X7
  10.     unify_nil_write
  11.     put_structure  -/2,X3,2
  12.     unify_variable_write_y  Y3
  13.     unify_void_write
  14.     put_value_y  Y3,X8
  15.     get_list  X8
  16.     unify_variable_y  Y3
  17.     get_cdr_list
  18.     unify_variable_y  Y2
  19.     get_cdr_list
  20.     unify_variable_y  Y1
  21.     unify_variable_x  X8
  22.     put_value_y  Y3,X8
  23.     get_structure  get/3,X8,3
  24.     unify_void
  25.     unify_value_x  X5
  26.     unify_variable_x  X5
  27.     get_structure  x/1,X5,1
  28.     unify_constant  &1
  29.     put_value_y  Y2,X8
  30.     get_structure  get/3,X8,3
  31.     unify_void
  32.     unify_value_x  X6
  33.     unify_variable_x  X5
  34.     get_structure  x/1,X5,1
  35.     unify_constant  &2
  36.     put_value_y  Y1,X8
  37.     get_structure  get/3,X8,3
  38.     unify_void
  39.     unify_value_x  X7
  40.     unify_variable_x  X5
  41.     get_structure  x/1,X5,1
  42.     unify_constant  &3
  43.     put_constant  get,X1
  44.     put_constant  &1,X4
  45.     execute_proc  getputblock/4
  46.  
  47.  
  48. procedure  getputblock/4
  49.  
  50. _3017:
  51.     try_me_else  _3022,4
  52. _3026:
  53.     get_variable_y  Y2,X1
  54.     get_variable_y  Y5,X4
  55.     get_list  X2
  56.     unify_variable_x  X4
  57.     unify_variable_y  Y1
  58.     get_structure  -/2,X3,2
  59.     unify_variable_x  X3
  60.     unify_variable_y  Y3
  61.     get_list  X3
  62.     unify_variable_x  X1
  63.     unify_variable_y  Y4
  64.     put_list  X2
  65.     unify_value_write_y  Y2
  66.     get_cdr_list_write
  67.     unify_variable_write_x  X3
  68.     get_cdr_list_write
  69.     unify_value_write_x  X4
  70.     get_cdr_list_write
  71.     unify_variable_write_x  X5
  72.     unify_nil_write
  73.     get_structure  x/1,X5,1
  74.     unify_value_y  Y5
  75.     escape  =../2
  76.     cut
  77.     put_value_x  X4,X1
  78.     put_value_x  X3,X2
  79.     call  _dummy_0/2,5
  80.     put_variable_x  X5,X1
  81.     put_value_y  Y5,X2
  82.     put_constant  +,X3
  83.     put_constant  &1,X4
  84.     escape  is/4
  85.     put_structure  -/2,X6,2
  86.     unify_value_write_y  Y4
  87.     unify_value_write_y  Y3
  88.     put_value_y  Y2,X1
  89.     put_value_y  Y1,X2
  90.     put_value_x  X6,X3
  91.     put_value_x  X5,X4
  92.     execute_proc  getputblock/4
  93. _3022:
  94.     trust_me_else  fail
  95. _3347:
  96.     get_nil  X2
  97.     get_structure  -/2,X3,2
  98.     unify_variable_x  X1
  99.     unify_value_x  X1
  100.     proceed
  101.  
  102.  
  103. procedure  _dummy_0/2
  104.  
  105. _4013:
  106.     try_me_else  _4018,2
  107. _4022:
  108.     switch_on_term  _4026,fail,fail
  109.     fail
  110. _4026:
  111.     cut
  112.     get_constant  constant,X2
  113.     proceed
  114. _4018:
  115.     trust_me_else  fail
  116. _4062:
  117.     proceed
  118.  
  119.  
  120.