4:- use_module(library(pfc_lib)). 5:- file_begin(pfc). 7:- set_fileAssertMt(xlisting_web). 9
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)}.
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').
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').
104prover_name(proverCyc,"CycL (LogicMOO)").
105prover_name(proverPFC,"PFC").
106prover_name(proverPTTP,"PTTP (LogicMOO)").
107prover_name(proverDOLCE,"DOLCE (LogicMOO)").
108
109
110
129:- xlisting_web:kb_global(search_filter_name_comment/3). 130
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
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")