% compiler: GNU Prolog 0.9.0 (Mar 16 1999)
% file    : assert.pl
% date    : 4 16 1999
% time    : 15:53:38


file_name('/home/loews/loco/diaz/GNU-Prolog/src/BipsPl/assert.pl').


predicate('$use_assert'/0,27,static,private,built_in,[
    proceed]).


predicate(asserta/1,30,static,private,built_in,[
    put_atom(asserta,1),
    put_integer(1,2),
    call_c('Set_Bip_Name_2',[1,2]),
    put_integer(1,1),
    put_integer(1,2),
    execute('$assert'/3)]).


predicate(assertz/1,37,static,private,built_in,[
    put_atom(assertz,1),
    put_integer(1,2),
    call_c('Set_Bip_Name_2',[1,2]),
    put_integer(0,1),
    put_integer(1,2),
    execute('$assert'/3)]).


predicate('$assert'/3,44,static,private,built_in,[
    try_me_else(1),
    allocate(5),
    get_variable(y(0),1),
    get_variable(y(1),2),
    put_variable(y(2),1),
    put_variable(y(3),2),
    call('$get_head_and_body'/3),
    put_value(y(3),0),
    put_atom(none,1),
    put_variable(y(4),2),
    call('$term_to_goal'/3),
    put_unsafe_value(y(2),0),
    put_unsafe_value(y(4),1),
    put_value(y(0),2),
    put_value(y(1),3),
    call_c('Assert_4',[0,1,2,3]),
    fail,

label(1),
    trust_me_else_fail,
    proceed]).


predicate(retract/1,55,static,private,built_in,[
    allocate(2),
    put_atom(retract,1),
    put_integer(1,2),
    call_c('Set_Bip_Name_2',[1,2]),
    put_variable(y(0),1),
    put_variable(y(1),2),
    call('$get_head_and_body'/3),
    put_unsafe_value(y(0),0),
    put_unsafe_value(y(1),1),
    deallocate,
    execute('$retract'/2)]).


predicate('$retract'/2,61,static,private,built_in,[
    call_c_test('Retract_2',[0,1]),
    proceed]).


predicate(retractall/1,67,static,private,built_in,[
    load_cut_level(1),
    try_me_else(1),
    put_atom(retractall,2),
    put_integer(1,3),
    call_c('Set_Bip_Name_2',[2,3]),
    call_c_test('Retractall_If_Empty_Head_1',[0]),
    cut(x(1)),
    proceed,

label(1),
    retry_me_else(2),
    allocate(0),
    put_void(1),
    call('$retract'/2),
    fail,

label(2),
    trust_me_else_fail,
    proceed]).


predicate('$retract_last_found'/0,81,static,private,built_in,[
    call_c('Retract_Last_Found_0',[]),
    proceed]).


predicate(clause/2,87,static,private,built_in,[
    allocate(2),
    get_variable(y(0),0),
    get_variable(y(1),1),
    put_atom(clause,0),
    put_integer(2,1),
    call_c('Set_Bip_Name_2',[0,1]),
    put_value(y(0),0),
    call('$check_head'/1),
    put_value(y(0),0),
    put_value(y(1),1),
    put_integer(0,2),
    deallocate,
    execute('$clause'/3)]).


predicate('$clause'/3,93,static,private,built_in,[
    call_c_test('Clause_3',[0,1,2]),
    proceed]).


predicate(abolish/1,99,static,private,built_in,[
    put_atom(abolish,1),
    put_integer(1,2),
    call_c('Set_Bip_Name_2',[1,2]),
    call_c('Abolish_1',[0]),
    proceed]).


predicate('$remove_predicate'/2,106,static,private,built_in,[
    call_c('Remove_Predicate_2',[0,1]),
    proceed]).


predicate('$scan_dyn_test_alt'/0,112,static,private,built_in,[
    call_c_test('Scan_Dynamic_Pred_Alt_0',[]),
    proceed]).


predicate('$scan_dyn_jump_alt'/0,115,static,private,built_in,[
    call_c_jump('Scan_Dynamic_Pred_Alt_0',[]),
    proceed]).
