/****************************************************************************
Prolog to Wam Compiler INRIA Rocquencourt - ChLoE Project
Version 2.21 Daniel Diaz - 1994
File : wamcc3.c
Main : no_main
****************************************************************************/
#define FAST_MATH
#define DEBUG_LEVEL 0
#include "wam_engine.h"
#include "wamcc3.h"
#include "wamcc3.usr"
#define ASCII_PRED "classif_variables"
#define PRED X636C61737369665F7661726961626C6573
#define ARITY 2
Begin_Public_Pred
allocate(2)
get_y_variable(1,0)
put_x_value(1,0)
put_y_variable(0,1)
call(Pred_Name(X636C61737369665F636F727073,2),1,1,"classif_corps",2) /* begin sub 1 */
put_y_value(1,0)
put_y_unsafe_value(0,1)
deallocate
execute(Pred_Name(X636C61737369665F74657465,2),1,"classif_tete",2)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "classif_tete"
#define PRED X636C61737369665F74657465
#define ARITY 2
Begin_Private_Pred
put_x_variable(2,2)
execute(Pred_Name(X636C61737369665F70726564,3),1,"classif_pred",3)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "classif_corps"
#define PRED X636C61737369665F636F727073
#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_integer(0,1)
proceed
label(3)
trust_me_else_fail
label(4)
allocate(3)
get_list(0)
unify_y_variable(2)
unify_x_variable(0)
get_y_variable(0,1)
put_y_variable(1,1)
call(Pred_Name(X636C61737369665F636F727073,2),1,1,"classif_corps",2) /* begin sub 1 */
put_y_value(2,0)
put_y_unsafe_value(1,1)
put_y_value(0,2)
deallocate
execute(Pred_Name(X636C61737369665F70726564,3),1,"classif_pred",3)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "classif_pred"
#define PRED X636C61737369665F70726564
#define ARITY 3
Begin_Private_Pred
switch_on_term(G_label(1),fail,fail,fail,G_label(1))
label(1)
allocate(3)
get_structure(X70,4,0,"p")
unify_x_variable(4)
unify_void(1)
unify_x_variable(0)
unify_y_variable(1)
get_x_variable(3,1)
get_y_variable(0,2)
put_x_value(4,1)
put_x_value(3,2)
put_y_value(1,3)
put_nil(4)
put_y_variable(2,5)
call(Pred_Name(X636C61737369665F6C73745F617267,6),1,1,"classif_lst_arg",6) /* begin sub 1 */
put_y_unsafe_value(2,0)
put_y_value(1,1)
put_y_value(0,2)
deallocate
execute(Pred_Name(X616C6C6F635F7672616965735F7661727359,3),1,"alloc_vraies_varsY",3)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "classif_lst_arg"
#define PRED X636C61737369665F6C73745F617267
#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(7)
get_list(0)
unify_y_variable(6)
unify_x_variable(0)
get_y_variable(5,1)
get_y_variable(3,3)
get_y_variable(1,5)
get_y_bc_reg(0)
put_y_value(5,1)
put_y_variable(4,3)
put_y_variable(2,5)
call(Pred_Name(X636C61737369665F6C73745F617267,6),1,1,"classif_lst_arg",6) /* begin sub 1 */
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)
call(Pred_Name(X636C61737369665F617267,6),1,2,"classif_arg",6) /* begin sub 2 */
cut_y(0)
deallocate
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "classif_arg"
#define PRED X636C61737369665F617267
#define ARITY 6
Begin_Private_Pred
switch_on_term(G_label(3),G_label(10),fail,fail,G_label(1))
label(1)
switch_on_structure(1,"[(var/3,2),(cst/1,12),(int/1,14),(lst/2,16),(stc/2,18)]")
label(2)
try(4,1) /* begin sub 1 */
retry(6,2) /* begin sub 2 */
trust(8)
label(3)
try_me_else(5)
label(4)
get_structure(X766172,3,0,"var")
unify_x_variable(0)
unify_void(1)
unify_constant(X74,"t")
get_structure(X696776,5,0,"igv")
unify_x_variable(0)
unify_void(1)
unify_x_variable(6)
unify_void(2)
get_x_value(6,1)
get_x_value(2,3)
get_x_value(4,5)
builtin_1(var,0)
get_structure(X78,1,0,"x")
unify_void(1)
proceed
label(5)
retry_me_else(7)
label(6)
get_structure(X766172,3,0,"var")
unify_x_variable(0)
unify_void(1)
unify_constant(X74,"t")
get_structure(X696776,5,0,"igv")
unify_x_variable(6)
unify_void(1)
unify_x_variable(0)
unify_void(2)
get_structure(X79,1,6,"y")
unify_x_variable(6)
get_x_value(2,3)
get_list(5)
unify_x_value(6)
unify_x_local_value(4)
builtin_1(var,0)
get_x_value(1,0)
proceed
label(7)
retry_me_else(9)
label(8)
get_structure(X766172,3,0,"var")
unify_void(2)
unify_constant(X66,"f")
get_x_value(2,3)
get_x_value(4,5)
proceed
label(9)
retry_me_else(11)
label(10)
get_constant(X6E696C,0,"nil")
get_x_value(2,3)
get_x_value(4,5)
proceed
label(11)
retry_me_else(13)
label(12)
get_structure(X637374,1,0,"cst")
unify_void(1)
get_x_value(2,3)
get_x_value(4,5)
proceed
label(13)
retry_me_else(15)
label(14)
get_structure(X696E74,1,0,"int")
unify_void(1)
get_x_value(2,3)
get_x_value(4,5)
proceed
label(15)
retry_me_else(17)
label(16)
get_structure(X6C7374,2,0,"lst")
unify_x_variable(7)
unify_x_variable(0)
put_list(6)
unify_x_value(0)
unify_nil
put_list(0)
unify_x_value(7)
unify_x_value(6)
execute(Pred_Name(X636C61737369665F6C73745F617267,6),1,"classif_lst_arg",6)
label(17)
trust_me_else_fail
label(18)
get_structure(X737463,2,0,"stc")
unify_void(1)
unify_x_variable(0)
execute(Pred_Name(X636C61737369665F6C73745F617267,6),1,"classif_lst_arg",6)
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "temporaire"
#define PRED X74656D706F7261697265
#define ARITY 3
Begin_Private_Pred
try_me_else(2)
switch_on_term(G_label(1),fail,G_label(1),fail,fail)
label(1)
get_integer(0,0)
proceed
label(2)
retry_me_else(3)
get_constant(X74,1,"t")
proceed
label(3)
trust_me_else_fail
get_x_value(0,2)
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
#define ASCII_PRED "alloc_vraies_varsY"
#define PRED X616C6C6F635F7672616965735F7661727359
#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(2)
get_list(0)
unify_y_variable(0)
unify_x_variable(0)
get_y_variable(1,2)
put_y_value(0,2)
call(Pred_Name(X616C6C6F635F7672616965735F7661727359,3),1,1,"alloc_vraies_varsY",3) /* begin sub 1 */
math_load_y_value(0,0)
function_1(inc,0,0)
get_y_value(1,0)
deallocate
proceed
End_Pred
#undef ASCII_PRED
#undef PRED
#undef ARITY
Begin_Init_Tables(wamcc3)
Define_Atom(X5B5D,"[]")
Define_Atom(X636C61737369665F7661726961626C6573,"classif_variables")
Define_Atom(X636C61737369665F74657465,"classif_tete")
Define_Atom(X636C61737369665F636F727073,"classif_corps")
Define_Atom(X636C61737369665F70726564,"classif_pred")
Define_Atom(X70,"p")
Define_Atom(X636C61737369665F6C73745F617267,"classif_lst_arg")
Define_Atom(X636C61737369665F617267,"classif_arg")
Define_Atom(X766172,"var")
Define_Atom(X74,"t")
Define_Atom(X696776,"igv")
Define_Atom(X78,"x")
Define_Atom(X79,"y")
Define_Atom(X66,"f")
Define_Atom(X6E696C,"nil")
Define_Atom(X637374,"cst")
Define_Atom(X696E74,"int")
Define_Atom(X6C7374,"lst")
Define_Atom(X737463,"stc")
Define_Atom(X74656D706F7261697265,"temporaire")
Define_Atom(X616C6C6F635F7672616965735F7661727359,"alloc_vraies_varsY")
Define_Pred(X636C61737369665F7661726961626C6573,2,1)
Define_Pred(X636C61737369665F74657465,2,0)
Define_Pred(X636C61737369665F636F727073,2,0)
Define_Pred(X636C61737369665F70726564,3,0)
Define_Pred(X636C61737369665F6C73745F617267,6,0)
Define_Pred(X636C61737369665F617267,6,0)
Define_Switch_STC_Table(Swt_Table_Name(X636C61737369665F617267,6,1,stc),5)
Define_Switch_STC(X766172,3,Label_Pred_Name(X636C61737369665F617267,6,2))
Define_Switch_STC(X637374,1,Label_Pred_Name(X636C61737369665F617267,6,12))
Define_Switch_STC(X696E74,1,Label_Pred_Name(X636C61737369665F617267,6,14))
Define_Switch_STC(X6C7374,2,Label_Pred_Name(X636C61737369665F617267,6,16))
Define_Switch_STC(X737463,2,Label_Pred_Name(X636C61737369665F617267,6,18))
Define_Pred(X74656D706F7261697265,3,0)
Define_Pred(X616C6C6F635F7672616965735F7661727359,3,0)
Init_Usr_File
End_Init_Tables
Begin_Exec_Directives(wamcc3)
End_Exec_Directives
syntax highlighted by Code2HTML, v. 0.9.1