4:- use_module(library(pfc_lib)).    5:- file_begin(pfc).    6%:- set_defaultAssertMt(xlisting_web).
    7:- set_fileAssertMt(xlisting_web).    8%:- use_module(library(pfc)).
    9
   10/*
   11:- baseKB:export(baseKB:never_assert_u/2).
   12:- xlisting_web:import(baseKB:never_assert_u/2).
   13:- baseKB:export(baseKB:never_retract_u/2).
   14:- xlisting_web:import(baseKB:never_retract_u/2).
   15*/
 param_default_value(?ARG1, ?ARG2) is det
Param Default Value.
   22:- mpred_trace_exec.   23:- kb_global(baseKB:param_default_value/2).   24==> singleValueInArg(param_default_value,2).
   25
   26:- kb_global(xlisting_web:combo_default_value/3).   27==> singleValueInArg(combo_default_value,3).
   28
   29combo_default_value(human_language,1,'EnglishLanguage').
   30combo_default_value(N,_,V) ==> param_default_value(N,V).
   31combo_default_value(Pred,Arity,_Value)==> {kb_shared(Pred/Arity)}.
   32%:- brea.
 human_language(?ARG1) is det
Human Language.
   40human_language("AlbanianLanguage").
   41human_language("ArabicLanguage").
   42human_language("BasqueLanguage").
   43human_language("CatalanLanguage").
   44human_language("ChineseLanguage").
   45human_language("DanishLanguage").
   46human_language("EnglishLanguage"). 
   47human_language("FarsiLanguage").
   48human_language("FinnishLanguage").
   49human_language("FrenchLanguage").
   50human_language("GalicianLanguage").
   51human_language("GermanLanguage").
   52human_language("HebrewLanguage").
   53human_language("IndonesianLanguage").
   54human_language("ItalianLanguage").
   55human_language("JapaneseLanguage").
   56human_language("MalayLanguage").
   57human_language("NorwegianBokmalLanguage").
   58human_language("NorwegianNorskLanguage").
   59human_language("PolishLanguage").
   60human_language("PortugueseLanguage").
   61human_language("SpanishLanguage").
   62human_language("ThaiLanguage").
   63human_language("de").
   64
   65
   66param_default_value(request_uri,'/logicmoo/').
   67param_default_value(olang,'CLIF').
   68param_default_value(find,'tHumanHead').
   69
   70:- forall(
   71  member(N=V,[
   72     webproc=edit1term,
   73     'prover'='proverPTTP',
   74     'apply'='find',
   75     'term'='',
   76     action_below=query,
   77     'action_above'='query',
   78     'context'='BaseKB',
   79     'flang'='CLIF','find'='tHumanHead','xref'='Overlap','POS'='N',
   80     'humanLang'='EnglishLanguage','olang'='CLIF','sExprs'='1',
   81     'webDebug'='1','displayStart'='0','displayMax'='100000']),xlisting_web:ain(param_default_value(N,V))).   82
   83
   84combo_default_value(logic_lang_name,2,'CLIF').
 logic_lang_name(?ARG1, ?ARG2) is det
Logic Language Name.
   89logic_lang_name('CLIF',"Common Logic (CLIF)").
   90logic_lang_name('CycL',"CycL").
   91logic_lang_name('Prolog',"Prolog").
   92logic_lang_name('CGIF',"CG-Logic (CGIF)").
   93logic_lang_name('SUO-KIF',"SUO-KIF").
   94logic_lang_name('TPTP',"TPTP (fof/cnf)").
   95logic_lang_name('OWL',"OWL").
   96
   97
   98
   99combo_default_value(prover_name,2,'proverPTTP').
 prover_name(?ARG1, ?ARG2) is det
Prover Name.
  104prover_name(proverCyc,"CycL (LogicMOO)").
  105prover_name(proverPFC,"PFC").
  106prover_name(proverPTTP,"PTTP (LogicMOO)").
  107prover_name(proverDOLCE,"DOLCE (LogicMOO)").
  108
  109
  110
  111/*
  112combo_default_value(partOfSpeech,2,'N').
  113%% partOfSpeech( ?ARG1, ?ARG2) is det.
  114%
  115% Part Of Speech.
  116%
  117:- kb_shared(partOfSpeech/2).
  118partOfSpeech("N","Noun").
  119partOfSpeech("V","Verb").
  120partOfSpeech("J","Adjective").
  121partOfSpeech("Z","Adverb").
  122*/
 search_filter_name_comment(?ARG1, ?ARG2, ?ARG3) is det
Search Filter Name Comment.
  129:- xlisting_web:kb_global(search_filter_name_comment/3).  130
  131%:- xlisting_web:dynamic(xlisting_web:search_filter_name_comment/3).
  132%:- baseKB:import(xlisting_web:search_filter_name_comment/3).
  133search_filter_name_comment(hideMeta,'Hide Meta/BookKeeping','1').
  134search_filter_name_comment(hideSystem,'Skip System','0').
  135search_filter_name_comment(hideTriggers,'Hide Triggers','1').
  136search_filter_name_comment(skipLarge,'No Large','0').
  137search_filter_name_comment(showHyperlink,'Hyperlink','1').
  138search_filter_name_comment(showFilenames,'Filenames','1').
  139search_filter_name_comment(showHUGE,'showHUGE','1').
  140search_filter_name_comment(wholePreds,'Whole Preds','1').
  141search_filter_name_comment(skipVarnames,'Skip Varnames','0').
  142search_filter_name_comment(hideClauseInfo,'Skip ClauseInfo','0').
  143search_filter_name_comment(hideXRef,'Skip XREF','1').
  144search_filter_name_comment(showAll,'Show All','0').
  145  
  146
  147%:- add_import_module(baseKB, xlisting_web,end).
  148
  149
  150search_filter_name_comment(N,_,D)==>param_default_value(N,D).
  151
  152combo_default_value(is_context,2,'BaseKB').
  153
  154:- kb_global(xlisting_web:xaction_menu_item/2).  155
  156combo_default_value(xaction_menu_item,2,'query').
  157
  158%arg2Isa(xaction_menu_item,xtPrologString).
 xaction_menu_item(?ARG1, ?ARG2) is det
Action Menu Item.
  165xaction_menu_item('Find',"Find $item").
  166xaction_menu_item('Forward',"Forward Direction").
  167xaction_menu_item('Backward',"Backward Direction").
  168xaction_menu_item('query',"Query $item").
  169xaction_menu_item('repropagate',"Repropagate $item (ReAssert)").
  170xaction_menu_item('remove',"Remove $item(Unassert)").   
  171xaction_menu_item('Code',"Assume Theorem (Disable $item)").
  172xaction_menu_item('prologSingleValued',"Make $item Single Valued").
  173xaction_menu_item('prologBuiltin',"Impl $item in Prolog").
  174xaction_menu_item('prologPTTP',"Impl $item in PTTP").
  175xaction_menu_item('prologDRA',"Impl $item in DRA").
  176xaction_menu_item('prologPfc',"Impl $item in PFC").
  177xaction_menu_item('Monotonic',"Treat $item Monotonic").
  178xaction_menu_item('NonMonotonic',"Treat $item NonMonotonic")