6
7:- set_fileAssertMt(xlisting_web). 8
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').
34baseKB:param_default_value(N,V):- combo_default_value(N,_,V).
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').
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').
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
137
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
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")