/****************************************************************************
Prolog to Wam Compiler INRIA Rocquencourt - ChLoE Project
Version 2.21 Daniel Diaz - 1994
File : wamcc5.c
Main : no_main
****************************************************************************/
#define FAST_MATH
#define DEBUG_LEVEL 0
#include "wam_engine.h"
#include "wamcc5.h"
#include "wamcc5.usr"
#define ASCII_PRED "allocation_varsX"
#define PRED X616C6C6F636174696F6E5F7661727358
#define ARITY 1
Begin_Public_Pred
allocate(3)
get_y_variable(2,0)
put_y_value(2,0)
put_nil(1)
put_y_variable(1,2)
call(Pred_Name(X616C6961736573,3),1,1,"aliases",3) /* begin sub 1 */
put_y_value(2,0)
put_y_value(1,1)
put_x_variable(2,2)
put_y_variable(0,3)
call(Pred_Name(X6372656174655F6C73745F746D70,4),1,2,"create_lst_tmp",4) /* begin sub 2 */
put_y_unsafe_value(0,0)
deallocate
execute(Pred_Name(X61737369676E5F6C73745F746D70,1),1,"assign_lst_tmp",1)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "aliases"
#define PRED X616C6961736573
#define ARITY 3
Begin_Private_Pred
switch_on_term(G_label(1),G_label(2),fail,G_label(4),fail)
label(1)
try_me_else(3)
label(2)
get_nil(0)
get_nil(2)
proceed
label(3)
trust_me_else_fail
label(4)
allocate(3)
get_list(0)
unify_x_variable(0)
unify_y_variable(2)
get_list(2)
unify_x_local_value(1)
unify_y_variable(0)
put_x_variable(3,4)
put_x_variable(2,2)
builtin_3(functor,0,4,2)
get_x_bc_reg(2)
put_y_variable(1,4)
call(Pred_Name(X616C69617365735F2461757831,5),1,1,"aliases_$aux1",5) /* begin sub 1 */
put_y_value(2,0)
put_y_unsafe_value(1,1)
put_y_value(0,2)
deallocate
execute(Pred_Name(X616C6961736573,3),1,"aliases",3)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "aliases_$aux1"
#define PRED X616C69617365735F2461757831
#define ARITY 5
Begin_Private_Pred
try_me_else(1)
allocate(2)
get_y_variable(0,4)
get_y_bc_reg(1)
put_x_value(3,0)
call(Pred_Name(X616C69617365735F2461757832,1),1,1,"aliases_$aux2",1) /* begin sub 1 */
cut_y(1)
put_y_value(0,0)
get_nil(0)
deallocate
proceed
label(1)
trust_me_else_fail
allocate(4)
get_y_variable(1,1)
get_y_variable(3,2)
get_y_variable(0,4)
put_y_variable(2,1)
call(Pred_Name(X636F64696669636174696F6E,2),1,2,"codification",2) /* begin sub 2 */
cut_y(3)
put_y_unsafe_value(2,0)
put_y_value(1,1)
put_y_value(0,2)
deallocate
execute(Pred_Name(X616C696173657331,3),1,"aliases1",3)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "aliases_$aux2"
#define PRED X616C69617365735F2461757832
#define ARITY 1
Begin_Private_Pred
try_me_else(1)
put_constant(X63616C6C,1,"call")
builtin_2(term_eq,0,1)
proceed
label(1)
trust_me_else_fail
put_constant(X65786563757465,1,"execute")
builtin_2(term_eq,0,1)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "aliases1"
#define PRED X616C696173657331
#define ARITY 3
Begin_Private_Pred
switch_on_term(G_label(1),G_label(2),fail,G_label(4),fail)
label(1)
try_me_else(3)
label(2)
get_nil(0)
get_x_value(1,2)
proceed
label(3)
trust_me_else_fail
label(4)
allocate(4)
get_list(0)
unify_x_variable(0)
unify_y_variable(2)
get_y_variable(0,2)
get_y_bc_reg(3)
put_y_variable(1,2)
call(Pred_Name(X616C6961736573315F2461757833,3),1,1,"aliases1_$aux3",3) /* begin sub 1 */
cut_y(3)
put_y_value(2,0)
put_y_unsafe_value(1,1)
put_y_value(0,2)
deallocate
execute(Pred_Name(X616C696173657331,3),1,"aliases1",3)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "aliases1_$aux3"
#define PRED X616C6961736573315F2461757833
#define ARITY 3
Begin_Private_Pred
try_me_else(1)
get_structure(X72,1,0,"r")
unify_void(1)
get_x_value(1,2)
proceed
label(1)
retry_me_else(2)
get_x_variable(3,0)
get_x_variable(0,1)
get_structure(X77,1,3,"w")
unify_x_variable(1)
execute(Pred_Name(X72656D6F76655F616C69617365735F6F66,3),1,"remove_aliases_of",3)
label(2)
trust_me_else_fail
allocate(4)
get_y_variable(0,2)
get_structure(X63,2,0,"c")
unify_y_variable(2)
unify_y_variable(1)
put_x_value(1,0)
put_y_value(1,1)
put_y_variable(3,2)
call(Pred_Name(X72656D6F76655F616C69617365735F6F66,3),1,1,"remove_aliases_of",3) /* begin sub 1 */
put_y_unsafe_value(3,0)
put_y_value(2,1)
put_y_value(1,2)
put_y_value(0,3)
deallocate
execute(Pred_Name(X6164645F616C696173,4),1,"add_alias",4)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "add_alias"
#define PRED X6164645F616C696173
#define ARITY 4
Begin_Private_Pred
switch_on_term(G_label(1),G_label(2),fail,G_label(4),fail)
label(1)
try_me_else(3)
label(2)
get_nil(0)
get_list(3)
unify_x_variable(0)
unify_nil
get_list(0)
unify_x_local_value(1)
unify_x_variable(0)
get_list(0)
unify_x_local_value(2)
unify_nil
proceed
label(3)
trust_me_else_fail
label(4)
get_list(0)
unify_x_variable(0)
unify_x_variable(8)
get_x_variable(7,1)
get_x_variable(6,2)
get_list(3)
unify_x_variable(4)
unify_x_variable(5)
put_x_value(8,1)
put_x_value(7,2)
put_x_value(6,3)
execute(Pred_Name(X6164645F616C6961735F2461757834,6),1,"add_alias_$aux4",6)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "add_alias_$aux4"
#define PRED X6164645F616C6961735F2461757834
#define ARITY 6
Begin_Private_Pred
try_me_else(1)
allocate(6)
get_y_variable(4,0)
get_y_variable(0,1)
get_y_variable(3,3)
get_y_variable(2,4)
get_y_variable(1,5)
get_y_bc_reg(5)
put_y_value(4,0)
put_x_value(2,1)
call(Pred_Name(X656E735F656C74,2),0,1,"ens_elt",2) /* begin sub 1 */
cut_y(5)
put_y_value(4,0)
put_y_value(3,1)
put_y_value(2,2)
call(Pred_Name(X656E735F616A6F7574,3),0,2,"ens_ajout",3) /* begin sub 2 */
put_y_value(1,0)
get_y_value(0,0)
deallocate
proceed
label(1)
trust_me_else_fail
get_x_value(0,4)
put_x_value(1,0)
put_x_value(2,1)
put_x_value(3,2)
put_x_value(5,3)
execute(Pred_Name(X6164645F616C696173,4),1,"add_alias",4)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "find_aliases_of"
#define PRED X66696E645F616C69617365735F6F66
#define ARITY 3
Begin_Private_Pred
switch_on_term(G_label(1),fail,fail,G_label(1),fail)
label(1)
get_list(0)
unify_x_variable(0)
unify_x_variable(5)
get_x_variable(4,1)
get_x_variable(3,2)
put_x_value(5,1)
put_x_value(4,2)
execute(Pred_Name(X66696E645F616C69617365735F6F665F2461757835,4),1,"find_aliases_of_$aux5",4)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "find_aliases_of_$aux5"
#define PRED X66696E645F616C69617365735F6F665F2461757835
#define ARITY 4
Begin_Private_Pred
try_me_else(1)
allocate(1)
get_y_bc_reg(0)
put_x_value(2,1)
put_x_value(3,2)
call(Pred_Name(X656E735F72657472616974,3),0,1,"ens_retrait",3) /* begin sub 1 */
cut_y(0)
deallocate
proceed
label(1)
trust_me_else_fail
put_x_value(1,0)
put_x_value(2,1)
put_x_value(3,2)
execute(Pred_Name(X66696E645F616C69617365735F6F66,3),1,"find_aliases_of",3)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "remove_aliases_of"
#define PRED X72656D6F76655F616C69617365735F6F66
#define ARITY 3
Begin_Private_Pred
switch_on_term(G_label(1),G_label(2),fail,G_label(4),fail)
label(1)
try_me_else(3)
label(2)
get_nil(0)
get_nil(2)
proceed
label(3)
trust_me_else_fail
label(4)
get_list(0)
unify_x_variable(0)
unify_x_variable(5)
get_x_variable(4,1)
get_x_variable(3,2)
put_x_value(5,1)
put_x_value(4,2)
execute(Pred_Name(X72656D6F76655F616C69617365735F6F665F2461757836,4),1,"remove_aliases_of_$aux6",4)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "remove_aliases_of_$aux6"
#define PRED X72656D6F76655F616C69617365735F6F665F2461757836
#define ARITY 4
Begin_Private_Pred
try_me_else(1)
allocate(4)
get_y_variable(2,1)
get_y_variable(1,3)
get_y_bc_reg(3)
put_x_value(2,1)
put_y_variable(0,2)
call(Pred_Name(X656E735F72657472616974,3),0,1,"ens_retrait",3) /* begin sub 1 */
cut_y(3)
put_y_value(2,0)
put_y_value(1,1)
put_y_unsafe_value(0,2)
deallocate
execute(Pred_Name(X72656D6F76655F616C69617365735F6F665F2461757837,3),1,"remove_aliases_of_$aux7",3)
label(1)
trust_me_else_fail
get_x_variable(4,0)
get_x_variable(0,1)
get_x_variable(1,2)
get_list(3)
unify_x_local_value(4)
unify_x_variable(2)
execute(Pred_Name(X72656D6F76655F616C69617365735F6F66,3),1,"remove_aliases_of",3)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "remove_aliases_of_$aux7"
#define PRED X72656D6F76655F616C69617365735F6F665F2461757837
#define ARITY 3
Begin_Private_Pred
try_me_else(1)
allocate(3)
get_y_variable(0,0)
get_y_variable(1,1)
get_y_bc_reg(2)
put_x_value(2,0)
call(Pred_Name(X72656D6F76655F616C69617365735F6F665F2461757838,1),1,1,"remove_aliases_of_$aux8",1) /* begin sub 1 */
cut_y(2)
put_y_value(1,0)
get_y_value(0,0)
deallocate
proceed
label(1)
trust_me_else_fail
get_list(1)
unify_x_local_value(2)
unify_x_local_value(0)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "remove_aliases_of_$aux8"
#define PRED X72656D6F76655F616C69617365735F6F665F2461757838
#define ARITY 1
Begin_Private_Pred
try_me_else(1)
put_nil(1)
builtin_2(term_eq,0,1)
proceed
label(1)
trust_me_else_fail
get_list(0)
unify_void(1)
unify_nil
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "create_lst_tmp"
#define PRED X6372656174655F6C73745F746D70
#define ARITY 4
Begin_Private_Pred
switch_on_term(G_label(1),G_label(2),fail,G_label(4),fail)
label(1)
try_me_else(3)
label(2)
get_nil(0)
get_nil(1)
get_nil(2)
get_nil(3)
proceed
label(3)
trust_me_else_fail
label(4)
allocate(8)
get_list(0)
unify_y_variable(7)
unify_x_variable(0)
get_list(1)
unify_y_variable(4)
unify_x_variable(1)
get_y_variable(2,2)
get_y_variable(0,3)
get_y_bc_reg(6)
put_y_variable(3,2)
put_y_variable(1,3)
call(Pred_Name(X6372656174655F6C73745F746D70,4),1,1,"create_lst_tmp",4) /* begin sub 1 */
put_y_value(7,0)
put_y_variable(5,1)
call(Pred_Name(X636F64696669636174696F6E,2),1,2,"codification",2) /* begin sub 2 */
cut_y(6)
put_y_unsafe_value(5,0)
put_y_value(4,1)
put_y_unsafe_value(3,2)
put_y_value(2,3)
put_y_unsafe_value(1,4)
put_y_value(0,5)
deallocate
execute(Pred_Name(X68616E646C655F6C73745F636F6465,6),1,"handle_lst_code",6)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "handle_lst_code"
#define PRED X68616E646C655F6C73745F636F6465
#define ARITY 6
Begin_Private_Pred
switch_on_term(G_label(1),G_label(2),fail,G_label(4),fail)
label(1)
try_me_else(3)
label(2)
get_nil(0)
get_x_value(2,3)
get_x_value(4,5)
proceed
label(3)
trust_me_else_fail
label(4)
allocate(6)
get_list(0)
unify_y_variable(5)
unify_x_variable(0)
get_y_variable(4,1)
get_y_variable(2,3)
get_y_variable(0,5)
put_y_value(4,1)
put_y_variable(3,3)
put_y_variable(1,5)
call(Pred_Name(X68616E646C655F6C73745F636F6465,6),1,1,"handle_lst_code",6) /* begin sub 1 */
put_y_value(5,0)
put_y_value(4,1)
put_nil(2)
put_y_unsafe_value(3,3)
put_y_value(2,4)
put_y_unsafe_value(1,5)
put_y_value(0,6)
deallocate
execute(Pred_Name(X68616E646C655F6F6E655F636F6465,7),1,"handle_one_code",7)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "handle_one_code"
#define PRED X68616E646C655F6F6E655F636F6465
#define ARITY 7
Begin_Private_Pred
switch_on_term(G_label(2),fail,fail,fail,G_label(1))
label(1)
switch_on_structure(1,"[(r/1,3),(w/1,5),(c/2,7)]")
label(2)
try_me_else(4)
label(3)
get_structure(X72,1,0,"r")
unify_x_variable(0)
execute(Pred_Name(X68616E646C655F6F6E655F636F64655F2461757839,7),1,"handle_one_code_$aux9",7)
label(4)
retry_me_else(6)
label(5)
get_structure(X77,1,0,"w")
unify_x_variable(0)
execute(Pred_Name(X68616E646C655F6F6E655F636F64655F246175783132,7),1,"handle_one_code_$aux12",7)
label(6)
trust_me_else_fail
label(7)
allocate(7)
get_structure(X63,2,0,"c")
unify_y_variable(6)
unify_y_variable(4)
get_y_variable(5,1)
get_y_variable(2,4)
get_y_variable(0,6)
put_structure(X77,1,0,"w")
unify_y_value(4)
put_y_value(5,1)
put_list(2)
unify_y_value(6)
unify_nil
put_y_variable(3,4)
put_y_variable(1,6)
call(Pred_Name(X68616E646C655F6F6E655F636F6465,7),1,1,"handle_one_code",7) /* begin sub 1 */
put_structure(X72,1,0,"r")
unify_y_value(6)
put_y_value(5,1)
put_list(2)
unify_y_value(4)
unify_nil
put_y_unsafe_value(3,3)
put_y_value(2,4)
put_y_unsafe_value(1,5)
put_y_value(0,6)
deallocate
execute(Pred_Name(X68616E646C655F6F6E655F636F6465,7),1,"handle_one_code",7)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "handle_one_code_$aux9"
#define PRED X68616E646C655F6F6E655F636F64655F2461757839
#define ARITY 7
Begin_Private_Pred
try_me_else(1)
allocate(7)
get_y_variable(3,0)
get_y_variable(2,2)
get_y_variable(4,3)
get_y_variable(5,4)
get_y_variable(1,5)
get_y_variable(0,6)
get_y_bc_reg(6)
put_y_value(4,0)
put_y_value(3,1)
call(Pred_Name(X656E735F656C74,2),0,1,"ens_elt",2) /* begin sub 1 */
cut_y(6)
put_y_value(5,0)
get_y_value(4,0)
put_y_value(3,0)
put_y_value(2,1)
put_y_value(1,2)
put_y_value(0,3)
deallocate
execute(Pred_Name(X68616E646C655F6F6E655F636F64655F246175783130,4),1,"handle_one_code_$aux10",4)
label(1)
trust_me_else_fail
allocate(6)
get_y_variable(4,0)
get_x_variable(7,1)
get_y_variable(3,2)
get_y_variable(5,5)
get_y_variable(2,6)
get_list(4)
unify_y_local_value(4)
unify_x_local_value(3)
put_y_value(4,0)
put_x_value(3,1)
put_x_value(7,2)
put_y_variable(1,3)
call(Pred_Name(X636F6E73747261696E7473,4),1,2,"constraints",4) /* begin sub 2 */
put_y_value(1,0)
put_list(1)
unify_y_local_value(4)
unify_nil
put_y_value(5,2)
put_y_variable(0,3)
call(Pred_Name(X6D616B655F696D706F7373,4),1,3,"make_imposs",4) /* begin sub 3 */
put_y_value(4,0)
put_y_value(3,1)
put_y_value(2,2)
put_y_unsafe_value(1,3)
put_y_unsafe_value(0,4)
deallocate
execute(Pred_Name(X68616E646C655F6F6E655F636F64655F246175783131,5),1,"handle_one_code_$aux11",5)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "handle_one_code_$aux10"
#define PRED X68616E646C655F6F6E655F636F64655F246175783130
#define ARITY 4
Begin_Private_Pred
try_me_else(1)
get_x_variable(6,0)
get_x_variable(5,1)
get_x_variable(4,3)
builtin_1(var,6)
put_nil(0)
builtin_2(term_neq,5,0)
neck_cut
put_x_value(2,0)
put_x_value(6,1)
put_nil(2)
put_x_value(5,3)
execute(Pred_Name(X7570646174655F746D70,5),1,"update_tmp",5)
label(1)
trust_me_else_fail
get_x_value(2,3)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "handle_one_code_$aux11"
#define PRED X68616E646C655F6F6E655F636F64655F246175783131
#define ARITY 5
Begin_Private_Pred
try_me_else(1)
get_x_variable(7,0)
get_x_variable(6,1)
get_x_variable(5,2)
builtin_1(var,7)
neck_cut
put_x_value(4,0)
put_x_value(7,1)
put_x_value(3,2)
put_x_value(6,3)
put_x_value(5,4)
execute(Pred_Name(X7570646174655F746D70,5),1,"update_tmp",5)
label(1)
trust_me_else_fail
get_x_value(4,2)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "handle_one_code_$aux12"
#define PRED X68616E646C655F6F6E655F636F64655F246175783132
#define ARITY 7
Begin_Private_Pred
try_me_else(1)
allocate(5)
get_y_variable(3,0)
get_y_variable(2,2)
get_y_variable(1,5)
get_y_variable(0,6)
get_y_bc_reg(4)
put_x_value(3,0)
put_y_value(3,1)
put_x_value(4,2)
call(Pred_Name(X656E735F72657472616974,3),0,1,"ens_retrait",3) /* begin sub 1 */
cut_y(4)
put_y_value(3,0)
put_y_value(2,1)
put_y_value(1,2)
put_y_value(0,3)
deallocate
execute(Pred_Name(X68616E646C655F6F6E655F636F64655F246175783133,4),1,"handle_one_code_$aux13",4)
label(1)
trust_me_else_fail
get_x_value(3,4)
put_x_value(4,3)
put_x_value(5,4)
put_x_value(6,5)
execute(Pred_Name(X68616E646C655F6F6E655F636F64655F246175783134,6),1,"handle_one_code_$aux14",6)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "handle_one_code_$aux13"
#define PRED X68616E646C655F6F6E655F636F64655F246175783133
#define ARITY 4
Begin_Private_Pred
try_me_else(1)
get_x_variable(6,0)
get_x_variable(5,1)
get_x_variable(4,3)
builtin_1(var,6)
put_nil(0)
builtin_2(term_neq,5,0)
neck_cut
put_x_value(2,0)
put_x_value(6,1)
put_nil(2)
put_x_value(5,3)
execute(Pred_Name(X7570646174655F746D70,5),1,"update_tmp",5)
label(1)
trust_me_else_fail
get_x_value(2,3)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "handle_one_code_$aux14"
#define PRED X68616E646C655F6F6E655F636F64655F246175783134
#define ARITY 6
Begin_Private_Pred
try_me_else(1)
allocate(7)
get_y_variable(3,0)
get_x_variable(6,1)
get_y_variable(1,2)
get_y_variable(5,4)
get_y_variable(0,5)
put_y_value(3,0)
builtin_1(var,0)
neck_cut
put_y_value(3,0)
put_x_value(3,1)
put_x_value(6,2)
put_y_variable(6,3)
call(Pred_Name(X636F6E73747261696E7473,4),1,1,"constraints",4) /* begin sub 1 */
put_y_value(1,0)
put_y_value(6,1)
put_y_variable(2,2)
call(Pred_Name(X68616E646C655F6F6E655F636F64655F246175783135,3),1,2,"handle_one_code_$aux15",3) /* begin sub 2 */
put_y_value(2,0)
put_list(1)
unify_y_local_value(3)
unify_nil
put_y_value(5,2)
put_y_variable(4,3)
call(Pred_Name(X6D616B655F696D706F7373,4),1,3,"make_imposs",4) /* begin sub 3 */
put_y_unsafe_value(4,0)
put_y_value(3,1)
put_y_unsafe_value(2,2)
put_y_value(1,3)
put_y_value(0,4)
deallocate
execute(Pred_Name(X7570646174655F746D70,5),1,"update_tmp",5)
label(1)
trust_me_else_fail
get_x_value(4,5)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "handle_one_code_$aux15"
#define PRED X68616E646C655F6F6E655F636F64655F246175783135
#define ARITY 3
Begin_Private_Pred
try_me_else(1)
get_x_variable(3,0)
put_nil(0)
builtin_2(term_neq,3,0)
neck_cut
put_x_value(1,0)
put_x_value(3,1)
execute(Pred_Name(X656E735F636F6D706C,3),0,"ens_compl",3)
label(1)
trust_me_else_fail
get_x_value(1,2)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "constraints"
#define PRED X636F6E73747261696E7473
#define ARITY 4
Begin_Private_Pred
execute(Pred_Name(X636F6E73747261696E74735F246175783136,4),1,"constraints_$aux16",4)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "constraints_$aux16"
#define PRED X636F6E73747261696E74735F246175783136
#define ARITY 4
Begin_Private_Pred
try_me_else(1)
allocate(4)
get_x_variable(4,0)
get_y_variable(2,1)
get_y_variable(0,3)
get_y_bc_reg(3)
put_x_value(2,0)
put_x_value(4,1)
put_y_variable(1,2)
call(Pred_Name(X66696E645F616C69617365735F6F66,3),1,1,"find_aliases_of",3) /* begin sub 1 */
cut_y(3)
put_y_value(2,0)
put_y_unsafe_value(1,1)
put_y_value(0,2)
deallocate
execute(Pred_Name(X656E735F636F6D706C,3),0,"ens_compl",3)
label(1)
trust_me_else_fail
get_x_value(1,3)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "update_tmp"
#define PRED X7570646174655F746D70
#define ARITY 5
Begin_Private_Pred
switch_on_term(G_label(1),G_label(2),fail,G_label(4),fail)
label(1)
try_me_else(3)
label(2)
get_nil(0)
get_list(4)
unify_x_variable(0)
unify_nil
get_structure(X746D70,3,0,"tmp")
unify_x_local_value(1)
unify_x_local_value(2)
unify_x_local_value(3)
proceed
label(3)
trust_me_else_fail
label(4)
get_list(0)
unify_x_variable(0)
unify_x_variable(13)
get_x_variable(12,1)
get_x_variable(11,2)
get_x_variable(10,3)
get_list(4)
unify_x_variable(5)
unify_x_variable(6)
get_structure(X746D70,3,0,"tmp")
unify_x_variable(7)
unify_x_variable(8)
unify_x_variable(9)
put_x_value(13,1)
put_x_value(12,2)
put_x_value(11,3)
put_x_value(10,4)
execute(Pred_Name(X7570646174655F746D705F246175783137,10),1,"update_tmp_$aux17",10)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "update_tmp_$aux17"
#define PRED X7570646174655F746D705F246175783137
#define ARITY 10
Begin_Private_Pred
try_me_else(1)
allocate(8)
get_y_variable(0,1)
get_y_variable(4,2)
get_y_variable(7,4)
get_y_variable(5,5)
get_y_variable(1,6)
get_y_variable(6,9)
put_y_value(4,0)
builtin_2(term_eq,0,7)
neck_cut
put_x_value(3,0)
put_x_value(8,1)
put_y_variable(3,2)
call(Pred_Name(X656E735F756E696F6E,3),0,1,"ens_union",3) /* begin sub 1 */
put_y_value(7,0)
put_y_value(6,1)
put_y_variable(2,2)
call(Pred_Name(X656E735F756E696F6E,3),0,2,"ens_union",3) /* begin sub 2 */
put_y_value(5,0)
get_structure(X746D70,3,0,"tmp")
unify_y_local_value(4)
unify_y_local_value(3)
unify_y_local_value(2)
put_y_value(1,0)
get_y_value(0,0)
deallocate
proceed
label(1)
trust_me_else_fail
get_x_value(0,5)
put_x_value(1,0)
put_x_value(2,1)
put_x_value(3,2)
put_x_value(4,3)
put_x_value(6,4)
execute(Pred_Name(X7570646174655F746D70,5),1,"update_tmp",5)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "remove_tmp"
#define PRED X72656D6F76655F746D70
#define ARITY 5
Begin_Private_Pred
switch_on_term(G_label(1),fail,fail,G_label(1),fail)
label(1)
get_list(0)
unify_x_variable(0)
unify_x_variable(12)
get_x_variable(11,1)
get_x_variable(10,2)
get_x_variable(9,3)
get_x_variable(5,4)
get_structure(X746D70,3,0,"tmp")
unify_x_variable(6)
unify_x_variable(7)
unify_x_variable(8)
put_x_value(12,1)
put_x_value(11,2)
put_x_value(10,3)
put_x_value(9,4)
execute(Pred_Name(X72656D6F76655F746D705F246175783138,9),1,"remove_tmp_$aux18",9)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "remove_tmp_$aux18"
#define PRED X72656D6F76655F746D705F246175783138
#define ARITY 9
Begin_Private_Pred
try_me_else(1)
builtin_2(term_eq,2,6)
neck_cut
get_x_value(7,3)
get_x_value(8,4)
get_x_value(1,5)
proceed
label(1)
trust_me_else_fail
get_x_variable(9,0)
get_x_variable(0,1)
get_x_variable(1,2)
get_x_variable(2,3)
get_x_variable(3,4)
get_list(5)
unify_x_local_value(9)
unify_x_variable(4)
execute(Pred_Name(X72656D6F76655F746D70,5),1,"remove_tmp",5)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "make_imposs"
#define PRED X6D616B655F696D706F7373
#define ARITY 4
Begin_Private_Pred
switch_on_term(G_label(1),G_label(2),fail,G_label(4),fail)
label(1)
try_me_else(3)
label(2)
get_nil(0)
get_x_value(2,3)
proceed
label(3)
trust_me_else_fail
label(4)
allocate(4)
get_list(0)
unify_x_variable(0)
unify_y_variable(3)
get_y_variable(2,1)
get_y_variable(0,3)
put_y_value(2,1)
put_y_variable(1,3)
call(Pred_Name(X6D616B655F696D706F73735F246175783139,4),1,1,"make_imposs_$aux19",4) /* begin sub 1 */
put_y_value(3,0)
put_y_value(2,1)
put_y_unsafe_value(1,2)
put_y_value(0,3)
deallocate
execute(Pred_Name(X6D616B655F696D706F7373,4),1,"make_imposs",4)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "make_imposs_$aux19"
#define PRED X6D616B655F696D706F73735F246175783139
#define ARITY 4
Begin_Private_Pred
try_me_else(1)
get_x_variable(6,0)
get_x_variable(5,1)
get_x_variable(4,3)
builtin_1(var,6)
neck_cut
put_x_value(2,0)
put_x_value(6,1)
put_x_value(5,2)
put_nil(3)
execute(Pred_Name(X7570646174655F746D70,5),1,"update_tmp",5)
label(1)
trust_me_else_fail
get_x_value(2,3)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "assign_lst_tmp"
#define PRED X61737369676E5F6C73745F746D70
#define ARITY 1
Begin_Private_Pred
allocate(1)
put_y_variable(0,1)
call(Pred_Name(X61737369676E5F776973686573,2),1,1,"assign_wishes",2) /* begin sub 1 */
put_y_unsafe_value(0,0)
deallocate
execute(Pred_Name(X61737369676E5F76616C756573,1),1,"assign_values",1)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "assign_wishes"
#define PRED X61737369676E5F776973686573
#define ARITY 2
Begin_Private_Pred
switch_on_term(G_label(1),G_label(2),fail,G_label(4),fail)
label(1)
try_me_else(3)
label(2)
get_nil(0)
get_nil(1)
proceed
label(3)
trust_me_else_fail
label(4)
allocate(6)
get_list(0)
unify_x_variable(0)
unify_x_variable(2)
get_structure(X746D70,3,0,"tmp")
unify_y_variable(4)
unify_x_variable(3)
unify_x_variable(0)
get_y_variable(3,1)
put_x_value(3,1)
put_y_value(4,3)
put_y_variable(5,4)
put_y_variable(2,5)
put_y_variable(1,6)
call(Pred_Name(X636F6C6C617073655F746D7073,7),1,1,"collapse_tmps",7) /* begin sub 1 */
put_y_value(4,0)
put_y_value(2,1)
put_y_value(5,2)
call(Pred_Name(X7472795F615F7768697368,3),1,2,"try_a_whish",3) /* begin sub 2 */
put_y_value(4,0)
put_y_value(3,1)
put_y_value(2,2)
put_y_variable(0,3)
call(Pred_Name(X61737369676E5F7769736865735F246175783230,4),1,3,"assign_wishes_$aux20",4) /* begin sub 3 */
put_y_unsafe_value(1,0)
put_y_unsafe_value(0,1)
deallocate
execute(Pred_Name(X61737369676E5F776973686573,2),1,"assign_wishes",2)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "assign_wishes_$aux20"
#define PRED X61737369676E5F7769736865735F246175783230
#define ARITY 4
Begin_Private_Pred
try_me_else(1)
builtin_1(var,0)
neck_cut
get_list(1)
unify_x_variable(1)
unify_x_local_value(3)
get_structure(X746D70,2,1,"tmp")
unify_x_local_value(0)
unify_x_local_value(2)
proceed
label(1)
trust_me_else_fail
get_x_value(3,1)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "collapse_tmps"
#define PRED X636F6C6C617073655F746D7073
#define ARITY 7
Begin_Private_Pred
switch_on_term(G_label(2),G_label(3),fail,G_label(1),fail)
label(1)
try(5,1) /* begin sub 1 */
retry(7,2) /* begin sub 2 */
trust(9)
label(2)
try_me_else(4)
label(3)
get_nil(0)
get_nil(4)
get_x_value(1,5)
get_x_value(2,6)
proceed
label(4)
retry_me_else(6)
label(5)
allocate(8)
get_list(0)
unify_x_variable(0)
unify_y_variable(6)
get_y_variable(5,1)
get_y_variable(4,2)
get_y_variable(3,3)
get_y_variable(2,4)
get_y_variable(1,5)
get_y_variable(0,6)
get_y_bc_reg(7)
put_y_value(5,1)
put_y_value(3,2)
call(Pred_Name(X636F6C6C617073655F746D70735F246175783231,3),1,3,"collapse_tmps_$aux21",3) /* begin sub 3 */
cut_y(7)
put_y_value(6,0)
put_y_value(5,1)
put_y_value(4,2)
put_y_value(3,3)
put_y_value(2,4)
put_y_value(1,5)
put_y_value(0,6)
deallocate
execute(Pred_Name(X636F6C6C617073655F746D7073,7),1,"collapse_tmps",7)
label(6)
retry_me_else(8)
label(7)
get_list(0)
unify_x_variable(7)
unify_x_variable(0)
get_list(4)
unify_x_value(7)
unify_x_variable(4)
builtin_1(integer,7)
neck_cut
execute(Pred_Name(X636F6C6C617073655F746D7073,7),1,"collapse_tmps",7)
label(8)
trust_me_else_fail
label(9)
allocate(12)
get_list(0)
unify_y_variable(7)
unify_y_variable(9)
get_y_variable(11,1)
get_y_variable(3,3)
get_y_variable(2,4)
get_y_variable(1,5)
get_y_variable(0,6)
put_x_value(2,0)
put_y_value(7,1)
put_y_variable(10,2)
put_y_variable(8,3)
put_y_variable(4,4)
call(Pred_Name(X72656D6F76655F746D70,5),1,4,"remove_tmp",5) /* begin sub 4 */
put_y_value(11,0)
put_y_value(10,1)
put_y_variable(5,2)
call(Pred_Name(X656E735F756E696F6E,3),0,5,"ens_union",3) /* begin sub 5 */
put_y_value(9,0)
put_y_value(8,1)
put_y_variable(6,2)
call(Pred_Name(X656E735F756E696F6E,3),0,6,"ens_union",3) /* begin sub 6 */
put_y_value(3,0)
get_y_value(7,0)
put_y_unsafe_value(6,0)
put_y_unsafe_value(5,1)
put_y_unsafe_value(4,2)
put_y_value(3,3)
put_y_value(2,4)
put_y_value(1,5)
put_y_value(0,6)
deallocate
execute(Pred_Name(X636F6C6C617073655F746D7073,7),1,"collapse_tmps",7)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "collapse_tmps_$aux21"
#define PRED X636F6C6C617073655F746D70735F246175783231
#define ARITY 3
Begin_Private_Pred
try_me_else(1)
builtin_2(term_eq,0,2)
proceed
label(1)
trust_me_else_fail
get_x_variable(3,0)
put_x_value(1,0)
put_x_value(3,1)
execute(Pred_Name(X656E735F656C74,2),0,"ens_elt",2)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "try_a_whish"
#define PRED X7472795F615F7768697368
#define ARITY 3
Begin_Private_Pred
allocate(3)
get_y_variable(2,0)
get_y_bc_reg(0)
put_x_value(2,0)
put_y_variable(1,2)
call(Pred_Name(X656E735F636F6D706C,3),0,1,"ens_compl",3) /* begin sub 1 */
put_y_value(2,0)
put_y_value(1,1)
call(Pred_Name(X7472795F615F77686973685F246175783232,2),1,2,"try_a_whish_$aux22",2) /* begin sub 2 */
cut_y(0)
deallocate
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "try_a_whish_$aux22"
#define PRED X7472795F615F77686973685F246175783232
#define ARITY 2
Begin_Private_Pred
try_me_else(1)
get_list(1)
unify_x_local_value(0)
unify_void(1)
proceed
label(1)
trust_me_else_fail
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "assign_values"
#define PRED X61737369676E5F76616C756573
#define ARITY 1
Begin_Private_Pred
switch_on_term(G_label(1),G_label(2),fail,G_label(4),fail)
label(1)
try_me_else(3)
label(2)
get_nil(0)
proceed
label(3)
trust_me_else_fail
label(4)
allocate(3)
get_list(0)
unify_x_variable(0)
unify_y_variable(0)
get_structure(X746D70,2,0,"tmp")
unify_y_variable(1)
unify_x_variable(0)
put_y_variable(2,1)
call(Pred_Name(X736F7274,2),0,1,"sort",2) /* begin sub 1 */
put_y_value(2,0)
put_integer(0,1)
put_y_value(1,2)
call(Pred_Name(X66696E645F686F6C65,3),1,2,"find_hole",3) /* begin sub 2 */
put_y_value(0,0)
deallocate
execute(Pred_Name(X61737369676E5F76616C756573,1),1,"assign_values",1)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "find_hole"
#define PRED X66696E645F686F6C65
#define ARITY 3
Begin_Private_Pred
switch_on_term(G_label(2),G_label(3),fail,G_label(1),fail)
label(1)
try(5,1) /* begin sub 1 */
trust(7)
label(2)
try_me_else(4)
label(3)
get_nil(0)
get_x_value(1,2)
proceed
label(4)
retry_me_else(6)
label(5)
get_list(0)
unify_x_variable(3)
unify_x_variable(0)
builtin_1(var,3)
neck_cut
execute(Pred_Name(X66696E645F686F6C65,3),1,"find_hole",3)
label(6)
trust_me_else_fail
label(7)
get_list(0)
unify_x_variable(0)
unify_x_variable(5)
get_x_variable(4,1)
get_x_variable(3,2)
put_x_value(5,1)
put_x_value(4,2)
execute(Pred_Name(X66696E645F686F6C655F246175783233,4),1,"find_hole_$aux23",4)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "find_hole_$aux23"
#define PRED X66696E645F686F6C655F246175783233
#define ARITY 4
Begin_Private_Pred
try_me_else(1)
math_load_x_value(0,0)
math_load_x_value(2,2)
builtin_2(gt,0,2)
neck_cut
get_x_value(2,3)
proceed
label(1)
trust_me_else_fail
allocate(3)
get_y_variable(2,1)
get_y_variable(0,3)
put_x_value(2,1)
put_y_variable(1,2)
call(Pred_Name(X66696E645F686F6C655F246175783234,3),1,1,"find_hole_$aux24",3) /* begin sub 1 */
put_y_value(2,0)
put_y_unsafe_value(1,1)
put_y_value(0,2)
deallocate
execute(Pred_Name(X66696E645F686F6C65,3),1,"find_hole",3)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "find_hole_$aux24"
#define PRED X66696E645F686F6C655F246175783234
#define ARITY 3
Begin_Private_Pred
try_me_else(1)
builtin_2(term_eq,0,1)
neck_cut
math_load_x_value(1,1)
function_1(inc,0,1)
get_x_value(2,0)
proceed
label(1)
trust_me_else_fail
get_x_value(1,2)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "codification"
#define PRED X636F64696669636174696F6E
#define ARITY 2
Begin_Private_Pred
try_me_else(68)
switch_on_term(G_label(2),fail,fail,fail,G_label(1))
label(1)
switch_on_structure(1,"[(get_x_variable/2,3),(get_x_value/2,5),(get_y_variable/2,7),(get_y_value/2,9),(get_constant/2,11),(get_integer/2,13),(get_nil/1,15),(get_list/1,17),(get_structure/2,19),(put_x_variable/2,21),(put_x_value/2,23),(put_y_variable/2,25),(put_y_value/2,27),(put_y_unsafe_value/2,29),(put_constant/2,31),(put_integer/2,33),(put_nil/1,35),(put_list/1,37),(put_structure/2,39),(unify_x_variable/1,41),(unify_x_value/1,43),(unify_x_local_value/1,45),(call/1,47),(execute/1,49),(get_x_bc_reg/1,51),(cut_x/1,53),(math_load_x_value/2,55),(math_load_y_value/2,57),(function_1/3,59),(function_2/4,61),(builtin_1/2,63),(builtin_2/3,65),(builtin_3/4,67)]")
label(2)
try_me_else(4)
label(3)
get_structure(X6765745F785F7661726961626C65,2,0,"get_x_variable")
unify_x_variable(0)
unify_x_variable(2)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X63,2,1,"c")
unify_x_value(2)
unify_x_value(0)
proceed
label(4)
retry_me_else(6)
label(5)
get_structure(X6765745F785F76616C7565,2,0,"get_x_value")
unify_x_variable(2)
unify_x_variable(0)
get_list(1)
unify_x_variable(3)
unify_x_variable(1)
get_structure(X72,1,3,"r")
unify_x_value(2)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(6)
retry_me_else(8)
label(7)
get_structure(X6765745F795F7661726961626C65,2,0,"get_y_variable")
unify_void(1)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(8)
retry_me_else(10)
label(9)
get_structure(X6765745F795F76616C7565,2,0,"get_y_value")
unify_void(1)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(10)
retry_me_else(12)
label(11)
get_structure(X6765745F636F6E7374616E74,2,0,"get_constant")
unify_void(1)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(12)
retry_me_else(14)
label(13)
get_structure(X6765745F696E7465676572,2,0,"get_integer")
unify_void(1)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(14)
retry_me_else(16)
label(15)
get_structure(X6765745F6E696C,1,0,"get_nil")
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(16)
retry_me_else(18)
label(17)
get_structure(X6765745F6C697374,1,0,"get_list")
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(18)
retry_me_else(20)
label(19)
get_structure(X6765745F737472756374757265,2,0,"get_structure")
unify_void(1)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(20)
retry_me_else(22)
label(21)
get_structure(X7075745F785F7661726961626C65,2,0,"put_x_variable")
unify_x_variable(2)
unify_x_variable(0)
get_list(1)
unify_x_variable(3)
unify_x_variable(1)
get_structure(X77,1,3,"w")
unify_x_value(2)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X77,1,1,"w")
unify_x_value(0)
proceed
label(22)
retry_me_else(24)
label(23)
get_structure(X7075745F785F76616C7565,2,0,"put_x_value")
unify_x_variable(2)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X63,2,1,"c")
unify_x_value(2)
unify_x_value(0)
proceed
label(24)
retry_me_else(26)
label(25)
get_structure(X7075745F795F7661726961626C65,2,0,"put_y_variable")
unify_void(1)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X77,1,1,"w")
unify_x_value(0)
proceed
label(26)
retry_me_else(28)
label(27)
get_structure(X7075745F795F76616C7565,2,0,"put_y_value")
unify_void(1)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X77,1,1,"w")
unify_x_value(0)
proceed
label(28)
retry_me_else(30)
label(29)
get_structure(X7075745F795F756E736166655F76616C7565,2,0,"put_y_unsafe_value")
unify_void(1)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X77,1,1,"w")
unify_x_value(0)
proceed
label(30)
retry_me_else(32)
label(31)
get_structure(X7075745F636F6E7374616E74,2,0,"put_constant")
unify_void(1)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X77,1,1,"w")
unify_x_value(0)
proceed
label(32)
retry_me_else(34)
label(33)
get_structure(X7075745F696E7465676572,2,0,"put_integer")
unify_void(1)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X77,1,1,"w")
unify_x_value(0)
proceed
label(34)
retry_me_else(36)
label(35)
get_structure(X7075745F6E696C,1,0,"put_nil")
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X77,1,1,"w")
unify_x_value(0)
proceed
label(36)
retry_me_else(38)
label(37)
get_structure(X7075745F6C697374,1,0,"put_list")
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X77,1,1,"w")
unify_x_value(0)
proceed
label(38)
retry_me_else(40)
label(39)
get_structure(X7075745F737472756374757265,2,0,"put_structure")
unify_void(1)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X77,1,1,"w")
unify_x_value(0)
proceed
label(40)
retry_me_else(42)
label(41)
get_structure(X756E6966795F785F7661726961626C65,1,0,"unify_x_variable")
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X77,1,1,"w")
unify_x_value(0)
proceed
label(42)
retry_me_else(44)
label(43)
get_structure(X756E6966795F785F76616C7565,1,0,"unify_x_value")
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(44)
retry_me_else(46)
label(45)
get_structure(X756E6966795F785F6C6F63616C5F76616C7565,1,0,"unify_x_local_value")
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(46)
retry_me_else(48)
label(47)
get_structure(X63616C6C,1,0,"call")
unify_x_variable(0)
get_structure(X2F,2,0,"/")
unify_void(1)
unify_x_variable(3)
get_list(1)
unify_x_variable(0)
unify_x_variable(2)
get_structure(X77,1,0,"w")
unify_integer(255)
put_integer(0,0)
put_x_value(3,1)
execute(Pred_Name(X637265655F6C697374655F72,3),1,"cree_liste_r",3)
label(48)
retry_me_else(50)
label(49)
get_structure(X65786563757465,1,0,"execute")
unify_x_variable(0)
get_structure(X2F,2,0,"/")
unify_void(1)
unify_x_variable(3)
get_list(1)
unify_x_variable(0)
unify_x_variable(2)
get_structure(X77,1,0,"w")
unify_integer(255)
put_integer(0,0)
put_x_value(3,1)
execute(Pred_Name(X637265655F6C697374655F72,3),1,"cree_liste_r",3)
label(50)
retry_me_else(52)
label(51)
get_structure(X6765745F785F62635F726567,1,0,"get_x_bc_reg")
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X63,2,1,"c")
unify_integer(255)
unify_x_value(0)
proceed
label(52)
retry_me_else(54)
label(53)
get_structure(X6375745F78,1,0,"cut_x")
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(54)
retry_me_else(56)
label(55)
get_structure(X6D6174685F6C6F61645F785F76616C7565,2,0,"math_load_x_value")
unify_x_variable(2)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X63,2,1,"c")
unify_x_value(2)
unify_x_value(0)
proceed
label(56)
retry_me_else(58)
label(57)
get_structure(X6D6174685F6C6F61645F795F76616C7565,2,0,"math_load_y_value")
unify_void(1)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X77,1,1,"w")
unify_x_value(0)
proceed
label(58)
retry_me_else(60)
label(59)
get_structure(X66756E6374696F6E5F31,3,0,"function_1")
unify_void(1)
unify_x_variable(0)
unify_x_variable(2)
get_list(1)
unify_x_variable(3)
unify_x_variable(1)
get_structure(X72,1,3,"r")
unify_x_value(2)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X77,1,1,"w")
unify_x_value(0)
proceed
label(60)
retry_me_else(62)
label(61)
get_structure(X66756E6374696F6E5F32,4,0,"function_2")
unify_void(1)
unify_x_variable(0)
unify_x_variable(3)
unify_x_variable(2)
get_list(1)
unify_x_variable(4)
unify_x_variable(1)
get_structure(X72,1,4,"r")
unify_x_value(3)
get_list(1)
unify_x_variable(3)
unify_x_variable(1)
get_structure(X72,1,3,"r")
unify_x_value(2)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X77,1,1,"w")
unify_x_value(0)
proceed
label(62)
retry_me_else(64)
label(63)
get_structure(X6275696C74696E5F31,2,0,"builtin_1")
unify_void(1)
unify_x_variable(0)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(64)
retry_me_else(66)
label(65)
get_structure(X6275696C74696E5F32,3,0,"builtin_2")
unify_void(1)
unify_x_variable(2)
unify_x_variable(0)
get_list(1)
unify_x_variable(3)
unify_x_variable(1)
get_structure(X72,1,3,"r")
unify_x_value(2)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(66)
trust_me_else_fail
label(67)
get_structure(X6275696C74696E5F33,4,0,"builtin_3")
unify_void(1)
unify_x_variable(3)
unify_x_variable(2)
unify_x_variable(0)
get_list(1)
unify_x_variable(4)
unify_x_variable(1)
get_structure(X72,1,4,"r")
unify_x_value(3)
get_list(1)
unify_x_variable(3)
unify_x_variable(1)
get_structure(X72,1,3,"r")
unify_x_value(2)
get_list(1)
unify_x_variable(1)
unify_nil
get_structure(X72,1,1,"r")
unify_x_value(0)
proceed
label(68)
trust_me_else_fail
get_nil(1)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "cree_liste_r"
#define PRED X637265655F6C697374655F72
#define ARITY 3
Begin_Private_Pred
try_me_else(1)
get_x_value(0,1)
get_nil(2)
proceed
label(1)
trust_me_else_fail
get_list(2)
unify_x_variable(3)
unify_x_variable(2)
get_structure(X72,1,3,"r")
unify_x_local_value(0)
math_load_x_value(0,0)
function_1(inc,0,0)
execute(Pred_Name(X637265655F6C697374655F72,3),1,"cree_liste_r",3)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "dummy_instruction"
#define PRED X64756D6D795F696E737472756374696F6E
#define ARITY 1
Begin_Public_Pred
switch_on_term(G_label(2),fail,fail,fail,G_label(1))
label(1)
switch_on_structure(1,"[(get_x_variable/2,3),(put_x_value/2,5)]")
label(2)
try_me_else(4)
label(3)
get_structure(X6765745F785F7661726961626C65,2,0,"get_x_variable")
unify_x_variable(0)
unify_x_value(0)
proceed
label(4)
trust_me_else_fail
label(5)
get_structure(X7075745F785F76616C7565,2,0,"put_x_value")
unify_x_variable(0)
unify_x_value(0)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
Begin_Init_Tables(wamcc5)
Define_Atom(X5B5D,"[]")
Define_Atom(X616C6C6F636174696F6E5F7661727358,"allocation_varsX")
Define_Atom(X616C6961736573,"aliases")
Define_Atom(X616C69617365735F2461757831,"aliases_$aux1")
Define_Atom(X616C69617365735F2461757832,"aliases_$aux2")
Define_Atom(X63616C6C,"call")
Define_Atom(X65786563757465,"execute")
Define_Atom(X616C696173657331,"aliases1")
Define_Atom(X616C6961736573315F2461757833,"aliases1_$aux3")
Define_Atom(X72,"r")
Define_Atom(X77,"w")
Define_Atom(X63,"c")
Define_Atom(X6164645F616C696173,"add_alias")
Define_Atom(X6164645F616C6961735F2461757834,"add_alias_$aux4")
Define_Atom(X66696E645F616C69617365735F6F66,"find_aliases_of")
Define_Atom(X66696E645F616C69617365735F6F665F2461757835,"find_aliases_of_$aux5")
Define_Atom(X72656D6F76655F616C69617365735F6F66,"remove_aliases_of")
Define_Atom(X72656D6F76655F616C69617365735F6F665F2461757836,"remove_aliases_of_$aux6")
Define_Atom(X72656D6F76655F616C69617365735F6F665F2461757837,"remove_aliases_of_$aux7")
Define_Atom(X72656D6F76655F616C69617365735F6F665F2461757838,"remove_aliases_of_$aux8")
Define_Atom(X6372656174655F6C73745F746D70,"create_lst_tmp")
Define_Atom(X68616E646C655F6C73745F636F6465,"handle_lst_code")
Define_Atom(X68616E646C655F6F6E655F636F6465,"handle_one_code")
Define_Atom(X68616E646C655F6F6E655F636F64655F2461757839,"handle_one_code_$aux9")
Define_Atom(X68616E646C655F6F6E655F636F64655F246175783130,"handle_one_code_$aux10")
Define_Atom(X68616E646C655F6F6E655F636F64655F246175783131,"handle_one_code_$aux11")
Define_Atom(X68616E646C655F6F6E655F636F64655F246175783132,"handle_one_code_$aux12")
Define_Atom(X68616E646C655F6F6E655F636F64655F246175783133,"handle_one_code_$aux13")
Define_Atom(X68616E646C655F6F6E655F636F64655F246175783134,"handle_one_code_$aux14")
Define_Atom(X68616E646C655F6F6E655F636F64655F246175783135,"handle_one_code_$aux15")
Define_Atom(X636F6E73747261696E7473,"constraints")
Define_Atom(X636F6E73747261696E74735F246175783136,"constraints_$aux16")
Define_Atom(X7570646174655F746D70,"update_tmp")
Define_Atom(X746D70,"tmp")
Define_Atom(X7570646174655F746D705F246175783137,"update_tmp_$aux17")
Define_Atom(X72656D6F76655F746D70,"remove_tmp")
Define_Atom(X72656D6F76655F746D705F246175783138,"remove_tmp_$aux18")
Define_Atom(X6D616B655F696D706F7373,"make_imposs")
Define_Atom(X6D616B655F696D706F73735F246175783139,"make_imposs_$aux19")
Define_Atom(X61737369676E5F6C73745F746D70,"assign_lst_tmp")
Define_Atom(X61737369676E5F776973686573,"assign_wishes")
Define_Atom(X61737369676E5F7769736865735F246175783230,"assign_wishes_$aux20")
Define_Atom(X636F6C6C617073655F746D7073,"collapse_tmps")
Define_Atom(X636F6C6C617073655F746D70735F246175783231,"collapse_tmps_$aux21")
Define_Atom(X7472795F615F7768697368,"try_a_whish")
Define_Atom(X7472795F615F77686973685F246175783232,"try_a_whish_$aux22")
Define_Atom(X61737369676E5F76616C756573,"assign_values")
Define_Atom(X66696E645F686F6C65,"find_hole")
Define_Atom(X66696E645F686F6C655F246175783233,"find_hole_$aux23")
Define_Atom(X66696E645F686F6C655F246175783234,"find_hole_$aux24")
Define_Atom(X636F64696669636174696F6E,"codification")
Define_Atom(X6765745F785F7661726961626C65,"get_x_variable")
Define_Atom(X6765745F785F76616C7565,"get_x_value")
Define_Atom(X6765745F795F7661726961626C65,"get_y_variable")
Define_Atom(X6765745F795F76616C7565,"get_y_value")
Define_Atom(X6765745F636F6E7374616E74,"get_constant")
Define_Atom(X6765745F696E7465676572,"get_integer")
Define_Atom(X6765745F6E696C,"get_nil")
Define_Atom(X6765745F6C697374,"get_list")
Define_Atom(X6765745F737472756374757265,"get_structure")
Define_Atom(X7075745F785F7661726961626C65,"put_x_variable")
Define_Atom(X7075745F785F76616C7565,"put_x_value")
Define_Atom(X7075745F795F7661726961626C65,"put_y_variable")
Define_Atom(X7075745F795F76616C7565,"put_y_value")
Define_Atom(X7075745F795F756E736166655F76616C7565,"put_y_unsafe_value")
Define_Atom(X7075745F636F6E7374616E74,"put_constant")
Define_Atom(X7075745F696E7465676572,"put_integer")
Define_Atom(X7075745F6E696C,"put_nil")
Define_Atom(X7075745F6C697374,"put_list")
Define_Atom(X7075745F737472756374757265,"put_structure")
Define_Atom(X756E6966795F785F7661726961626C65,"unify_x_variable")
Define_Atom(X756E6966795F785F76616C7565,"unify_x_value")
Define_Atom(X756E6966795F785F6C6F63616C5F76616C7565,"unify_x_local_value")
Define_Atom(X2F,"/")
Define_Atom(X6765745F785F62635F726567,"get_x_bc_reg")
Define_Atom(X6375745F78,"cut_x")
Define_Atom(X6D6174685F6C6F61645F785F76616C7565,"math_load_x_value")
Define_Atom(X6D6174685F6C6F61645F795F76616C7565,"math_load_y_value")
Define_Atom(X66756E6374696F6E5F31,"function_1")
Define_Atom(X66756E6374696F6E5F32,"function_2")
Define_Atom(X6275696C74696E5F31,"builtin_1")
Define_Atom(X6275696C74696E5F32,"builtin_2")
Define_Atom(X6275696C74696E5F33,"builtin_3")
Define_Atom(X637265655F6C697374655F72,"cree_liste_r")
Define_Atom(X64756D6D795F696E737472756374696F6E,"dummy_instruction")
Define_Pred(X616C6C6F636174696F6E5F7661727358,1,1)
Define_Pred(X616C6961736573,3,0)
Define_Pred(X616C69617365735F2461757831,5,0)
Define_Pred(X616C69617365735F2461757832,1,0)
Define_Pred(X616C696173657331,3,0)
Define_Pred(X616C6961736573315F2461757833,3,0)
Define_Pred(X6164645F616C696173,4,0)
Define_Pred(X6164645F616C6961735F2461757834,6,0)
Define_Pred(X66696E645F616C69617365735F6F66,3,0)
Define_Pred(X66696E645F616C69617365735F6F665F2461757835,4,0)
Define_Pred(X72656D6F76655F616C69617365735F6F66,3,0)
Define_Pred(X72656D6F76655F616C69617365735F6F665F2461757836,4,0)
Define_Pred(X72656D6F76655F616C69617365735F6F665F2461757837,3,0)
Define_Pred(X72656D6F76655F616C69617365735F6F665F2461757838,1,0)
Define_Pred(X6372656174655F6C73745F746D70,4,0)
Define_Pred(X68616E646C655F6C73745F636F6465,6,0)
Define_Pred(X68616E646C655F6F6E655F636F6465,7,0)
Define_Switch_STC_Table(Swt_Table_Name(X68616E646C655F6F6E655F636F6465,7,1,stc),3)
Define_Switch_STC(X72,1,Label_Pred_Name(X68616E646C655F6F6E655F636F6465,7,3))
Define_Switch_STC(X77,1,Label_Pred_Name(X68616E646C655F6F6E655F636F6465,7,5))
Define_Switch_STC(X63,2,Label_Pred_Name(X68616E646C655F6F6E655F636F6465,7,7))
Define_Pred(X68616E646C655F6F6E655F636F64655F2461757839,7,0)
Define_Pred(X68616E646C655F6F6E655F636F64655F246175783130,4,0)
Define_Pred(X68616E646C655F6F6E655F636F64655F246175783131,5,0)
Define_Pred(X68616E646C655F6F6E655F636F64655F246175783132,7,0)
Define_Pred(X68616E646C655F6F6E655F636F64655F246175783133,4,0)
Define_Pred(X68616E646C655F6F6E655F636F64655F246175783134,6,0)
Define_Pred(X68616E646C655F6F6E655F636F64655F246175783135,3,0)
Define_Pred(X636F6E73747261696E7473,4,0)
Define_Pred(X636F6E73747261696E74735F246175783136,4,0)
Define_Pred(X7570646174655F746D70,5,0)
Define_Pred(X7570646174655F746D705F246175783137,10,0)
Define_Pred(X72656D6F76655F746D70,5,0)
Define_Pred(X72656D6F76655F746D705F246175783138,9,0)
Define_Pred(X6D616B655F696D706F7373,4,0)
Define_Pred(X6D616B655F696D706F73735F246175783139,4,0)
Define_Pred(X61737369676E5F6C73745F746D70,1,0)
Define_Pred(X61737369676E5F776973686573,2,0)
Define_Pred(X61737369676E5F7769736865735F246175783230,4,0)
Define_Pred(X636F6C6C617073655F746D7073,7,0)
Define_Pred(X636F6C6C617073655F746D70735F246175783231,3,0)
Define_Pred(X7472795F615F7768697368,3,0)
Define_Pred(X7472795F615F77686973685F246175783232,2,0)
Define_Pred(X61737369676E5F76616C756573,1,0)
Define_Pred(X66696E645F686F6C65,3,0)
Define_Pred(X66696E645F686F6C655F246175783233,4,0)
Define_Pred(X66696E645F686F6C655F246175783234,3,0)
Define_Pred(X636F64696669636174696F6E,2,0)
Define_Switch_STC_Table(Swt_Table_Name(X636F64696669636174696F6E,2,1,stc),33)
Define_Switch_STC(X6765745F785F7661726961626C65,2,Label_Pred_Name(X636F64696669636174696F6E,2,3))
Define_Switch_STC(X6765745F785F76616C7565,2,Label_Pred_Name(X636F64696669636174696F6E,2,5))
Define_Switch_STC(X6765745F795F7661726961626C65,2,Label_Pred_Name(X636F64696669636174696F6E,2,7))
Define_Switch_STC(X6765745F795F76616C7565,2,Label_Pred_Name(X636F64696669636174696F6E,2,9))
Define_Switch_STC(X6765745F636F6E7374616E74,2,Label_Pred_Name(X636F64696669636174696F6E,2,11))
Define_Switch_STC(X6765745F696E7465676572,2,Label_Pred_Name(X636F64696669636174696F6E,2,13))
Define_Switch_STC(X6765745F6E696C,1,Label_Pred_Name(X636F64696669636174696F6E,2,15))
Define_Switch_STC(X6765745F6C697374,1,Label_Pred_Name(X636F64696669636174696F6E,2,17))
Define_Switch_STC(X6765745F737472756374757265,2,Label_Pred_Name(X636F64696669636174696F6E,2,19))
Define_Switch_STC(X7075745F785F7661726961626C65,2,Label_Pred_Name(X636F64696669636174696F6E,2,21))
Define_Switch_STC(X7075745F785F76616C7565,2,Label_Pred_Name(X636F64696669636174696F6E,2,23))
Define_Switch_STC(X7075745F795F7661726961626C65,2,Label_Pred_Name(X636F64696669636174696F6E,2,25))
Define_Switch_STC(X7075745F795F76616C7565,2,Label_Pred_Name(X636F64696669636174696F6E,2,27))
Define_Switch_STC(X7075745F795F756E736166655F76616C7565,2,Label_Pred_Name(X636F64696669636174696F6E,2,29))
Define_Switch_STC(X7075745F636F6E7374616E74,2,Label_Pred_Name(X636F64696669636174696F6E,2,31))
Define_Switch_STC(X7075745F696E7465676572,2,Label_Pred_Name(X636F64696669636174696F6E,2,33))
Define_Switch_STC(X7075745F6E696C,1,Label_Pred_Name(X636F64696669636174696F6E,2,35))
Define_Switch_STC(X7075745F6C697374,1,Label_Pred_Name(X636F64696669636174696F6E,2,37))
Define_Switch_STC(X7075745F737472756374757265,2,Label_Pred_Name(X636F64696669636174696F6E,2,39))
Define_Switch_STC(X756E6966795F785F7661726961626C65,1,Label_Pred_Name(X636F64696669636174696F6E,2,41))
Define_Switch_STC(X756E6966795F785F76616C7565,1,Label_Pred_Name(X636F64696669636174696F6E,2,43))
Define_Switch_STC(X756E6966795F785F6C6F63616C5F76616C7565,1,Label_Pred_Name(X636F64696669636174696F6E,2,45))
Define_Switch_STC(X63616C6C,1,Label_Pred_Name(X636F64696669636174696F6E,2,47))
Define_Switch_STC(X65786563757465,1,Label_Pred_Name(X636F64696669636174696F6E,2,49))
Define_Switch_STC(X6765745F785F62635F726567,1,Label_Pred_Name(X636F64696669636174696F6E,2,51))
Define_Switch_STC(X6375745F78,1,Label_Pred_Name(X636F64696669636174696F6E,2,53))
Define_Switch_STC(X6D6174685F6C6F61645F785F76616C7565,2,Label_Pred_Name(X636F64696669636174696F6E,2,55))
Define_Switch_STC(X6D6174685F6C6F61645F795F76616C7565,2,Label_Pred_Name(X636F64696669636174696F6E,2,57))
Define_Switch_STC(X66756E6374696F6E5F31,3,Label_Pred_Name(X636F64696669636174696F6E,2,59))
Define_Switch_STC(X66756E6374696F6E5F32,4,Label_Pred_Name(X636F64696669636174696F6E,2,61))
Define_Switch_STC(X6275696C74696E5F31,2,Label_Pred_Name(X636F64696669636174696F6E,2,63))
Define_Switch_STC(X6275696C74696E5F32,3,Label_Pred_Name(X636F64696669636174696F6E,2,65))
Define_Switch_STC(X6275696C74696E5F33,4,Label_Pred_Name(X636F64696669636174696F6E,2,67))
Define_Pred(X637265655F6C697374655F72,3,0)
Define_Pred(X64756D6D795F696E737472756374696F6E,1,1)
Define_Switch_STC_Table(Swt_Table_Name(X64756D6D795F696E737472756374696F6E,1,1,stc),2)
Define_Switch_STC(X6765745F785F7661726961626C65,2,Label_Pred_Name(X64756D6D795F696E737472756374696F6E,1,3))
Define_Switch_STC(X7075745F785F76616C7565,2,Label_Pred_Name(X64756D6D795F696E737472756374696F6E,1,5))
Init_Usr_File
End_Init_Tables
Begin_Exec_Directives(wamcc5)
End_Exec_Directives
syntax highlighted by Code2HTML, v. 0.9.1