5%:- set_defaultAssertMt(xlisting_web).
    6
    7:- set_fileAssertMt(xlisting_web).% WAS OFF  :- system:expects_dialect(pfc).
    8
    9/*
   10:- baseKB:export(baseKB:never_assert_u/2).
   11:- xlisting_web:import(baseKB:never_assert_u/2).
   12:- baseKB:export(baseKB:never_retract_u/2).
   13:- xlisting_web:import(baseKB:never_retract_u/2).
   14*/

 param_default_value(?ARG1, ?ARG2) is det

Param Default Value.

   21% :- mpred_trace_exec.
   22:- kb_global(baseKB:param_default_value/2).   23singleValueInArg(param_default_value,2).
   24
   25:- kb_global(xlisting_web:combo_default_value/3).   26singleValueInArg(combo_default_value,3).
   27
   28combo_default_value(human_language,1,'EnglishLanguage').

 baseKB:param_default_value(?ARG1, ?ARG2) is det

Param Default Value.

   34baseKB:param_default_value(N,V):- combo_default_value(N,_,V).
   35% combo_default_value(Pred,Arity,_Value) ==> {kb_shared(Pred/Arity)}.
   36%:- brea.

 human_language(?ARG1) is det

Human Language.

   43:- kb_global(baseKB:human_language/1).   44human_language("AlbanianLanguage").
   45human_language("ArabicLanguage").
   46human_language("BasqueLanguage").
   47human_language("CatalanLanguage").
   48human_language("ChineseLanguage").
   49human_language("DanishLanguage").
   50human_language("EnglishLanguage"). 
   51human_language("FarsiLanguage").
   52human_language("FinnishLanguage").
   53human_language("FrenchLanguage").
   54human_language("GalicianLanguage").
   55human_language("GermanLanguage").
   56human_language("HebrewLanguage").
   57human_language("IndonesianLanguage").
   58human_language("ItalianLanguage").
   59human_language("JapaneseLanguage").
   60human_language("MalayLanguage").
   61human_language("NorwegianBokmalLanguage").
   62human_language("NorwegianNorskLanguage").
   63human_language("PolishLanguage").
   64human_language("PortugueseLanguage").
   65human_language("SpanishLanguage").
   66human_language("ThaiLanguage").
   67human_language("de").
   68
   69
   70baseKB:param_default_value(request_uri,'/swish/lmxref/').
   71baseKB:param_default_value(olang,'CLIF').
   72baseKB:param_default_value(fa,'tHumanHead').
   73
   74:- forall(
   75  member(N=V,[
   76     webproc=edit1term,
   77     'prover'='proverPTTP',
   78     'apply'='fa',
   79     'term'='',
   80     action_below=query,
   81     'action_above'='query',
   82     'context'='BaseKB',
   83     'flang'='CLIF','fa'='tHumanHead','xref'='Overlap','POS'='N',
   84     'humanLang'='EnglishLanguage','olang'='CLIF','sExprs'='0','webDebug'='1',
   85     'displayStart'='0','displayMax'='100000']),
   86  xlisting_web:ain(baseKB:param_default_value(N,V))).   87
   88
   89combo_default_value(logic_lang_name,2,'CLIF').

 logic_lang_name(?ARG1, ?ARG2) is det

Logic Language Name.

   94logic_lang_name('E2C',"Logicmoo English (E2C)").
   95logic_lang_name('CLIF',"Common Logic (CLIF)").
   96logic_lang_name('CycL',"CycL").
   97logic_lang_name('Prolog',"Prolog").
   98logic_lang_name('CGIF',"CG-Logic (CGIF)").
   99logic_lang_name('SUO-KIF',"SUO-KIF").
  100logic_lang_name('TPTP',"TPTP (fof/cnf)").
  101logic_lang_name('OWL',"OWL").
  102
  103
  104
  105combo_default_value(prover_name,2,'proverPTTP').

 prover_name(?ARG1, ?ARG2) is det

Prover Name.

  110:- kb_global(prover_name/2).  111prover_name(proverCyc,"CycL (LogicMOO)").
  112prover_name(proverPFC,"PFC").
  113prover_name(proverPTTP,"PTTP (LogicMOO)").
  114prover_name(proverDOLCE,"DOLCE (LogicMOO)").
  115
  116
  117
  118/*
  119combo_default_value(partOfSpeech,2,'N').
  120%% partOfSpeech( ?ARG1, ?ARG2) is det.
  121%
  122% Part Of Speech.
  123%
  124:- kb_shared(partOfSpeech/2).
  125partOfSpeech("N","Noun").
  126partOfSpeech("V","Verb").
  127partOfSpeech("J","Adjective").
  128partOfSpeech("Z","Adverb").
  129*/

 search_filter_name_comment(?ARG1, ?ARG2, ?ARG3) is det

Search Filter Name Comment.

  136% :- kb_global(search_filter_name_comment/3).
  137
  138%:- xlisting_web:dynamic(xlisting_web:search_filter_name_comment/3).
  139%:- baseKB:import(xlisting_web:search_filter_name_comment/3).
  140search_filter_name_comment(hideMeta,'Hide Meta/BookKeeping','1').
  141search_filter_name_comment(hideSystem,'Skip System','0').
  142search_filter_name_comment(hideTriggers,'Hide Triggers','1').
  143search_filter_name_comment(skipLarge,'No Large','0').
  144search_filter_name_comment(showHyperlink,'Hyperlink','1').
  145search_filter_name_comment(showFilenames,'Filenames','1').
  146search_filter_name_comment(showHUGE,'showHUGE','1').
  147search_filter_name_comment(wholePreds,'Whole Preds','1').
  148search_filter_name_comment(skipVarnames,'Skip Varnames','0').
  149search_filter_name_comment(hideClauseInfo,'Skip ClauseInfo','0').
  150search_filter_name_comment(hideXRef,'Skip XREF','1').
  151search_filter_name_comment(showAll,'Show All','0').
  152  
  153
  154%:- add_import_module(baseKB, xlisting_web,end).
  155
  156
  157% % %
  158search_filter_name_comment(N,_,D)==>baseKB:param_default_value(N,D).
  159
  160combo_default_value(is_context,2,'BaseKB').
  161
  162:- kb_global(xlisting_web:xaction_menu_item/2).  163
  164combo_default_value(xaction_menu_item,2,'query').
  165
  166%arg2Isa(xaction_menu_item,xtPrologString).

 xaction_menu_item(?ARG1, ?ARG2) is det

Action Menu Item.

  173xaction_menu_item('Find',"Find $item").
  174xaction_menu_item('Forward',"Forward Direction").
  175xaction_menu_item('Backward',"Backward Direction").
  176xaction_menu_item('query',"Query $item").
  177xaction_menu_item('repropagate',"Repropagate $item (ReAssert)").
  178xaction_menu_item('remove',"Remove $item(Unassert)").   
  179xaction_menu_item('Code',"Assume Theorem (Disable $item)").
  180xaction_menu_item('prologSingleValued',"Make $item Single Valued").
  181xaction_menu_item('prologBuiltin',"Impl $item in Prolog").
  182xaction_menu_item('prologPTTP',"Impl $item in PTTP").
  183xaction_menu_item('prologDRA',"Impl $item in DRA").
  184xaction_menu_item('prologPfc',"Impl $item in PFC").
  185xaction_menu_item('Monotonic',"Treat $item Monotonic").
  186xaction_menu_item('NonMonotonic',"Treat $item NonMonotonic")