1%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    2%
    3% Copyright 2009-2010, Ullrich Hustadt, University of Liverpool
    4%
    5%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    6
    7%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    8% 
    9
   10store_consistent(Fmls,Branch,NewBranch,Eventualities,NewEventualities) :-
   11	list_to_ord_set(Fmls,OrdFmls),
   12	(user:consistent(OrdFmls,_,_) ->
   13	    true
   14	;
   15	    append(BranchForFmls,Branch,NewBranch),
   16	    append(Eventualities,EventualitiesForFmls,NewEventualities),
   17	    pdl_write('Storing consistent set '), pdl_write(OrdFmls), pdl_nl,
   18	    assert(user:consistent(OrdFmls,BranchForFmls,EventualitiesForFmls))
   19	),
   20	!.
   21
   22%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   23%
   24
   25store_inconsistent(Fmls) :-
   26	list_to_ord_set(Fmls,OrdFmls),
   27	(user:inconsistent(OrdFmls) ->
   28	    true
   29	;
   30	    assert(user:inconsistent(OrdFmls)),
   31	    pdl_write('Storing inconsistent set '), pdl_write(OrdFmls), pdl_nl,
   32	    print_proof_step(g, inconsistent_set(OrdFmls), '[stored]')
   33	),
   34	!