~w

:- style_check(-singleton). :- style_check(-discontiguous). :- was_style_check(-atom). :- was_style_check(-string). :-include('sigma_header.pl'). :-'ROOT_RT'(X),concat_atom([X,'/inference_test/'],O),assert(tq_input_dir(O)). % ========================================================= % Run A Single TQ % ========================================================= parse_sigma_ua_tq(Options):- retractAllProlog(last_tq(_)),assert(last_tq('TES')), memberchk(cmd='runtest',Options),!,make, setSigmaOption(opt_ctx_assert='ToplevelContext'), setSigmaOption(opt_kb='Merge'), getSigmaOption(asid=_,AID), getSigmaOption(user='Web',User), getSigmaOption(interp='kif',Interp), getSigmaOption(filename='axioms.tq',FileName), testTQFileWriteHTML(FileName,User,TimeRequired,Result,Title,Mods). % =========================================================== % Run TQ Entire Directory "Sub" using "KB" and "Ctx" then Send the Output to Stream "Dest" % =========================================================== parse_sigma_ua_tq(Options):-memberchk(submit='Run TQs',Options),!,make, setSigmaOption(opt_ctx_assert='ToplevelContext'), setSigmaOption(opt_kb='Merge'), getSigmaOption(asid=_,AID), getSigmaOption(user='Web',User), getSigmaOption(interp='kif',Interp), getSigmaOption(tqDir='soundness',TQDIR), sigmaThreadCreate(ThreadName,run_tq_thread(TQDIR),Id,[]),!, parse_sigma_ua_tq([client='tqsystem']). % =========================================================== % Show a TEST DIRECTORY % =========================================================== parse_sigma_ua_tq(Options):-memberchk(cmd='tqpage',Options),!,make, setSigmaOption(opt_ctx_assert='ToplevelContext'), setSigmaOption(opt_kb='Merge'), getSigmaOption(asid=_,AID), getSigmaOption(user='Web',User), getSigmaOption(interp='kif',Interp), getSigmaOption(tqDir='soundness',TQDIR), logOnFailure(test_prep_dir(TQDIR,TQOutputDir)), logOnFailure(concat_atom([TQOutputDir,'*.tq'],MASK)), logOnFailure(expand_file_name(MASK,TQS)),!, writeFmt('',[]), writeFmt('',[]), logOnFailure(write_file_list(TQDIR,TQS,TQOutputDir)), writeFmt('

View Test Source	Run Test		View Test Source	Run Test

',[]). % ==================================================== % Show main TQ Front page (fallback) % ==================================================== parse_sigma_ua_tq(Options):- setSigmaOption(opt_ctx_assert='ToplevelContext'), setSigmaOption(opt_kb='Merge'), getSigmaOption(asid=_,AID), getSigmaOption(user='Web',User), getSigmaOption(interp='kif',Interp), getSigmaOption(tqDir='soundness',TQDIR), expand_file_name('../../inference_test/*', Absolute), writeFmt('',[]), show_available_tqs2(Absolute,Paths), links_to_available_tqs(Paths), writeFmt('

',[]). % =================================================================== % TQ BATCH INTERFACE % =================================================================== % This file runs the automated test suite over the infernece questions run_batch(Sub):- (unsetSigmaOption(client=html)), global_set('Tests Failed',0), global_set('Tests Passed',0), global_set('Tests Run',0), global_set('Tests Skipped',0), global_set('Tests Incomplete',0), test_prep_dir(Sub,OutputDir), concat_atom([OutputDir,'index.html'],TestSummary),!, atom_concat(OutputDir,'*.tq',MASK), expand_file_name(MASK,TQS),!, Version='Byrd', getCputime(Start), safe_file_open(TestSummary,'w',Dest), writeFmt(Dest,'\n

Sigma Basic Inference Engine Test Questions

Passed_Likey = Passed but was not completely verified
Incomplete = Passed but answers did notmatch verbatim (like decimal precision)
Passed_Soundness = Passed a soundness test due to unproven result
Failed_Incomplete = Failed due to lack of Proof
Syntax_Errors = Test could not be accurately ran

' ,[]), writeFmt(Dest,'',[]), findall(TQ,(( member(TQ,TQS), once(batch(Start,TQ,TQI,Dest,TQO)) )),_), writeFmt(Dest,'
Test Source Test Result Query Time Time Total
\n',_), getCputime(End), Elapsed is End - Start, writeFmt(Dest,'

\n',_), summerize_dest(Dest,Version,NEWDIR,Elapsed), file_close(Dest). :-assert(oddeven). :-assert(last_tq('TES')). :-dynamic(tq_ignored/0). :-dynamic(tq_skipped/0). %:-dynamic(tq_attempted_query/0). batch(Start,FileName,INDIRRELATE,Dest,OUTDIR):- !, file_base_name(FileName,FileBaseName), concat_atom([OUTDIR,'/',FileBaseName,'.result.html'],ResultFile), file_base_name(ResultFile,BaseResultFile), getCputime(TS), ( (last_tq(LTQ),atom_codes(LTQ,[A,B,C|_]),not(atom_codes(FileBaseName,[_,_,C|_]))) -> (( writeFmt(Dest,'',[]), atom_codes(TQN,[A,B,C]), Elapsed is TS - Start, summerize_dest(Dest,TQN,TQN,Elapsed), writeFmt(Dest,'
',[]) )) ; true ), ignore(test_batch_operation(FileName,'byrd',ResultFile,CPU,Result,Title)), getCputime(TE), (tq_ignored -> true ; (( (retract(oddeven) -> writeFmt(Dest,' ',[]) ; (writeFmt(Dest,' ',[]),assert(oddeven))), TSE is TE - TS, (Result = 'Syntax_Errors' -> ((DISP=blue, global_increment('Tests Skipped'))) ; (Result = 'Incomplete' -> ((DISP=purple, global_increment('Tests Incomplete'),global_increment('Tests Run'),global_increment('Tests Passed'))) ; (Result = 'Skipped' -> ((DISP=blue, global_increment('Tests Skipped'))) ; (atom_codes(Result,[80|_]) -> (( DISP=green,global_increment('Tests Passed'),global_increment('Tests Run') )); (( DISP='orange', global_increment('Tests Failed'),global_increment('Tests Run') ))) ))), once(( (CPU is 0) -> CPUDISP=' < 2ms' ; CPUDISP = CPU )),!, writeFmt(Dest,' \n',[FileBaseName,Title,BaseResultFile,DISP,Result,CPUDISP,TSE]) )) ), retractAllProlog(last_tq(_)), assert(last_tq(FileBaseName)), flush_output(Dest). summerize_dest(Dest,Comment,NEWDIR,Elapsed):- catch(( flag('Tests Failed',TotalFailed,TotalFailed), flag('Tests Passed',TotalPassed,TotalPassed), flag('Tests Run',TotalRan,TotalRan), flag('Tests Skipped',Skipped,Skipped), flag('Tests Incomplete',Incomplete,Incomplete), Percent is TotalPassed/TotalRan * 100, PercentComplete is ((TotalPassed - Incomplete )/TotalRan * 100),!, writeFmt(Dest,'
Succesfully Passed ~w and Failed ~w but Skipped ~w ',[TotalPassed,TotalFailed,Skipped]), writeFmt(Dest,'Test Questions (Total Counted ~w) giving us Passed ~w% with Absolutely ~w% in ~w seconds.
\n
\n',[TotalRan,Percent,PercentComplete,Elapsed]) ),_,true). batch_answer(H):-var(H),!,batch_answer_proc(H). batch_answer([]):-!. batch_answer([H|T]):- once(batch_answer_proc(H)), batch_answer(T). batch_answer_proc(H):-var(H),!,assert(tq_least_one_answer),sendNote(user,tqTester,'solution found','Found (tq_least_one_answer):'(var)),!,sendNote('(??)'). batch_answer_proc(H):-H=..[list|HL],!,batch_answer(HL). batch_answer_proc(H):-H=..['List'|HL],!,batch_answer(HL). batch_answer_proc(H):-number(H),number_found(H),!,assert(tq_least_one_answer),sendNote(user,tqTester,'solution found','Found:'(formula(H))),!. batch_answer_proc(H):-nonvar(H),answer_found(H),!,assert(tq_least_one_answer),sendNote(user,tqTester,'solution found','Found:'(formula(H))),!. batch_answer_proc(H):-number(H),assert(tq_missed_one_answer),sendNote(user,tqTester,'solution not found','Missing:'(formula(H))),sendNote('(numeric)'). batch_answer_proc(exists(V,F)):-assert(tq_missed_one_answer),sendNote(user,tqTester,'solution not found','Missing:'(exists(V,F))),!,sendNote('(exists/prop)'). batch_answer_proc(H):-compound(H),assert(tq_missed_one_answer),sendNote(user,tqTester,'solution not found','Missing:'(formula(H))),!,sendNote('(proposition)'). batch_answer_proc(H):-assert(tq_missed_one_answer),sendNote(user,tqTester,'solution not found','Missing:'(formula(H))),!. number_found(H):-HN is H *1.0 , number_codes(HN,Codes),answer_found(Codes),sendNote('(numeric)'). write_file_list(TQDIR,[],TQOutputDir):- !. write_file_list(TQDIR,[T1,T2|QDIR],TQOutputDir):- writeFmt('',[]), write_file_list_0(TQDIR,T1,TQOutputDir), writeFmt('',[]), write_file_list_0(TQDIR,T2,TQOutputDir), writeFmt('',[]), write_file_list(TQDIR,QDIR,TQOutputDir). write_file_list(TQDIR,[T|QDIR],TQOutputDir):- writeFmt('',[]), write_file_list_0(TQDIR,T,TQOutputDir), writeFmt('',[]), write_file_list(TQDIR,QDIR,TQOutputDir). write_file_list_0(TQDIR,T,TQOutputDir):- file_base_name(T, BaseName), concat_atom(PathList,'\\', T), concat_atom(PathList,'/', TO), writeFmt('\n',[TQDIR,BaseName,BaseName,TO]). run_tq_thread(TQDIR):-running_tq(_),!. run_tq_thread(TQDIR):- assert(running_tq(TQDIR)),!, thread_at_exit(retractAllProlog(running_tq(TQDIR))), logOnFailure(test_prep_dir(TQDIR,TQOutputDir)),!, concat_atom([TQOutputDir,'index.html'],TestSummary),!, safe_file_open(TestSummary,'w',Dest),!, thread_at_exit(close(Dest)), writeFmt(Dest,'',[]), run_batch_web(Dest,KB,Ctx,TQDIR),!, writeFmt(Dest,'',[]), retractAllProlog(running_tq(TQDIR)), ignore(catch(close(Dest),_,true)), ignore(thread_exit(completed_tq(KB,Ctx,TQDIR)) ). links_to_available_tqs([]). links_to_available_tqs([P|ATHS]):- links_to_available_tqs0(P), links_to_available_tqs(ATHS),!. links_to_available_tqs0(P):- writeFmt('',[P]), concat_atom(['../../inference_test/',P],Dir), (running_tq(_) -> (writeFmt('',[]), (running_tq(P) -> ( writeFmt('',[P,P]) ) ; writeFmt('',[]) ) ) ; ( writeFmt('', [P]), writeFmt('',[P,P]) ) ), (exists_directory(Dir) -> writeFmt('',[P]) ; writeFmt('') ), writeFmt('',[]). show_available_tqs2([],[]). show_available_tqs2([H|T],TT):- file_base_name(H,'CVS'),!, show_available_tqs2(T,TT). show_available_tqs2([H|T],TT):- file_base_name(H,'index.html'),!, show_available_tqs2(T,TT). /* show_available_tqs2([H|T],TT):- once((file_base_name(H,Base), file_name_extension(Base,Ext,Name))),not((Ext='tq' ; Ext='TQ')),!, show_available_tqs2(T,TT). */ show_available_tqs2([H|T],[HH|TT]):- file_base_name(H,HH), show_available_tqs2(T,TT). :-dynamic(running_tq/1). test_prep_dir(Sub,ODIRSub):- tq_input_dir(ODIR), concat_atom([ODIR,Sub,'/'],ODIRSub), prolog_to_os_filename(ODIRSub,TQOS), writeFmt(user_error,'~q.\n',[prolog_to_os_filename(ODIRSub,TQOS)]),!. run_batch_web(Dest,KB,Ctx,Sub):- logOnFailure(( flag('Tests Failed',_,0), flag('Tests Passed',_,0), flag('Tests Run',_,0), flag('Tests Skipped',_,0), flag('Tests Incomplete',_,0) )), logOnFailure(test_prep_dir(Sub,TQOutputDir)), logOnFailure(concat_atom([TQOutputDir,'*.tq'],MASK)), logOnFailure(expand_file_name(MASK,TQS)),!, getCputime(Start), logOnFailure(run_batch_file_list(Sub,Dest,TQS,TQOutputDir)), catch((getCputime(End), Elapsed is End - Start, flush_output(Dest), summerize_dest_web(Dest,'Byrd',NEWDIR,Elapsed)),_,true). summerize_dest_web(Dest,Comment,NEWDIR,Elapsed):- catch(( flag('Tests Failed',TotalFailed,TotalFailed), flag('Tests Passed',TotalPassed,TotalPassed), flag('Tests Run',TotalRan,TotalRan), flag('Tests Skipped',Skipped,Skipped), flag('Tests Incomplete',Incomplete,Incomplete), Percent is TotalPassed/TotalRan * 100, PercentComplete is ((TotalPassed - Incomplete )/TotalRan * 100),!, writeFmt(Dest,'
Succesfully Passed ~w and Failed ~w but Skipped ~w ',[TotalPassed,TotalFailed,Skipped]), writeFmt(Dest,'Test Questions (Total Counted ~w) giving us Passed ~w% with Absolutely ~w% in ~w seconds.
\n
\n',[TotalRan,Percent,PercentComplete,Elapsed]) ),_,true). run_batch_file_list(Type,Dest,[],TQOutputDir):-!,sendNote(user,tqTester,'Nothing to do','No *.tq files found in test dirrectory '(Type)),!. run_batch_file_list(Type,Dest,TQS,TQOutputDir):-!, getPrettyDateTime(DateTime), writeFmt(Dest,'
Sigma Inference Engine Test Question Results

\n
Ran at: ~w\n

',[DateTime]), writeFmt(Dest,'
Passed = Definately and Deterministicly Passed
Passed_Likey = Passed but was not completely verified
Incomplete = Passed but answers did notmatch verbatim (like decimal precision)
Passed_Soundness = Passed a soundness test due to unproven result
Failed_Incomplete = Failed due to lack of Proof
Syntax_Errors = Test could not be accurately ran
' ,[]), % writeFmt(Dest,'
Test Source Test Result Query Time Time Total
~w ~w ~w ~w secs

~w Run Now
~w waiting Currenty Running waiting Live Batch Process
View

',[]), flush_output(Dest), run_batch_file_list1(Type,Dest,TQS,TQOutputDir),!. run_batch_file_list1(Type,Dest,[],TQOutputDir):-!,writeFmt(Dest,'
Test Source Test Result Query Time Time Total
\n',_),!. run_batch_file_list1(Type,Dest,[FileName|TQS],TQOutputDir):- % Iterate over each file run_batch_file_list_item(Type,Dest,FileName,TQOutputDir),!, run_batch_file_list1(Type,Dest,TQS,TQOutputDir),!. run_batch_file_list_item(Type,Dest,FileName,TQOutputDir):- writeFmt(user_error,'Testing ~w ~w.\n',[Type,FileName]),!, file_base_name(FileName,FileBaseName), getCputime(TimeStart), ( % If/Then/Else (Make block Of TQs) (last_tq(LTQ),atom_codes(LTQ,[A,B,C|_]),not(atom_codes(FileBaseName,[_,_,C|_]))) -> (( writeFmt(Dest,'',[]), atom_codes(TQN,[A,B,C]), getCputime(Now), Elapsed is TimeStart - Now, summerize_dest_web(Dest,TQN,TQN,Elapsed), writeFmt(Dest,'
',[]) )) ; true ), concat_atom([TQOutputDir,'/',FileBaseName,'.result.html'],ResultFile), file_base_name(ResultFile,BaseResultFile), tell(ResultFile), once(logOnFailure(testTQFileWriteHTML(FileName,'WebUser',CPU,Result,Title,Mods))), once(memo_result(Result)), told, % Record Result getCputime(TimeElapsed), TotalTime is TimeElapsed - TimeStart, (tq_ignored -> true ; (( (retract(oddeven) -> writeFmt(Dest,' ',[]) ; (writeFmt(Dest,' ',[]),assert(oddeven))), color_result(Result,ResultColor),!, once(( catch((CPU is 0),_,fail) -> ColorTime=' < 2ms' ; ColorTime = CPU )),!, writeFmt(Dest,' \n',[FileBaseName,Title,BaseResultFile,ResultColor,Result,ColorTime,Mods]) )) ), retractAllProlog(last_tq(_)), assert(last_tq(FileBaseName)), flush_output(Dest). color_result('Skipped',blue):-!. color_result('Syntax_Errors',blue):-!. color_result('Incomplete',purple):-!. color_result('Passed',green):-!. color_result('Passed_Likely',green):-!. color_result(_,orange):-!. memo_result('Skipped') :-global_increment('Tests Skipped'),!. memo_result('Syntax_Errors') :-global_increment('Tests Skipped'),!. memo_result('Incomplete') :-global_increment('Tests Incomplete'),global_increment('Tests Run'),global_increment('Tests Failed'),!,write('
\n'),dump_table,write('
\n'). memo_result(Result) :-atom_codes(Result,[80|_]) ,!,global_increment('Tests Passed'),global_increment('Tests Run'),!. memo_result(Result) :-atom_codes(Result,[70|_]) ,!,global_increment('Tests Failed'),global_increment('Tests Run'),!,write('
\n'),dump_table,write('
\n'). memo_result(Result) :-writeDebug(unscored(Result)),!. memo_result(Result) . dump_table:- listing_template(sigmaCache(tabling,_,_)), listing_template(sigmaCache(found,_,_)), listing_template(sigmaCache(failed,_,_)). % ======================================================================================== % Run Batch File "FileName" to HTML Output "ResultFilename" as "User" and return "TimeRequired","Result" and "Title" % ======================================================================================== :-dynamic(query_time/1). :-dynamic(debug_tests/0). testTQFileWriteHTML(FileName,User,TimeRequired,Result,Title,Mods):-debug_tests,!, file_base_name(FileName,FileBaseName), writeModeSet(html),!, getPrettyDateTime(DateTime), writeFmt('~wMode: Inference-201
Version: SWI-Prolog 4.0.10
Filename:~w\n\nRan: ~w\n
', [FileBaseName,FileBaseName,FileBaseName,DateTime]), setSigmaOption((opt_timeout=120)), %2 minutes setSigmaOption((opt_debug=on)), testTQFileWriteHTML0(FileName,User,TimeRequired,Result,Title,Mods), writeFmt('
\n',[]). testTQFileWriteHTML(FileName,User,TimeRequired,Result,Title,Mods):- file_base_name(FileName,FileBaseName), writeModeSet(html),!, getPrettyDateTime(DateTime), writeFmt('~wMode: Inference-201
Version: SWI-Prolog 4.0.10
Filename:~w\n\nRan: ~w\n
', [FileBaseName,FileBaseName,FileBaseName,DateTime]), setSigmaOption((opt_timeout=600)), %10 minutes setSigmaOption((opt_debug=off)), testTQFileWriteHTML0(FileName,User,TimeRequired1,Result1,Title1,Mods1), once(((Result1='Passed',TimeRequired=TimeRequired1,Result=Result1,Title=Title1,Mods=Mods1); (( writeFmt('\n
Retaking again with debug on and 45 seconds of search
\n',[]), setSigmaOption((opt_timeout=45)), % 45 seconds setSigmaOption((opt_debug=on)), testTQFileWriteHTML0(FileName,User,TimeRequired,Result,Title,Mods) )))), writeFmt('
\n',[]). testTQFileWriteHTML0(FileName,User,TimeRequired,Result,Title,Mods):- make, file_directory_name(FileName,Dir),ignore(catch(cd(Dir),_,true)), file_base_name(FileName,FileBaseName), %writeFmt(user_error,'~q.\n',[Dir + FileBaseName = FileName]), flag('Axioms Compiled',_,0), logOnFailure(retractAllProlog(query_time(_))), logOnFailure(retractAllProlog(answer_found(_))), logOnFailure(retractAllProlog(answer_found_t(_))), logOnFailure(retractAllProlog(tq_attempted_query)), retractAllProlog(tq_missed_one_answer), retractAllProlog(tq_least_one_answer), retractAllProlog(tq_ignored), retractAllProlog(tq_skipped), logOnFailure(safe_file_open(FileName,'r',INPUT)), repeat, writeModeSet(html), once(source_from_stream(INPUT,Chars,Formula,Vars)),nonvar(Formula), logOnFailure(isSigmaOption(opt_ctx_assert=Ctx)), logOnFailure(isSigmaOption(opt_kb=KB)), %logOnFailure(once(toMarkUp(html,formula(Formula),Vars,Out))),writeFmt('
~w
',[Out]), logOnFailure(once(invokeOperation(verbose,Formula,Ctx,Tracking,KB,User,Vars))), at_end_of_stream(INPUT),!, file_close(INPUT), evaluate_result(Result),!, create_title(FileName,Title), create_mods(FileName,Mods), logOnFailure(( ignore(retract(query_time(TimeRequired))), ignore((TimeRequired='< 2ms')) , ignore((Result='Passed')), ignore((Title=FileName)), writeFmt('
CPUTIME = ~w',[TimeRequired]), color_result(Result,Color), writeFmt('
RESULT = ~w',[Color,Result]) )). create_title(FileName,Title):- sandbox((findall(T,retract(title(T)),TTitle),flatten(TTitle,FlatTitle),concat_atom(FlatTitle,' ',Title))). create_title(FileName,FileName):-!. create_mods(FileName,Title):- sandbox((findall(T,retract(mods(T)),TTitle),flatten(TTitle,FlatTitle),concat_atom(FlatTitle,' ',Title))). create_mods(FileName,'.full.'):-!. evaluate_result('Skipped'):- tq_skipped,!. evaluate_result('Syntax_Errors'):-not(tq_attempted_query),!. evaluate_result('Incomplete'):- tq_missed_one_answer,tq_least_one_answer,!. evaluate_result('Failed_Incomplete'):- once(tq_missed_one_answer),not(tq_least_one_answer),!. evaluate_result('Passed'):- once(tq_least_one_answer), not(tq_missed_one_answer),!. evaluate_result('Passed_Likely'):- once(tq_attempted_query), not(tq_missed_one_answer),!. evaluate_result('Passed_Soundness'):- tq_least_one_answer,!. evaluate_result('Syntax_Errors'):-!. % TODO %%retain_answer(X):-!. retain_answer(Var):-var(Var),!. retain_answer(:):-!. retain_answer((_=X)):-!,retain_answer(X),!. retain_answer((_:_:X^_G33048)):-!,retain_answer(X),!. retain_answer(A * B):-!,retain_answer(A),retain_answer(B),!. retain_answer(X):-is_list(X),!,retain_answer_list(X). retain_answer(X):-compound(X),!,ra(X),X=..XX,retain_answer_list(XX). retain_answer(X):-number(X),!,HX is X * 1.0,number_codes(HX,Codes),ra(Codes),!. retain_answer(X):-ra(X),!. %,sendNote(debug,tqTester,answer_found(X),' '). ra(X):-%writeDebug(retained(X)), catch(asserta(answer_found(X)),_,true). retain_answer_list(V):-isSlot(V),!. retain_answer_list([]). retain_answer_list([H|T]):-!, retain_answer(H),!, retain_answer_list(T). retain_answer_list(_). parse_sigma_lf(Options):-memberchk(submit='Negated',Options),!,make, getSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), getSigmaOption(opt_kb='Merge',KB), getSigmaOption(sf=surf,Assertion), atom_codes(Assertion,Assertion_Chars), getSigmaOption(user='Web',User), getSigmaOption(interp='kif',Interp), logOnFailure(getSigmaOption(tn=_,TN)), logOnFailure(getCleanCharsWhitespaceProper(Assertion_Chars,Show)),!, logOnFailure(getSurfaceFromChars(Show,STERM,Vars)),!, logOnFailure(getSigmaTermFromSurface(STERM,NEWFORM)),!, getNegationForm(NEWFORM,Vars,Output,Paths), writeObject('$spacer',Vars), writeObject(Output,Vars), writeObject('$spacer',Vars), writeObject('Paths '(Paths),Vars),!. parse_sigma_lf(Options):-memberchk(submit='Conjunctive',Options),!,make, getSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), getSigmaOption(opt_kb='Merge',KB), getSigmaOption(sf=surf,Assertion), atom_codes(Assertion,Assertion_Chars), getSigmaOption(user='Web',User), getSigmaOption(interp='kif',Interp), logOnFailure(getSigmaOption(tn=_,TN)), logOnFailure(getCleanCharsWhitespaceProper(Assertion_Chars,Show)),!, logOnFailure(getSurfaceFromChars(Show,STERM,Vars)),!, logOnFailure(getSigmaTermFromSurface(STERM,NEWFORM)),!, getNegationForm(NEWFORM,Vars,NNF,Paths), getConjNF(NNF,Output), writeObject('$spacer',Vars), writeObject(Output,Vars). parse_sigma_lf(Options):-memberchk(submit='Disjunctive',Options),!,make, getSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), getSigmaOption(opt_kb='Merge',KB), getSigmaOption(sf=surf,Assertion), atom_codes(Assertion,Assertion_Chars), getSigmaOption(user='Web',User), getSigmaOption(interp='kif',Interp), logOnFailure(getSigmaOption(tn=_,TN)), logOnFailure(getCleanCharsWhitespaceProper(Assertion_Chars,Show)),!, logOnFailure(getSurfaceFromChars(Show,STERM,Vars)),!, logOnFailure(getSigmaTermFromSurface(STERM,NEWFORM)),!, getNegationForm(NEWFORM,Vars,NNF,Paths), getDisjForm(NNF,Output), writeObject('$spacer',Vars), writeObject(Output,Vars). parse_sigma_lf(Options):- (memberchk(submit='Entailment',Options);memberchk(submit='Given',Options)), !,make, getSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), getSigmaOption(opt_kb='Merge',KB), getSigmaOption(sf=surf,Assertion), atom_codes(Assertion,Assertion_Chars), getSigmaOption(user='Web',User), getSigmaOption(interp='kif',Interp), logOnFailure(getSigmaOption(tn=_,TN)), logOnFailure(getCleanCharsWhitespaceProper(Assertion_Chars,Show)),!, logOnFailure(getSurfaceFromChars(Show,STERM,Vars)),!, logOnFailure(getSigmaTermFromSurface(STERM,NEWFORM)),!, getAssertionClauses(PreQ,KB,Ctx,NEWFORM,Output,Vars,T), writeObject_conj(Output,Vars), writeObject('$spacer',Vars), writeObject('Paths '(T),Vars),!. parse_sigma_lf(Options):- memberchk(submit='True',Options),!,make, getSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), getSigmaOption(opt_kb='Merge',KB), getSigmaOption(sf=surf,Assertion), atom_codes(Assertion,Assertion_Chars), getSigmaOption(user='Web',User), getSigmaOption(interp='kif',Interp), logOnFailure(getSigmaOption(tn=_,TN)), logOnFailure(getCleanCharsWhitespaceProper(Assertion_Chars,Show)),!, logOnFailure(getSurfaceFromChars(Show,STERM,Vars)),!, logOnFailure(getSigmaTermFromSurface(STERM,NEWFORM)),!, getAssertionClauses(PreQ,KB,Ctx,NEWFORM,Output,Vars,_), writeObject('$spacer',Vars), writeObject(Output,Vars). parse_sigma_lf(Options):- memberchk(submit='False',Options),!,make, getSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), getSigmaOption(opt_kb='Merge',KB), getSigmaOption(sf=surf,Assertion), atom_codes(Assertion,Assertion_Chars), getSigmaOption(user='Web',User), getSigmaOption(interp='kif',Interp), logOnFailure(getSigmaOption(tn=_,TN)), logOnFailure(getCleanCharsWhitespaceProper(Assertion_Chars,Show)),!, logOnFailure(getSurfaceFromChars(Show,STERM,Vars)),!, logOnFailure(getSigmaTermFromSurface(STERM,NEWFORM)),!, getAssertionClauses(PreQ,KB,Ctx,not(NEWFORM),Output,Vars,_), writeObject('$spacer',Vars), writeObject(Output,Vars). parse_sigma_lf(Options):- memberchk(submit='Possible',Options),!,make, getSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), getSigmaOption(opt_kb='Merge',KB), getSigmaOption(sf=surf,Assertion), atom_codes(Assertion,Assertion_Chars), getSigmaOption(user='Web',User), getSigmaOption(interp='kif',Interp), logOnFailure(getSigmaOption(tn=_,TN)), logOnFailure(getCleanCharsWhitespaceProper(Assertion_Chars,Show)),!, logOnFailure(getSurfaceFromChars(Show,STERM,Vars)),!, logOnFailure(getSigmaTermFromSurface(STERM,NEWFORM)),!, getAssertionClauses(PreQ,KB,Ctx,possible(NEWFORM),Output,Vars,_), writeObject('$spacer',Vars), writeObject_conj(Output,Vars). parse_sigma_lf(Options):- memberchk(submit='Impossible',Options),!,make, getSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), getSigmaOption(opt_kb='Merge',KB), getSigmaOption(sf=surf,Assertion), atom_codes(Assertion,Assertion_Chars), getSigmaOption(user='Web',User), getSigmaOption(interp='kif',Interp), logOnFailure(getSigmaOption(tn=_,TN)), logOnFailure(getCleanCharsWhitespaceProper(Assertion_Chars,Show)),!, logOnFailure(getSurfaceFromChars(Show,STERM,Vars)),!, logOnFailure(getSigmaTermFromSurface(STERM,NEWFORM)),!, getAssertionClauses(PreQ,KB,Ctx,not(possible(NEWFORM)),Output,Vars,_), writeObject('$spacer',Vars), writeObject_conj(Output,Vars). parse_sigma_lf(Options):- memberchk(submit='All Forms',Options), getSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), getSigmaOption(opt_kb='Merge',_KB), getSigmaOption(data=instance,TN),!, writeKnownFormsTN(Ctx,KB:TN). parse_sigma_lf(Options):- memberchk(submit='sigmaCache',Options), getSigmaOption(opt_ctx_assert='ToplevelContext',Ctx), getSigmaOption(opt_kb='Merge',_KB), getSigmaOption(data=instance,TN),!, listing_template(sigmaCache(_,_,_,_,_,_,TN,_,_)), listing_template(sigmaCache(PredR,Fact,Type,_,KB,Agent,(surf(KB,TN) ))), listing_template(sigmaCache(PredR,Fact,Pre,Type,_,KB,Agent,(surf(KB,TN) * via(_,Vars)))), !. /* mkm:- tell(mkm), show_relations, told. show_relations:- retractall(shown_rel(_,_)),fail. show_relations:- sigmaCache(R, surface, Axiom, Vars, KBName, Context, Tracking, User, Status), show_relations(R),fail. show_relations:- sigmaCache(R, Axiom, Vars, KBName, Context, Tracking, User, Status), show_relations(R),fail. show_relations:- sigmaCache(R, Axiom, Vars, KBName, Context, Tracking, User), show_relations(R),fail. show_relations:-!. mk_length(R,A,P):- getArity(R,A),!, length(L,A), sigma_numbervars(L,0,_), P=..[R|L]. getArity(R,A):- sigmaCache(valence, surface, valence(R,A), Vars, KBName, Context, Tracking, User, Status). getArity(R,A):- sigmaCache(R, surface, P, Vars, KBName, Context, Tracking, User, Status), functor(P,R,A). getArity(R,A):- sigmaCache(R, GAF, Vars, KBName, Context, Tracking, User), functor(GAF,holds,HF), A is HF-1,!. getArity(R,2):-!. show_relations(R):- mk_length(R,A,P),!, show_relations(R,A,P). show_relations(R,A,P):- shown_rel(R,A),!. show_relations(R,A,P):- assert(shown_rel(R,A)), format( '% ~q/~w mapping_nt(~q,undefined). ',[R,A,P]),!. */ %%% Theorem proving examples from %%% Chang, C.L. and R.C.T. Lee. %%% Symbolic Logic and Mechanical Theorem Proving. %%% Academic Press, New York, 1973, pp. 298-305. %%% Note that the search driver predicate %%% can be invoked by search(query) as in %%% chang_lee_example8 or can be explicitly %%% included in the query as in chang_lee_example2. chang_lee_example2 :- nl, write(chang_lee_example2), pttp(( p(e,X,X), p(X,e,X), p(X,X,e), p(a,b,c), (p(U,Z,W) :- p(X,Y,U) , p(Y,Z,V) , p(X,V,W)), (p(X,V,W) :- p(X,Y,U) , p(Y,Z,V) , p(U,Z,W)), (query :- search(p(b,a,c))) )), time(query). chang_lee_example8 :- nl, write(chang_lee_example8), pttp(( l(1,a), d(X,X), (p(X) ; d(g(X),X)), (p(X) ; l(1,g(X))), (p(X) ; l(g(X),X)), (not_p(X) ; not_d(X,a)), (not_d(X,Y) ; not_d(Y,Z) ; d(X,Z)), (not_l(1,X) ; not_l(X,a) ; p(f(X))), (not_l(1,X) ; not_l(X,a) ; d(f(X),X)), (query :- (p(X) , d(X,a))) )), time(search(query)). kifnnf_pnnf(PNNF,KRVars,PNNF):-var(PNNF). kifnnf_pnnf('$VAR'(N),KRVars,'$VAR'(N)):-number(N),!. kifnnf_pnnf('$VAR'(N),KRVars,PrologNNF):-!, kifnnf_pnnf(N,KRVars,PrologNNF),!. kifnnf_pnnf(PNNF,KRVars,PNNF):-not(compound(PNNF)),!. kifnnf_pnnf([A|B],KRVars,[AA|BB]):-!, kifnnf_pnnf(A,KRVars,AA), kifnnf_pnnf(B,KRVars,BB). kifnnf_pnnf(and(A,B),KRVars,(AA,BB)):-!, kifnnf_pnnf(A,KRVars,AA), kifnnf_pnnf(B,KRVars,BB). kifnnf_pnnf(or(A,B),KRVars,(AA;BB)):-!, kifnnf_pnnf(A,KRVars,AA), kifnnf_pnnf(B,KRVars,BB). kifnnf_pnnf(not(A),KRVars,AA):-!, kifnnf_pnnf(A,KRVars,AM),!, AM=..[F|Args], atom_concat('not_',F,NF), AA=..[NF|Args],!. kifnnf_pnnf(Term,KRVars,PTerm):-!, Term=..List, kifnnf_pnnf(List,KRVars,PList),!, PTerm=..plList. ts(1):- tsurf(equal(X30, Y30)=>forall(Z30, attribute(X30, Z30)<=>attribute(Y30, Z30)),['THING1'=X30, 'THING2'=Y30, 'ATTR'=Z30]). ts(2):- tsurf(equal('AbstractionFn'(T1), U1) <=>forall(V1, instance(V1, T1) <=>attribute(V1, U1)),['CLASS'=T1, 'ATTR'=U1, 'INST'=V1]). ts(3):- tsurf((equal('MaxFn'(T27, U27), V27)=>equal(V27, T27)and greaterThan(T27, U27)or equal(V27, U27)and greaterThan(U27, T27)or equal(V27, T27)and equal(V27, U27)),['NUMBER1'=T27, 'NUMBER2'=U27, 'NUMBER'=V27]). ts(4):- tsurf(identityElement(S9, T9)=>forall(U9, instance(U9, 'DomainFn'(S9))=>equal('AssignmentFn'(S9, T9, U9), U9)), ['FUNCTION'=S9, 'ID'=T9, 'INST'=U9]). ts(5):- tsurf(instance(Z12, 'Integer')=>equal(Z12, 'PredecessorFn'('SuccessorFn'(Z12))),['INT'=Z12]). ts(6):- tsurf(inverse(N24, O24)=>forall(P24, forall(Q24, holds(N24, Q24, P24)<=>holds(O24, P24, Q24))),['REL1'=N24, 'REL2'=O24, 'INST1'=Q24, 'INST2'=P24]). ts(7):- tsurf(instance(H34, 'RangeFn'(I34))<=>exists(J34, holds(I34, J34, H34)),['INST1'=H34, 'REL'=I34, 'INST2'=J34]). ts(8):- tsurf((instance(A, 'ClassOfFn'(A))=>instance('ClassOfFn'(A),'Class')),['INST'=A]). ts(9):- tsurf((instance(A, 'Person') and attribute(A,'Male') => member(A,'ElksClubOrg')),['INST'=A]). ts(10):- tsurf((instance(A, 'Male') => member(A,'ElksClubOrg')),['INST'=A]). :- discontiguous(tsurf/1). tsurf(t10):-tsurf( equal('PlusFn'(A,B),C), [ 'PHYS' =A , 'PHYS1' = B, 'PHYS2' = C |_]). tsurf(t10a):-tsurf( equal('PlusFn'(A,A),'MultFn'(A,2)), [ 'Number' =A|_]). tsurf(t15):-tsurf( forall(X10, forall(Y10, forall(Z10, forall(A11, forall(B11, not exists(X10, exists(Y10, instance(Y10, 'CutSetFn'(Z10)) and instance(X10, 'MinimalCutSetFn'(Z10))and pathLength(Y10, A11) and pathLength(X10, B11)and lessThan(A11, B11)))))))), ['PATH1'=Y10, 'PATH2'=X10, 'GRAPH'=Z10, 'NUMBER1'=A11, 'NUMBER2'=B11|C11]). tsurf(sct):-tsurf(=>(and(instance(A, C), subclass(C, B)), instance(A, B)),['PATH1'=B, 'PATH2'=C, 'GRAPH'=A|_]). tsurf(t1):-tsurf(forall(A,p(A)),['ADVERT'=A|_]),!. tsurf(t2):-tsurf(exists(A,p(A)),['ADVERT'=A|_]),!. tsurf(t3):-tsurf(exists(A,p(A)),['ADVERT'=A|_]),!. tsurf(t4):-tsurf(=>(instance(A, 'Advertisement'), selling(A)),['ADVERT'=A|D]). tsurf(t5):-tsurf( =>( instance(A, 'Advertisement'), exists(B, selling(A,B)) ),['ADVERT'=A, 'OBJ'=B, 'SALE'=C|D]). tsurf(t11):-tsurf(=>(attribute(A, 'NuclearSuperPower'), exists(B, exists(C, exists(D, exists(E, and(superficialPart(E, A), and(superficialPart(D, A), and(attribute(E, C), and(attribute(D, B), and(instance(C, 'ColorProperty'), and(instance(B, 'ColorProperty'), not(equal(C, B))))))))))))), ['OBJ'=A, 'PART1'=E, 'PART2'=D, 'COLOR1'=C, 'COLOR2'=B|F]),!. tsurf(t6):-tsurf( ( =>( instance(A, 'Advertisement'), ( exists(B, and(refers(A, B), hasPurpose(A, exists(C, and(instance(C, 'Selling') ,patient(C, B))))))))),['ADVERT'=A, 'OBJ'=B, 'SALE'=C|D]). tsurf(t6b):-tsurf( ( =>( instance(A, 'Advertisement'), ( exists(B, and(refers(A, B), hasPurpose(A, exists(C, or(instance(C, 'Selling') ,patient(C, B))))))))),['ADVERT'=A, 'OBJ'=B, 'SALE'=C|D]). tsurf(t6a):-tsurf( ( =>( instance(A, 'Advertisement'), ( exists(B, and(refers(A, B), hasPurpose(A, exists(C, and(instance(C, 'Selling') ,patient(C, B, sueFn(C)))))))))),['ADVERT'=A, 'OBJ'=B, 'SALE'=C|D]). tsurf(t6bi):-tsurf( ( <=>( instance(A, 'Advertisement'), ( exists(B, and(refers(A, B), hasPurpose(A, exists(C, and(instance(C, 'Selling') ,patient(C, B, sueFn(C)))))))))),['ADVERT'=A, 'OBJ'=B, 'SALE'=C|D]). tsurf(t6c):-tsurf( ( =>( instance(A, 'Advertisement'), ( exists(B, and(refers(A, B), hasPurpose(A, exists(C, =>(instance(C, 'Selling') ,patient(C, B, sueFn(C)))))))))),['ADVERT'=A, 'OBJ'=B, 'SALE'=C|D]). tsurf(7):-tsurf(o,D). tsurf(8):-tsurf(A,['PHYS'=A|D]). tsurf(9):-tsurf(<=>(instance(A, 'Physical'), exists(B, exists(C, and(located(A, C), time(A, B))))), ['PHYS'=A, 'LOC'=C, 'TIME'=B|D]). tsurf(t9a):-tsurf(=>(instance(A, 'Physical'), exists(B, exists(C, and(located(A, C), time(A, B))))), ['PHYS'=A, 'LOC'=C, 'TIME'=B|D]). %tsurf(Surface,Vars):-tam(Surface,Vars),!. show_tsurf(O):- is_list(O),!,maplist(show_tsurf,O). show_tsurf(and(X,Y)):- show_tsurf(X),show_tsurf(Y). show_tsurf(O):- format('~N~n'),f_pprint(O),format('~N~n'). f_pprint(X):- guess_pretty(X), wdmsg(X). %f_pprint(X):- guess_pretty(X), pterm_to_sterm(X,S), f_print((S), [], _R). %:- use_module(library(wamcl_runtime)). %:- current_prolog_flag(os_argv,X),member('-t',X)-> true; set_prolog_flag(toplevel_goal,prolog). :- use_module(library(logicmoo_clif)). tsurf(Clause):- compound(Clause), guess_pretty(Clause), get_varname_list(KRVars), tsurf(Clause,KRVars). tsurf(Clause,KRVars):- format("% ============================================"), guess_pretty(KRVars+Clause), f_pprint(Clause), getAssertionClauses('KB','Ctx',Clause,Out,KRVars,FlagsL),!, ok_subst(FlagsL,'.',*, Flags),!, format("% ============================================"), show_tsurf(Out), show_tsurf(flags=Flags), format("% ============================================"),!. %writeTranslation(Clause). /* writeObject('$spacer',KRVars), writeObject(Clause,KRVars), writeObject('$spacer',KRVars), writeObject(PNNF,KRVars), writeObject('$spacer',KRVars), writeObject(Flags,KRVars),!, writeObject('$spacer',KRVars), writeObject_conj(Out,KRVars),!. */ writeq_conj(A):- !, show_tsurf(A). writeq_conj(and(Out1,Out2)):- writeq_conj(Out1), writeq_conj(Out2). writeq_conj([Out1|Out2]):- writeq_conj(Out1), writeq_conj(Out2). writeq_conj(Out):-writeq(Out),nl. sb(TN):- sigmaCache(_,_,Surf, Vars, KB,Ctx, TN, _,_), tsurf(Surf,Vars),!. /*---------------------------------------------------------------------- Debugging kit. writeSentenceBlock(ListOfClauses) displays a list of clauses, one per line. writeClauseBlock(Clause) displays a single clause in "Kowalski notation" writeTranslation(Formula) translates a formula and prints the result. :- public t1/0,t9/0,writeTranslation/1. */ writeSentenceBlock([Clause]) :- !, writeClauseBlock(Clause), nl. writeSentenceBlock([Clause|Clauses]) :- writeClauseBlock(Clause), write(' AND'), nl, writeSentenceBlock(Clauses). writeSentenceBlock([]) :- write('TRUE'), nl. writeClauseBlock(clause(PosAtoms, NegAtoms)) :- sigma_numbervars(PosAtoms, 0, N), sigma_numbervars(NegAtoms, N, _), writeClauseBlock(PosAtoms, ' v '), write(' <- '), writeClauseBlock(NegAtoms, ' & '), fail. writeClauseBlock(_). writeClauseBlock([Atom], _) :- !, print(Atom). writeClauseBlock([Atom|Atoms], Separator) :- print(Atom), write(Separator), writeClauseBlock(Atoms, Separator). writeClauseBlock([], _) :- write([]). writeTranslation(X) :- clausal_form(X, Y), writeSentenceBlock(Y), clausal_form_of_negation(X,N), nl,nl, writeSentenceBlock(N),!. t1 :- writeTranslation((a=>b) and (b=>c) and (c=>d) and (d=>a) => (a<=>d)). t2 :- writeTranslation(continuous(F,X) <=> all(Epsilon, (Epsilon > 0) => exists(Delta, (Delta > 0) and all(Y, (abs(Y-X) < Delta) => (abs(val(F,Y)-val(F,X)) < Epsilon) )))). t3n :- clausal_form_of_negation( ( subset(S1,S2) <=> all(X, member(X,S1) => member(X,S2) )) => ( subset(T1,T2) and subset(T2,T3) => subset(T1,T3) ) ,Y), writeSentenceBlock(Y). t3 :- clausal_form( ( subset(S1,S2) <=> all(X, member(X,S1) => member(X,S2) )) => ( subset(T1,T2) and subset(T2,T3) => subset(T1,T3) ) ,Y), writeSentenceBlock(Y). t4 :- writeTranslation(subset(T1,T2) and subset(T2,T3) => subset(T1,T3)). t5 :- writeTranslation((a=>b) and (b=>c)). t6g :- writeTranslation(not (a(X) and b(X))). t6e :- writeTranslation((a(X) => (exists(Y, b(X,Y))))). t7 :- writeTranslation((a and b) or c). t8 :- writeTranslation((a and b) or (a and not b) or (not a and b) or (not a and not b)). t9 :- writeTranslation( (true(P) <=> writeTranslation(w0,P)) and (writeTranslation(W1,P1 and P2) <=> writeTranslation(W1,P1) and writeTranslation(W1,P2)) and (writeTranslation(W1,P1 or P2) <=> writeTranslation(W1,P1) or writeTranslation(W1,P2)) and (writeTranslation(W1,P1 => P2) <=> (writeTranslation(W1,P1) => writeTranslation(W1,P2))) and (writeTranslation(W1,P1 <=> P2) <=> (writeTranslation(W1,P1) <=> writeTranslation(W1,P2))) and (writeTranslation(W1,not P1) <=> not writeTranslation(W1,P1)) and (writeTranslation(W1,know(A1,P1)) <=> all(W2,k(A1,W1,W2)=>writeTranslation(W2,P1))) and k(A1,W1,W1) and (k(A1,W1,W2) => (k(A1,W2,W3) => k(A1,W1,W3))) and (k(A1,W1,W2) => (k(A1,W1,W3) => k(A1,W2,W3))) and (writeTranslation(W1,know(A,P)) <=> all(W2,k(A,W1,W2) => writeTranslation(W2,P))) ). /*----------------------------------------------------------------------*/ /* error: 'Predicate Failed' getNegationForm(PIN,PNNF,forall(P20, forall(Q20, instance(P20, 'VariableArityRelation')=>not exists(Q20, valence(P20, Q20)))), toplevel, 0, 'BASE ONTOLOGY', ['REL'=P20, 'INT'=Q20|R20], _G4720, forall(P20, forall(Q20, instance(P20, 'VariableArityRelation')=>not exists(Q20, valence(P20, Q20)))), [], _G4723, _G4724) */ /* % error: 'Predicate Failed' getNegationForm(PIN,PNNF,forall(X10, forall(Y10, forall(Z10, forall(A11, forall(B11, not exists(X10, exists(Y10, instance(Y10, 'CutSetFn'(Z10))and instance(X10, 'MinimalCutSetFn'(Z10))and pathLength(Y10, A11)and pathLength(X10, B11)and lessThan(A11, B11)))))))), toplevel, 0, 'GRAPH THEORY', ['PATH1'=Y10, 'PATH2'=X10, 'GRAPH'=Z10, 'NUMBER1'=A11, 'NUMBER2'=B11|C11], _G12470, forall(X10, forall(Y10, forall(Z10, forall(A11, forall(B11, not exists(X10, exists(Y10, instance(Y10, Z11803)and instance(X10, A11804)and pathLength(Y10, A11)and pathLength(X10, B11)and lessThan(A11, B11)))))))), [Z11803, A11804], _G12473, _G12474) */ write_cnf_lit(and(C1,C2),Vars):-!, write_cnf_lit(C1,Vars),nl,nl, write_cnf_lit(C2,Vars). write_cnf_lit(C1,Vars):-!,nl,nl, write_cnf_c(C1,Vars). write_cnf_c(CNF,Vars):- c_lit(CNF,Lit), term_to_atom(Lit,Lit1), writeObject(Lit1,Vars). c_lit(or(C1,C2),L):-!, c_lit(C1,L1), c_lit(C2,L2), append(L1,L2,L). c_lit((C1),[C1]):-!. c_lit(not(C1),[C1]):-!. c_lit(C1,[not(C1)]):-!.
Test Source Test Result Query Time Predicates Used
~w ~w ~w ~w

Test Source	Test Result	Query Time	Time Total
~w	~w	~w	~w secs

~w	Run Now
~w	waiting	Currenty Running	waiting	Live	Batch Process	View

Sigma Basic Inference Engine Test Questions

document.writeln("Tests on version 1.01 ran " + document.lastModified);

Sigma Inference Engine Test Question Results

Ran at: ~w\n

Retaking again with debug on and 45 seconds of search