'),fail. writeKnownFormsTN_used(Ctx,KB:TN):- sigmaCache(PredR,Fact, Ctx, Pre, KB:TN:_^Vars), toMarkUp(html,formula(entails(Pre,Fact)),Vars,O), writeFmt('\n~w
',[O]),fail. % =========================================================== % Ask % =========================================================== parse_sigma_ua(Options):-memberchk(submit=ask,Options),!, make, ensureSigmaOption(opt_ctx_query='ToplevelContext',Ctx), ensureSigmaOption(opt_kb='Merge',KB), ensureSigmaOption(sf=surf,Askion), atom_codes(Askion,Askion_Chars), ensureSigmaOption(user='Web',User), ensureSigmaOption(interp='kif',Interp), logOnFailure(getCleanCharsWhitespaceProper(Askion_Chars,Show)),!, logOnFailure(getSurfaceFromChars(Show,STERM,Vars)),!, logOnFailure(getSigmaTermFromSurface(STERM,NEWFORM)),!, logOnFailure(invokeOperation(quiet,query(NEWFORM),Ctx,TrackingAtom,KB,User,Vars)). % =========================================================== % Add % =========================================================== parse_sigma_ua(Options):-memberchk(submit=tn_sync,Options),!, % writeFmt(user_error,'ua: ~w\n',[Options]),flush_output(user_error), ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), ensureSigmaOption(opt_kb='Merge',KB), ensureSigmaOption(tn=_,EXTID), ensureSigmaOption(user='Web',User), ensureSigmaOption(sf=surf,Assertion), logOnFailure(atom_codes(Assertion,Codes)), getSurfaceFromChars(Codes,STERM,Vars), getSigmaTermFromSurface(STERM,Surface), destroyTN(KB,EXTID,_), once(invokeTell([trusted,canonicalize],surface,Surface,Ctx,EXTID,KB,Vars,User)),!. parse_sigma_ua(Options):-memberchk(submit=tn_form_update,Options),!, % writeFmt(user_error,'ua: ~w\n',[Options]),flush_output(user_error), ensureSigmaOption(tn=_,EXTID), ensureSigmaOption(user='Web',User), ensureSigmaOption(opt_kb='Merge',KB), ensureSigmaOption(sf=surf,Assertion), logOnFailure(atom_codes(Assertion,Codes)), getSurfaceFromChars(Codes,STERM,Vars), getSigmaTermFromSurface(STERM,Surface), logOnFailure(retract(sigmaCache(PredR,surface,OldSurf,_,KB,Ctx,EXTID,_,_))), destroyTN(KB,EXTID,_), once(invokeTell([trusted,canonicalize],surface,Surface,Ctx,EXTID,KB,Vars,User)),!. parse_sigma_ua(Options):-memberchk(submit=canonicalize,Options),!, ensureSigmaOption(opt_kb='Merge',KB), once(invokeKBCompilerThread(KB)),write_ln('canonicalizing.\n'). parse_sigma_ua(Options):-memberchk(submit=blank_kb,Options),!, ensureSigmaOption(opt_kb='Merge',KB), destroyKB(KB), saveSigmaCache. parse_sigma_ua(Options):-memberchk(submit=removeKbNameSpace,Options),!, ensureSigmaOption(opt_kb='Merge',KB), destroyKB(KB), retractall(sigmaCache(instance,surface,'instance'(KB,'KnowledgeBase'),'$VAR'(0),'SigmaKernel','ToplevelContext',TN1,'WebUser',gaf)), retractall(sigmaCache(instance,surface,'instance'(Ctx,'Context'),'$VAR'(0),KB,'ToplevelContext',TN2,'WebUser',gaf)), retractall(sigmaCache(instance,surface,'instance'('ToplevelContext','Context'),'$VAR'(0),KB,'ToplevelContext',TN2,'WebUser',gaf)), retractall(sigmaCache(instance,surface,'sourcefile-of'(KB,Filename),'$VAR'(0),'SigmaKernel','ToplevelContext',TN3,'WebUser',gaf)), !. % =========================================================== % Verify Surface Returns SUO-KIF % =========================================================== parse_sigma_ua(Options):-memberchk(submit=verify_assert,Options),!, ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), ensureSigmaOption(opt_kb='Merge',KB), ensureSigmaOption(client='java',CLIENT), ensureSigmaOption(sf=surf,Assertion), atom_codes(Assertion,Assertion_Chars), ensureSigmaOption(user='Web',User), logOnFailure(getCleanCharsWhitespaceProper(Assertion_Chars,Show)),!, logOnFailure(getSurfaceFromChars(Show,STERM,Vars)),!, logOnFailure(getSigmaTermFromSurface(STERM,NEWFORM)),!, write_out_kif(Assertion_Chars,NEWFORM,Vars,Ctx,KB,Author). write_out_kif(Assertion_Chars,computed(comment(_)),Vars,Ctx,KB,Author):- writeFmt('Syntax Error: Unmatched parentheses in "~s"',[Assertion_Chars]). write_out_kif(Assertion_Chars,comment(_),Vars,Ctx,KB,Author):- writeFmt('Syntax Error: Unmatched parentheses in "~s"',[Assertion_Chars]). write_out_kif(Assertion_Chars,NEWFORM,Vars,Ctx,KB,Author):- logOnFailure(getTruthCheckResults(tell,[untrusted],surface,NEWFORM,Ctx,STN,KB,Vars,Author,Result)), (Result=accept(_) -> (toMarkUp(kif,NEWFORM,Vars,Out),writeFmt('~w\n',[Out]),!) ; ( Result=notice(FormatStr,Args), writeFmt('error:\n',[]), writeFmt(FormatStr,Args) ) ),!. % =========================================================== % Draw Context DAG in HTML % =========================================================== parse_sigma_ua(Options):-memberchk(submit=show_dag,Options),!, ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), ensureSigmaOption(opt_kb='Merge',KB), ensureSigmaOption(user='Web',User), writeFmt('
\n',[]),
retractall(drawn(_)),
draw_context_dag(Ctx,KB,Ctx,0),!,
writeFmt('\n',[]).
tcdag(C):-retractall(drawn(_)),draw_context_dag('Merge',C,0).
:-dynamic(drawn/1).
draw_context_dag(KB,Ctx,N):-
assert(drawn(Ctx)),
make_space(N,O),
writeFmt('~w~w\n',[O,Ctx]),
NN is N + 1,!,
show_subs(KB,Ctx,NN).
show_subs(KB,Ctx,8):-!.
%show_subs(Top,KB,Top,_):-!.
show_subs(KB,Ctx,NN):-
context_dag(KB,Ctx,Sub),
not(drawn(Sub)),
draw_context_dag(KB,Sub,NN),
fail.
show_subs(KB,Ctx,NN):-!.
make_space(1,' ->'):-!.
make_space(0,''):-!.
make_space(N,O):-
NN is N -1,
make_space(NN,M),
atom_concat(' ',M,O),!.
% ===========================================================
% Tell
% ===========================================================
parse_sigma_ua(Options):-memberchk(submit=assert,Options),!,
ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx),
ensureSigmaOption(opt_kb='Merge',KB),
ensureSigmaOption(sf=surf,Assertion),
atom_codes(Assertion,Assertion_Chars),
ensureSigmaOption(user='Web',User),
ensureSigmaOption(interp='kif',Interp),
logOnFailure(ensureSigmaOption(tn=_,TN)),
logOnFailure(getCleanCharsWhitespaceProper(Assertion_Chars,Show)),!,
logOnFailure(getSurfaceFromChars(Show,STERM,Vars)),!,
logOnFailure(getSigmaTermFromSurface(STERM,NEWFORM)),!,
logOnFailure(invokeOperation(verbose,assert(NEWFORM),Ctx,TN,KB,User,Vars)).
% ===========================================================
% Start Canonicalizer
% ===========================================================
parse_sigma_ua(Options):-memberchk(submit=canonicalize,Options),!,
ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx),
ensureSigmaOption(opt_kb='Merge',KB),
logOnFailure(invokeKBCompilerThread(KB)).
% ===========================================================
% Create Knowledge Base (New)
% ===========================================================
parse_sigma_ua(Options):-memberchk(submit=register_kb,Options),!,
ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx),
ensureSigmaOption(opt_kb='Merge',KB),
ensureSigmaOption(client='java',CLIENT),
ensureSigmaOption(user='Web',User),
saveSigmaCache,
getDefaultImageFilepath(IF),
open(IF,append,Handle,[close_on_abort(false),buffer(full)]),
assert(save_can_to_file(KB,Handle)),
!.
:-dynamic(save_can_to_file/2).
% ===========================================================
% Retract
% ===========================================================
parse_sigma_ua(Options):-memberchk(submit=retract,Options),!,
ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx),
ensureSigmaOption(opt_kb='Merge',KB),
ensureSigmaOption(sf=surf,Retraction),
atom_codes(Retraction,Retraction_Chars),
ensureSigmaOption(user='Web',User),
ensureSigmaOption(interp='kif',Interp),
give_kif_window,
getCleanCharsWhitespaceProper(Retraction_Chars,Show),!,
logOnFailure(getSurfaceFromChars(Show,STERM,Vars)),!,
logOnFailure(getSigmaTermFromSurface(STERM,NEWFORM)),!,
once(( NEWFORM=comment(_) ->
(do_chars(Show),!,FORM=_) ;(!,
logOnFailure(invokeOperation(verbose,retract(NEWFORM),Ctx,TN,KB,User,Vars))
))).
% ===========================================================
% Delete Assertion
% ===========================================================
parse_sigma_ua(Options):-memberchk(submit='Delete Assertion',Options),!,
ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx),
ensureSigmaOption(opt_kb='Merge',KB),
ensureSigmaOption(asid=_,AID),
ensureSigmaOption(user='Web',User),
ensureSigmaOption(interp='kif',Interp),
writeFmt('Deleted....
',[]), delete_assertion(AID). delete_assertion(AID):- retract(sigmaCache(PredR,Form,SURF,Vars,KB,Ctx,AID,Author,_)), delete_assertion_disp(Form,SURF,Vars,KB,Ctx,AID,Author), fail. delete_assertion(AID):-writeFmt('Done Deleting.
',[]). delete_assertion_disp(Form,SURF,Vars,KB,Ctx,AID,Author):- toMarkUp(html,SURF,Vars,SAtom), writeFmt('
',checkbox(AID,OnOff)), writeFmt('~w
',[SAtom]),!. parse_sigma_ua(Options):- memberchk(cmd='Show Cache',Options),!, writeFmt('
Listing Cache Assertions...
',[]),
listing(sigmaCache),
writeFmt('Done.',[]),!. listingt(NH):-catch((string_to_atom(NH,AA),listing(AA)),_,true). %listingt(NH):-listing(NH),!. % =========================================================== % Invoke Prolog Command % =========================================================== parse_sigma_ua(Options):- %memberchk(interp='prolog',Options),!, memberchk(submit=command,Options),!, make, ensureSigmaOption(sf=surf,Prolog), ignore(parse_prolog_cmd(Prolog)). parse_prolog_cmd(Prolog):- give_kif_window, catch(atom_to_term(Prolog,CMD,Vars),E, (message_to_string(E,S),writeFmt('\nCall "~w" could not be read. \nError: ~s\n',[Prolog,S]))),!, callFromWeb(Prolog,CMD,Vars),!. parse_prolog_cmd(Prolog):-writeFmt('\nCall "~w" failed',[Prolog]),!. callFromWeb(Prolog,CMD,Vars):-var(CMD),!. callFromWeb(Prolog,CMD,Vars):- thread_self(Id), socket_out(Id,Out), socket_in(Id,In), invokePrologCommand(Id,In,Out,CMD,Vars,Results), writeFmt('\n Results: ~w\n',[Results]),!. % =========================================================== % Logical Form Display % =========================================================== parse_sigma_ua(Options):-memberchk(logicforms=logicforms,Options),!, parse_sigma_lf(Options). % =========================================================== % Un-Canonicalize on KB/Ctx % =========================================================== parse_sigma_ua(Options):- memberchk(cmd='Un-Canonicalize',Options),!, ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), ensureSigmaOption(opt_kb='Merge',KB),!, (unsetSigmaOption(opt_surface_check=_)), (setSigmaOption(opt_surface_check=untrusted)), (unsetSigmaOption(opt_tracking_number=_)), (setSigmaOption(opt_tracking_number=supplied)),!, (unsetSigmaOption(opt_canonicalizer=_)), (setSigmaOption(opt_canonicalizer=byrd)),!, writeFmt('
Un-Canonicalizing KB:~w Ctx:~w. This process may take several minutes.. Do not navigate away.
',[KB,Ctx]), mark_all_surface_to_uncanonicalized(KB,Ctx),!. % =========================================================== % Invoke Load SKB on KB/Ctx (POST) % =========================================================== parse_sigma_ua(Options):- memberchk(KB='Load SKB',Options),!, (unsetSigmaOption(opt_kb=_)), (setSigmaOption(opt_kb=KB)), ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), ensureSigmaOption(opt_kb='Merge',KB),!, fmtString(FileChars,'C:/sigmal/SUO/~w.can',[KB]),!,string_to_atom(FileChars,Filename),!, (unsetSigmaOption(opt_surface_check=_)), (setSigmaOption(opt_surface_check=trusted)), idGen(TN1), idGen(TN2), idGen(TN3), idGen(TN4), retractall(sigmaCache(PredR,_,_,_,KB,Ctx,_,_,_)), assertaClean(sigmaCache(instance,surface,'instance'(KB,'KnowledgeBase'),'$VAR'(0),'SigmaKernel','ToplevelContext',TN1,'WebUser',gaf)), assertaClean(sigmaCache(instance,surface,'instance'(Ctx,'Context'),'$VAR'(0),KB,'ToplevelContext',TN4,'WebUser',gaf)), assertaClean(sigmaCache(instance,surface,'instance'('ToplevelContext','Context'),'$VAR'(0),KB,'ToplevelContext',TN2,'WebUser',gaf)), assertaClean(sigmaCache('sourcefile-of',surface,'sourcefile-of'(KB,Filename),'$VAR'(0),'SigmaKernel','ToplevelContext',TN3,'WebUser',gaf)), load_kif_to_kb_ctx(KB,Filename,'ToplevelContext','SigmaWeb'). % =========================================================== % load_from_can_file (Knowledge Base File) % =========================================================== parse_sigma_ua(Options):-memberchk(cmd='Load SKB',Options),!, ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), ensureSigmaOption(opt_kb='Merge',KB),!, fmtString(FileChars,'C:/sigmal/SUO/~w.can',[KB]),!,string_to_atom(FileChars,Filename),!, (unsetSigmaOption(opt_surface_check=_)), (setSigmaOption(opt_surface_check=trusted)), idGen(TN1), idGen(TN2), idGen(TN3), idGen(TN4), retractall(sigmaCache(PredR,_,_,KB,Ctx,_,_,_)), assertaClean(sigmaCache(instance,surface,'instance'(KB,'KnowledgeBase'),'$VAR'(0),'SigmaKernel','ToplevelContext',TN1,'WebUser',gaf)), assertaClean(sigmaCache(instance,surface,'instance'(Ctx,'Context'),'$VAR'(0),KB,'ToplevelContext',TN4,'WebUser',gaf)), assertaClean(sigmaCache(instance,surface,'instance'('ToplevelContext','Context'),'$VAR'(0),KB,'ToplevelContext',TN2,'WebUser',gaf)), assertaClean(sigmaCache('sourcefile-of',surface,'sourcefile-of'(KB,Filename),'$VAR'(0),'SigmaKernel','ToplevelContext',TN3,'WebUser',gaf)), load_kif_to_kb_ctx(KB,Filename,'ToplevelContext','SigmaWeb'). % =========================================================== % Invoke Canonicalizer on KB/Ctx (GET) % =========================================================== parse_sigma_ua(Options):- memberchk(cmd='Canonicalize',Options),!,%trace, ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), ensureSigmaOption(opt_kb='Merge',KB),!, (unsetSigmaOption(opt_surface_check=_)), (setSigmaOption(opt_surface_check=untrusted)), (unsetSigmaOption(opt_tracking_number=_)), (setSigmaOption(opt_tracking_number=supplied)),!, (unsetSigmaOption(opt_canonicalizer=_)), (setSigmaOption(opt_canonicalizer=byrd)),!, writeFmt('Canonicalizing KB:~w Ctx:~w. This process may take several minutes..
This process must be done once and should not be interupted
Wait until this page is completely loaded before clicking
any links and do not navigate away.
',[KB,Ctx]),
logOnFailure(canonicalizeSigmaKBHTML(KB,Ctx)),!.
% ===========================================================
% Invoke Canonicalizer on KB/Ctx (POST)
% ===========================================================
parse_sigma_ua(Options):-
member(KB='Canonicalize',Options),!,
(unsetSigmaOption(opt_kb=_)),
(setSigmaOption(opt_kb=KB)),
ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx),
(unsetSigmaOption(opt_surface_check=_)),
(setSigmaOption(opt_surface_check=untrusted)),
(unsetSigmaOption(opt_tracking_number=_)),
(setSigmaOption(opt_tracking_number=supplied)),!,
(unsetSigmaOption(opt_canonicalizer=_)),
(setSigmaOption(opt_canonicalizer=byrd)),!,
writeFmt('Canonicalizing KB:~w Ctx:~w. This process may take several minutes..
This process must be done once and should not be interupted
Wait until this page is completely loaded before clicking
any links and do not navigate away.
',[KB,Ctx]),
logOnFailure(canonicalizeSigmaKBHTML(KB,Ctx)),!.
% ===========================================================
% Invoke Surface Checker on KB/Ctx
% ===========================================================
parse_sigma_ua(Options):-
memberchk(cmd='Surface Check',Options),!,%trace,
ensureSigmaOption(opt_ctx_assert='ToplevelContext',Ctx),
ensureSigmaOption(opt_kb='Merge',KB),!,
logOnFailure(surface_check_entire_kb_ctx(KB,Ctx)),!,
writeFmt('Done Surface Check\n',[]). % =========================================================== % Invoke Prolog Command % =========================================================== parse_sigma_ua(Options):- %memberchk(interp='prolog',Options),!, memberchk(submit='Clean Slate',Options),!,halt. % =========================================================== % Invoke Prolog Command % =========================================================== parse_sigma_ua(Options):- %memberchk(interp='prolog',Options),!, memberchk(cmd='Compile Demo',Options),!,autoload, (unsetSigmaOption(client=html)),qsave_program('sigma_server',[goal=(initializeSigmaServerData,cs)]),(setSigmaOption(client=html)). build_exe_and_halt:- !,autoload, (unsetSigmaOption(client=html)),qsave_program('sigma_server',[goal=(initializeSigmaServerData,cs)]). parse_sigma_ua(Options):-parse_sigma_enable(Options),!. % =========================================================== % Backup Sigma % =========================================================== parse_sigma_ua(Options):-memberchk(cmd='Save Image',Options),!,saveSigmaCache. % =========================================================== % Define New context % =========================================================== parse_sigma_ua(Options):-memberchk(client='command',Options),memberchk(submitbuttonUp='Create',Options),!, ensureSigmaOption(newCtxName='ToplevelContext',Ctx), ensureSigmaOption(kb='Merge',KB), ensureSigmaOption(user='Web',User), idGen(TN2), assertaClean(sigmaCache(instance,surface,'instance'(Ctx,'Context'),'$VAR'(0),KB,'ToplevelContext',TN2,User,on)). % =========================================================== % KB/Ctx ComboBoxs % =========================================================== show_available_contexts:- findall(Atom, (sigmaCache(PredR,surface,('instance'(Ctx,'Context'):_), KB,_, _, _, _),concat_atom([KB,':',Ctx],Atom)), List), writeq(List),nl. getCtxListForKB(KB,['ToplevelContext'|Sorted]):- findall(Ctx,sigmaCache(_,_,_, _, KB,Ctx, _, _, _),UList),!,sort(UList,Sorted). getCtxListForKB(KB,['ToplevelContext']):-!. show_available_contexts_in_combobox(KB,null):- getCtxListForKB(KB,List), toMarkUp(html,select(ctx,List),_,Out),write(Out). show_available_contexts_in_combobox(KB,Selected):- getCtxListForKB(KB,List), toMarkUp(html,select(ctx,[Selected|List]),_,Out),write(Out). getListOfKB(KBList):- findall(KB,sigmaCache(_,_,_, _, KB,Ctx, _, _, _),UList),!,sort(UList,KBList). show_available_kbs_in_combobox(Out):- findall(KB,sigmaCache(PredR,surface,('instance'(KB,'KnowledgeBase'):_), 'SigmaKernel',_, _, _, _),List), toMarkUp(html,select(kb,List),_,Out). % ================================================= % Useragent Control Panel % ================================================= parse_sigma_ua(Options):-memberchk(client='controlpanel',Options), memberchk(kill=_,Options),!, member(kill=ID,Options), catch(thread_signal(ID,thread_exit(user_killed(ID))),_,true), parse_sigma_ua([client='controlpanel']). parse_sigma_ua(Options):-memberchk(client='controlpanel',Options), !, statistics, writeFmt('
| Id | Name | Status | Actions | Options | Goals | ',[]), showSigmaThreads, writeFmt('
|---|
'),
give_kif_window.
give_kif_window:-!. %Given
% ===========================================================
% EDITOR WINDOW
% ===========================================================
give_editor_window:-!,
ensureSigmaOption(sf='(isa ?X ?Y)',Formula),
writeFmt('
',[Formula]),
writeFmt('
',[]), writeFmt('KIF',[]), writeFmt('ACE',[]). %================================================================= % LEGACY BELOW %================================================================= %================================================================= % QUERY PROCESSING %================================================================= % Arity 1 (unused by Java) ua_ask(QueryStringI):-!,ua_ask(QueryStringI,'ToplevelContext',[]). % Arity 2 (unused by Java) ua_ask(QueryStringI,Options):-!,ua_ask(QueryStringI,'ToplevelContext',Options). % Arity 3 (used by Java) ua_ask(QueryStringI,_Ctx,OptionList) :- setSigmaOption(OptionList), write_response_begin,!, %%trace, % elevate_status(kb(KB,_)=current), isSigmaOption(opt_kb=KB), once(ask(QueryStringI,_Ctx,KB)), write_response_end. %================================================================= % ASSERT/RETRACT PROCESSING %================================================================= /* % Make assertions % ua_tell(formulaObject(i),contextAtom(i),trackingAtom(i),OptionList(i)) % ua_tell("(mother Bill Jane)",sample_context,sigma-44-545,[disp_modification] ). % ua_tell("(assertion(= > (and (mother ?CH ?M) (siblings ?CH ?CH2)) (mother ?CH2 ?M ))", sample_context,sigma-44-546,[disp_modification]). % Make retractions % ua_retract(assertionObject(i),OptionList(i)) TODO % ua_retract("(assertion sample_context sigma-44-545 (mother Bill Jane))",[disp_modification] ). % ua_retract("(assertion sample_context sigma-44-546 (=> (and (mother ?CH ?M) (siblings ?CH ?CH2)) (mother ?M ?CH2)))",[disp_modification] ). */ %================================================================= % ASSERT PROCESSING %================================================================= % Arity 1 (unused by Java) ua_tell(Assertion_Chars):-!,ua_tell(Assertion_Chars,'ToplevelContext',_,[]). % ua_tell(formulaObject(i),contextAtom(i),trackingAtom(i),OptionList(i)) ua_tell(Assertion_Chars,_Ctx,TrackingAtom,OptionList):- (((idGen(TN),TrackingAtom=(TN)) ; true)), setSigmaOption(OptionList), ignore(member(opt_kb=KB,OptionList)), write_response_begin,!, %%trace, ignore(once(tell(Assertion_Chars,_Ctx,TrackingAtom,KB,CMP))), write_response_end. %================================================================= % RETRACT PROCESSING %================================================================= % Arity 1 (unused by Java) ua_retract(Retraction_Chars):-!,ua_retract(Retraction_Chars,'ToplevelContext',_,[]). % ua_retract(formulaObject(i),contextAtom(i),trackingAtom(i),OptionList(i)) ua_retract(Retraction_Chars,_Ctx,TrackingAtom,OptionList):- (((idGen(TN),TrackingAtom=(TN)) ; true)), setSigmaOption(OptionList), ignore(member(opt_kb=KB,OptionList)), write_response_begin,!, %%trace, ignore(once(retract(Retraction_Chars,_Ctx,TrackingAtom,KB,CMP))), write_response_end. %================================================================= % COMMAND PROCESSING %================================================================= % Arity 1 (unused by Java) ua_command(CommandStringI):-ua_command(CommandStringI,[]). % ua_command(CommandString(i),OptionList(i)) ua_command(CommandStringI,OptionList):- write_response_begin, setSigmaOption(OptionList), ask_parse_chars(CommandStringI,CMD,Vars), write_response_end. ua_command_invoke(nil,_):-!. ua_command_invoke(CMD,Vars):- sendNote(debug,kernel,'Making Prolog Call',writeq(CMD)), ua_out(query_start,ask_prolog(PrologKR),Vars),!, getCputime(Start), sigma_inference(CMD,Vars), getCputime(Now), Elapsed is Now - Start, ua_out(query_end,('true',CMD,Elapsed,0,0),Vars). % =================================================================================================== % End of sigma_useragent.pl % =================================================================================================== getKbStatus('SigmaKernel'):-writeFmt('Browse Only\n',[]),!. getKbStatus(KB):- isKBCompilerThread(KB,Progress), writeFmt('Canonicalizing\n',[KB]),!. getKbStatus(KB):- isUncanonicalized(KB), invokeKBCompilerThread(KB), isKBCompilerThread(KB,Progress), writeFmt('Canonicalizing\n',[KB]),!. getKbStatus(KB):- isUncanonicalized(KB), isKBCurrentlyInUse(OtherKB,Status),!, writeFmt('Waiting for ~w\n',[OtherKB]). getKbStatus(KB):- isKBCurrentlyInUse(KB,Status), writeFmt('Busy ~w\n',[Status]). getKbStatus(KB):- isKbUntransfered(KB), writeFmt('Update\n',[KB]),!. getKbStatus(KB):- isSourceNewerThenImage(KB), writeFmt('Needs Update\n',[KB]),!. getKbStatus(KB):-isKnowledgeBaseLoaded(KB,_),writeFmt('Ask/Tell\n',[KB]),!. getKbStatus(KB):-writeFmt('Unknown\n',[]),!.