20:- module(mpred_hooks,[
29differentTerms/2,
30relax_term/6,
31fix_sentence/2,
32holds_f/1,
33holds_f/2,
34holds_f/3,
35holds_f/4,
36holds_f/5,
37holds_f/6,
38holds_f/7,
39holds_f/8,
40holds_plist_t/2,
41holds_relaxed_0_t/4,
42holds_relaxed_t/3,
43holds_t/1,
44holds_t/2,
45holds_t/3,
46holds_t/4,
47holds_t/5,
48holds_t/6,
49holds_t/7,
50holds_t/8,
51holds_f_p2/2,
52holds_relaxed_0_f/4,
53holds_relaxed_f/3,
54assertion_f/1,
55assertion_t/1,
56call_f/3,
57call_f/4,
58call_f/5,
59call_f/6,
60call_f/7,
61call_f/8,
62call_f/9,
63call_mt_f/4,
64call_mt_f/5,
65call_mt_f/6,
66call_mt_f/7,
67call_mt_f/8,
68call_mt_f/9,
69call_mt_f/10,
70call_mt_f/11,
71call_mt_t/4,
72call_mt_t/5,
73call_mt_t/6,
74call_mt_t/7,
75call_mt_t/8,
76call_mt_t/9,
77call_mt_t/10,
78call_mt_t/11,
79call_which_t/3,
80call_which_t/4,
81call_which_t/5,
82call_which_t/6,
83call_which_t/7,
84call_which_t/8,
85call_which_t/9,
86call_whichlist_t/3,
87callable_tf/2,
88
89xcall_f/1,
90xcall_f/2,
91xcall_f/3,
92xcall_f/4,
93xcall_f/5,
94xcall_f/6,
95xcall_f/7,
96xcall_f/8,
97xcall_f/9,
98xcall_f/10,
99xcall_t/1,
100xcall_t/2,
101xcall_t/3,
102xcall_t/4,
103xcall_t/5,
104xcall_t/6,
105xcall_t/7,
106xcall_t/8,
107xcall_t/9,
108xcall_t/10,
109
110mpred_f/1,
111which_f/1,
112(which_t)/1,
113
114add_arg_parts_of_speech/4,
115verb_after_arg/3,
116
124print_sentence/1,
125argIsa_call_or_undressed/4,
126compute_value/2,
127compute_value_no_dice/2,
131flatten_append/3,
135insert_into/4,
136into_plist/2,
137into_plist_arities/4,
138inverse_args/2,
139isCycPredArity_ignoreable/2,
140list_update_op/3,
142
143mpred_fact_arity/2,
147never_mpred_tcall/1,
148prologHybridFact/1,
149replace_arg/4,
150replace_nth_arglist/4,
151replace_nth_ref/5,
152same_vars/2,
155update_value/3
156]). 157
158
160
162:- system:import(replace_arg/4). 175
176:- meta_predicate
177 holds_f(*,?,?,?,?,?),
178 holds_f(*,?,?,?,?,?,?),
179 holds_t(*,?,?,?,?,?),
180 holds_t(*,?,?,?,?,?,?). 181 182 183
184
185
186:- meta_predicate
187 188 call_f(*,*,?),
189 190 call_f(*,*,?,?,?,?),
191 192 call_f(*,*,?,?,?,?,?,?),
193 194 call_mt_f(*,*,?,?,?,?),
195 196 call_mt_f(*,*,?,?,?,?,?,?),
197 198 call_mt_t(*,?,?,?),
199 200 call_mt_t(*,*,?,?,?),
201 202 call_mt_t(*,*,?,?,?,?),
203 204 call_mt_t(*,*,?,?,?,?,?),
205 206 call_mt_t(*,*,?,?,?,?,?,?),
207 208 xcall_f(?,?,?),
209 210 xcall_f(*,?,?,?),
211 212 xcall_f(*,?,?,?,?,?). 213
218
219:- meta_predicate
220
221 call_f(?,*,?),
222 call_f(?,?,?,?),
223 call_f(?,*,?,?,?),
224 call_f(?,*,?,?,?,?),
225 call_f(?,*,?,?,?,?,?),
226 call_f(?,*,?,?,?,?,?,?),
227 call_mt_f(?,?,?,?),
228 call_mt_f(?,*,?,?,?),
229 call_mt_f(?,*,?,?,?,?),
230 call_mt_f(?,*,?,?,?,?,?),
231 call_mt_f(?,*,?,?,?,?,?,?),
232 call_mt_t(?,?,?,?),
233 call_mt_t(?,*,?,?,?),
234 call_mt_t(?,*,?,?,?,?),
235 call_mt_t(?,*,?,?,?,?,?),
236 call_mt_t(?,*,?,?,?,?,?,?),
237 call_which_t(?,*,?),
238 call_which_t(?,?,?,?),
239 call_which_t(?,*,?,?,?),
240 call_which_t(?,*,?,?,?,?),
241 call_which_t(?,*,?,?,?,?,?),
242 call_which_t(?,*,?,?,?,?,?,?),
243 xcall_f(0),
244 xcall_f(*,?),
245 xcall_f(?,?,?),
246 xcall_f(*,?,?,?),
247 xcall_f(*,?,?,?,?),
248 xcall_f(*,?,?,?,?,?),
249 xcall_f(*,?,?,?,?,?,?),
250 xcall_t(0),
251 xcall_t(*,?),
252 xcall_t(?,?,?),
253 xcall_t(*,?,?,?),
254 xcall_t(*,?,?,?,?),
255 xcall_t(*,?,?,?,?,?),
256 xcall_t(*,?,?,?,?,?,?). 257
258:- meta_predicate xcall_f(0). 259:- meta_predicate xcall_f(*,?). 260:- meta_predicate xcall_f(?,?,?). 261:- meta_predicate xcall_f(*,?,?,?). 262:- meta_predicate xcall_f(*,?,?,?,?). 263:- meta_predicate xcall_f(*,?,?,?,?,?). 264:- meta_predicate xcall_f(*,?,?,?,?,?,?). 265:- meta_predicate xcall_t(0). 266:- meta_predicate xcall_t(*,?). 267:- meta_predicate xcall_t(?,?,?). 268:- meta_predicate xcall_t(*,?,?,?). 269:- meta_predicate xcall_t(*,?,?,?,?). 270:- meta_predicate xcall_t(*,?,?,?,?,?). 271:- meta_predicate xcall_t(*,?,?,?,?,?,?). 272:- meta_predicate call_f(?,*,?). 273:- meta_predicate call_f(?,?,?,?). 274:- meta_predicate call_f(?,*,?,?,?). 275:- meta_predicate call_f(?,*,?,?,?,?). 276:- meta_predicate call_f(?,*,?,?,?,?,?). 277:- meta_predicate call_f(?,*,?,?,?,?,?,?). 278:- meta_predicate call_mt_f(?,?,?,?). 279:- meta_predicate call_mt_f(?,*,?,?,?). 280:- meta_predicate call_mt_f(?,*,?,?,?,?). 281:- meta_predicate call_mt_f(?,*,?,?,?,?,?). 282:- meta_predicate call_mt_f(?,*,?,?,?,?,?,?). 283:- meta_predicate call_mt_t(?,?,?,?). 284:- meta_predicate call_mt_t(?,*,?,?,?). 285:- meta_predicate call_mt_t(?,*,?,?,?,?). 286:- meta_predicate call_mt_t(?,*,?,?,?,?,?). 287:- meta_predicate call_mt_t(?,*,?,?,?,?,?,?). 288:- meta_predicate call_which_t(?,*,?). 289:- meta_predicate call_which_t(?,?,?,?). 290:- meta_predicate call_which_t(?,*,?,?,?). 291:- meta_predicate call_which_t(?,*,?,?,?,?). 292:- meta_predicate call_which_t(?,*,?,?,?,?,?). 293:- meta_predicate call_which_t(?,*,?,?,?,?,?,?). 294
295:- meta_predicate holds_f(*,?,?,?,?,?). 296:- meta_predicate holds_f(*,?,?,?,?,?,?). 297:- meta_predicate holds_t(*,?,?,?,?,?). 298:- meta_predicate holds_t(*,?,?,?,?,?,?). 299
300
301:- meta_predicate call_f(*,?,?,?). 302:- meta_predicate call_f(*,*,?,?,?). 303:- meta_predicate call_f(*,*,?,?,?,?,?). 304:- meta_predicate call_mt_f(*,?,?,?). 305:- meta_predicate call_mt_f(*,*,?,?,?). 306:- meta_predicate call_mt_f(*,*,?,?,?,?,?). 307:- meta_predicate call_which_t(*,*,?,?,?,?,?). 308:- meta_predicate call_which_t(*,*,?,?,?,?,?,?). 309:- meta_predicate holds_f(*,?). 310:- meta_predicate holds_f(*,?,?,?,?,?). 311:- meta_predicate holds_f(*,?,?,?,?,?,?). 312:- meta_predicate holds_relaxed_0_f(*,*,?,?). 313:- meta_predicate xcall_f(0). 314:- meta_predicate xcall_f(*,?). 315:- meta_predicate xcall_f(*,?,?,?,?). 316:- meta_predicate xcall_f(*,?,?,?,?,?,?). 317:- meta_predicate xcall_t(0). 318:- meta_predicate xcall_t(*,?). 319:- meta_predicate xcall_t(?,?,?). 320:- meta_predicate xcall_t(*,?,?,?). 321:- meta_predicate xcall_t(*,?,?,?,?). 322:- meta_predicate xcall_t(*,?,?,?,?,?). 323:- meta_predicate xcall_t(*,?,?,?,?,?,?). 324
325:- meta_predicate call_whichlist_t(?,0,?). 326
327:- dynamic((
328(which_t)/1
355
356
357
358
380)). 382
395
396:- set_how_virtualize_file(bodies). 397
398
400
409
411
412
415
417
418
420
421
422
423
427
428
431
432
433:- multifile(baseKB:use_cyc_database/0). 434:- thread_local(baseKB:use_cyc_database/0). 436
437
439
442
443
447
451
458isCycPredArity_ignoreable(F,A):- ignore(local_qh_mpred_prop(_,F,A,cycPred(A))),ignore(arity(F,A)).
459
460
467which_t(dac(d,a_notnow,c,no_fallback)).
468
469
476holds_t(P,A1,A2,A3,A4,A5,A6,A7):- isCycPredArity_ignoreable(P,7),which_t(DBS),(call_which_t(DBS,P,A1,A2,A3,A4,A5,A6,A7);call_mt_t(DBS,P,A1,A2,A3,A4,A5,A6,A7,_,_);assertion_t([P,A1,A2,A3,A4,A5,A6,A7])).
477
484holds_t(P,A1,A2,A3,A4,A5,A6):- isCycPredArity_ignoreable(P,6),which_t(DBS),(call_which_t(DBS,P,A1,A2,A3,A4,A5,A6);call_mt_t(DBS,P,A1,A2,A3,A4,A5,A6,_,_)).
485
486
493holds_t(P,A1,A2,A3,A4,A5):- isCycPredArity_ignoreable(P,5),which_t(DBS),(call_which_t(DBS,P,A1,A2,A3,A4,A5);call_mt_t(DBS,P,A1,A2,A3,A4,A5,_,_)).
494
495
502holds_t(P,A1,A2,A3,A4):- isCycPredArity_ignoreable(P,4),which_t(DBS),(call_which_t(DBS,P,A1,A2,A3,A4);call_mt_t(DBS,P,A1,A2,A3,A4,_,_)).
503
510holds_t(P,A1,A2,A3):- isCycPredArity_ignoreable(P,3),which_t(DBS),(call_which_t(DBS,P,A1,A2,A3);call_mt_t(DBS,P,A1,A2,A3,_,_)).
512
519holds_t(P,A1,A2):- isCycPredArity_ignoreable(P,2),which_t(DBS),(call_which_t(DBS,P,A1,A2);call_mt_t(DBS,P,A1,A2,_,_)).
520
527holds_t(P,A1):- isCycPredArity_ignoreable(P,1),which_t(DBS),(call_which_t(DBS,P,A1);call_mt_t(DBS,P,A1,_,_)).
528
529
531
538holds_relaxed_t(P,A1,A2):-
539 isCycPredArity_ignoreable(P,2),which_t(DBS),
540 relax_term(P,PR,A1,R1,A2,R2),
541 holds_relaxed_0_t(DBS,PR,R1,R2).
542
543
550holds_relaxed_0_t(DBS,P,A1,A2):- call_which_t(DBS,P,A1,A2).
551holds_relaxed_0_t(DBS,P,A1,A2):- call_mt_t(DBS,P,A1,A2,_,_).
552
560
561
568holds_t([AH,P|LIST]):- is_holds_true(AH),!,holds_plist_t(P,LIST).
569holds_t([AH,P|LIST]):- is_holds_false(AH),!,holds_f_p2(P,LIST).
570holds_t([P|LIST]):- !,holds_plist_t(P,LIST).
571holds_t(not(CALL)):- !, holds_f(CALL).
572holds_t(CALL):- '=..'(CALL,PLIST),holds_t(PLIST).
573
574
581holds_plist_t(P,LIST):- apply(holds_t,[P|LIST]).
596add_arg_parts_of_speech(_F,_N,[],[]).
597add_arg_parts_of_speech(F,N,[A|ARGS0],[ARG|ARGS]):-argIsa_call_or_undressed(F,N,A,ARG),N1 is N+1, add_arg_parts_of_speech(F,N1,ARGS0,ARGS).
606argIsa_call_or_undressed(F,N,Obj,fN(Obj,Type)):- call_u(argIsa(F,N,Type)),!.
607argIsa_call_or_undressed(_F,_N,Obj,Obj).
616verb_after_arg(_,_,1).
617
618
619
626print_sentence(Proof):- fix_sentence(Proof,New),!,ignore((Proof\=New,!,must_det(retract(Proof)),assert(assert_next_queue(New)))),!.
627
628
629
636fix_sentence(X,X).
637
638
645relax_term(P,P,Aic,Aic,Bic,Bic):- !.
652
654
655differentTerms(A,B):- dif:dif(A,B).
656
657
658
666
674callable_tf(F,A):- functor_safe(P,F,A),predicate_property(P,_),!.
676
677
678
685call_whichlist_t(dac(d,_,_,_),CALL,_):- call_u(t(CALL)).
686call_whichlist_t(dac(_,a,_,_),_,List):- assertion_t(List).
687call_whichlist_t(dac(_,_,c,_),CALL,_):- xcall_t(CALL).
688call_whichlist_t(dac(_,_,_,holds_t),CALL,_):- holds_t(CALL).
689
690
697call_which_t(DBS,P,A1,A2,A3,A4,A5,A6,A7):- callable_tf(P,7),List= [P,A1,A2,A3,A4,A5,A6,A7], CALL=..List, call_whichlist_t(DBS,CALL,List).
698call_which_t(dac(_,_,_,h),P,A1,A2,A3,A4,A5,A6,A7):- holds_t(P,A1,A2,A3,A4,A5,A6,A7).
699
700
707call_which_t(dac(d,_,_,_),P,A1,A2,A3,A4,A5,A6):- t(P,A1,A2,A3,A4,A5,A6).
708call_which_t(dac(_,a,_,_),P,A1,A2,A3,A4,A5,A6):- assertion_t([P,A1,A2,A3,A4,A5,A6]).
709call_which_t(dac(_,_,c,_),P,A1,A2,A3,A4,A5,A6):- callable_tf(P,6),xcall_t(P,A1,A2,A3,A4,A5,A6).
710call_which_t(dac(_,_,_,holds_t),P,A1,A2,A3,A4,A5,A6):- holds_t(P,A1,A2,A3,A4,A5,A6).
711
712
719call_which_t(dac(d,_,_,_),P,A1,A2,A3,A4,A5):- t(P,A1,A2,A3,A4,A5).
720call_which_t(dac(_,a,_,_),P,A1,A2,A3,A4,A5):- assertion_t([P,A1,A2,A3,A4,A5]).
721call_which_t(dac(_,_,c,_),P,A1,A2,A3,A4,A5):- callable_tf(P,5),xcall_t(P,A1,A2,A3,A4,A5).
722call_which_t(dac(_,_,_,holds_t),P,A1,A2,A3,A4,A5):- holds_t(P,A1,A2,A3,A4,A5).
723
724
731call_which_t(dac(d,_,c,_),P,A1,A2,A3,A4):- t(P,A1,A2,A3,A4).
732call_which_t(dac(_,a,_,_),P,A1,A2,A3,A4):- assertion_t([P,A1,A2,A3,A4]).
733call_which_t(dac(_,_,c,_),P,A1,A2,A3,A4):- callable_tf(P,4),xcall_t(P,A1,A2,A3,A4).
734call_which_t(dac(_,_,_,holds_t),P,A1,A2,A3,A4):- holds_t(P,A1,A2,A3,A4).
735
736
743call_which_t(dac(d,_,_,_),P,A1,A2,A3):- t(P,A1,A2,A3).
744call_which_t(dac(_,a,_,_),P,A1,A2,A3):- assertion_t([P,A1,A2,A3]).
745call_which_t(dac(_,_,c,_),P,A1,A2,A3):- callable_tf(P,3),xcall_t(P,A1,A2,A3).
746call_which_t(dac(_,_,_,holds_t),P,A1,A2,A3):- holds_t(P,A1,A2,A3).
747
748
755call_which_t(dac(d,_,_,_),P,A1,A2):- t(P,A1,A2).
756call_which_t(dac(_,a,_,_),P,A1,A2):- assertion_t([P,A1,A2]).
757call_which_t(dac(_,_,c,_),P,A1,A2):- callable_tf(P,2),xcall_t(P,A1,A2).
758call_which_t(dac(_,_,_,holds_t),P,A1,A2):- holds_t(P,A1,A2).
759
760
767call_which_t(dac(d,_,_,_),P,A1):- call_u(t(P,A1)).
768call_which_t(dac(_,a,_,_),P,A1):- assertion_t([P,A1]).
769call_which_t(dac(_,_,c,_),P,A1):- callable_tf(P,1),xcall_t(P,A1).
770call_which_t(dac(_,_,_,holds_t),P,A1):- holds_t(P,A1).
771
772
779call_mt_t(dac(_,_,_,mt),P,A1,A2,A3,A4,A5,A6,A7,A8,A9):- callable_tf(P,9),CALL=..[P,A1,A2,A3,A4,A5,A6,A7,A8,A9],xcall_t(CALL).
780
787call_mt_t(dac(_,_,_,mt),P,A1,A2,A3,A4,A5,A6,A7,A8):- callable_tf(P,8),CALL=..[P,A1,A2,A3,A4,A5,A6,A7,A8],xcall_t(CALL).
788
795call_mt_t(dac(_,_,_,mt),P,A1,A2,A3,A4,A5,A6,A7):- callable_tf(P,7),CALL=..[P,A1,A2,A3,A4,A5,A6,A7],xcall_t(CALL).
796
803call_mt_t(dac(_,_,_,mt),P,A1,A2,A3,A4,A5,A6):- callable_tf(P,6),xcall_t(P,A1,A2,A3,A4,A5,A6).
804
811call_mt_t(dac(_,_,_,mt),P,A1,A2,A3,A4,A5):- callable_tf(P,5),xcall_t(P,A1,A2,A3,A4,A5).
812
819call_mt_t(dac(_,_,_,mt),P,A1,A2,A3,A4):- callable_tf(P,4),xcall_t(P,A1,A2,A3,A4).
820
827call_mt_t(dac(_,_,_,mt),P,A1,A2,A3):- callable_tf(P,3),xcall_t(P,A1,A2,A3).
828
835call_mt_t(dac(_,_,_,mt),P,A1,A2):- callable_tf(P,3),xcall_t(P,A1,A2).
836
837
844xcall_t(P,A1,A2,A3,A4,A5,A6,A7,A8,A9):- CALL=..[P,A1,A2,A3,A4,A5,A6,A7,A8,A9],call(CALL).
845
852xcall_t(P,A1,A2,A3,A4,A5,A6,A7,A8):- CALL=..[P,A1,A2,A3,A4,A5,A6,A7,A8],call(CALL).
853
860xcall_t(P,A1,A2,A3,A4,A5,A6,A7):- CALL=..[P,A1,A2,A3,A4,A5,A6,A7],call(CALL).
861
868xcall_t(P,A1,A2,A3,A4,A5,A6):- call(P,A1,A2,A3,A4,A5,A6).
869
876xcall_t(P,A1,A2,A3,A4,A5):- call(P,A1,A2,A3,A4,A5).
877
884xcall_t(P,A1,A2,A3,A4):- call(P,A1,A2,A3,A4).
885
892xcall_t(P,A1,A2,A3):- call(P,A1,A2,A3).
893
900xcall_t(P,A1,A2):- call(P,A1,A2).
901
908xcall_t(P,A1):- call(P,A1).
909
916xcall_t(P):- call(P).
917
919:- was_export(assertion_t/1). 920
922
929assertion_t(Call):- baseKB:use_cyc_database,!,locally_tl(useOnlyExternalDBs,kb_t(Call)).
931
935
937
941
948which_f(dac(d,no_a,no_c,no_mt)).
949
950
957holds_f(P,A1,A2,A3,A4,A5,A6,A7):- isCycPredArity_ignoreable(P,7),which_f(DBS),(call_f(DBS,P,A1,A2,A3,A4,A5,A6,A7);call_mt_f(DBS,P,A1,A2,A3,A4,A5,A6,A7,_,_);assertion_f([P,A1,A2,A3,A4,A5,A6,A7])).
958
965holds_f(P,A1,A2,A3,A4,A5,A6):- isCycPredArity_ignoreable(P,6),which_f(DBS),(call_f(DBS,P,A1,A2,A3,A4,A5,A6);call_mt_f(DBS,P,A1,A2,A3,A4,A5,A6,_,_)).
966
973holds_f(P,A1,A2,A3,A4,A5):- isCycPredArity_ignoreable(P,5),which_f(DBS),(call_f(DBS,P,A1,A2,A3,A4,A5);call_mt_f(DBS,P,A1,A2,A3,A4,A5,_,_)).
974
981holds_f(P,A1,A2,A3,A4):- isCycPredArity_ignoreable(P,4),which_f(DBS),(call_f(DBS,P,A1,A2,A3,A4);call_mt_f(DBS,P,A1,A2,A3,A4,_,_)).
982
989holds_f(P,A1,A2,A3):- isCycPredArity_ignoreable(P,3),which_f(DBS),(call_f(DBS,P,A1,A2,A3);call_mt_f(DBS,P,A1,A2,A3,_,_)).
990
997holds_f(P,A1,A2):- holds_relaxed_f(P,A1,A2).
998
1005holds_f(P,A1):- isCycPredArity_ignoreable(P,1),which_f(DBS),(call_f(DBS,P,A1);call_mt_f(DBS,P,A1,_,_)).
1006
1007
1008
1015holds_relaxed_f(P,A1,A2):- isCycPredArity_ignoreable(P,2),which_f(DBS),!,relax_term(P,PR,A1,R1,A2,R2),holds_relaxed_0_f(DBS,PR,R1,R2).
1016
1023holds_relaxed_0_f(DBS,P,A1,A2):- call_f(DBS,P,A1,A2).
1024holds_relaxed_0_f(DBS,P,A1,A2):- call_mt_f(DBS,P,A1,A2,_,_).
1025
1026
1027
1034holds_f([AH,P|LIST]):- is_holds_true(AH),!,holds_f_p2(P,LIST).
1035holds_f([AH,P|LIST]):- is_holds_false(AH),!,holds_plist_t(P,LIST).
1036holds_f([P|LIST]):- !, holds_f_p2(P,LIST).
1037holds_f(CALL):- CALL=..[P|LIST],holds_f([P|LIST]).
1038
1045holds_f_p2(P,LIST):- CALL=..[holds_f,P|LIST],call(CALL).
1046
1047
1054mpred_f(List):- is_list(List),!,Call=..[mpred_f|List],call_u(Call).
1055mpred_f(List):- holds_f(List).
1056
1057
1058
1065call_f(_,P,A1,A2,A3,A4,A5,A6,A7):- callable_tf(P,7),List= [P,A1,A2,A3,A4,A5,A6,A7], CALL=..List,(assertion_f(List);mpred_f(CALL);xcall_f(CALL)).
1066
1073call_f(dac(d,_,_,_),P,A1,A2,A3,A4,A5,A6):- call_u(mpred_f([P,A1,A2,A3,A4,A5,A6])).
1074call_f(dac(_,a,_,_),P,A1,A2,A3,A4,A5,A6):- assertion_f([P,A1,A2,A3,A4,A5,A6]).
1075call_f(dac(_,_,c,_),P,A1,A2,A3,A4,A5,A6):- callable_tf(P,6),xcall_f(P,A1,A2,A3,A4,A5,A6).
1076
1083call_f(dac(d,_,_,_),P,A1,A2,A3,A4,A5):- call_u(mpred_f(P,A1,A2,A3,A4,A5)).
1084call_f(dac(_,a,_,_),P,A1,A2,A3,A4,A5):- assertion_f([P,A1,A2,A3,A4,A5]).
1085call_f(dac(_,_,c,_),P,A1,A2,A3,A4,A5):- callable_tf(P,5),xcall_f(P,A1,A2,A3,A4,A5).
1086
1093call_f(dac(d,_,_,_),P,A1,A2,A3,A4):- call_u(mpred_f(P,A1,A2,A3,A4)).
1094call_f(dac(_,a,_,_),P,A1,A2,A3,A4):- assertion_f([P,A1,A2,A3,A4]).
1095call_f(dac(_,_,c,_),P,A1,A2,A3,A4):- callable_tf(P,4),xcall_f(P,A1,A2,A3,A4).
1096
1103call_f(dac(d,_,_,_),P,A1,A2,A3):- call_u(mpred_f(P,A1,A2,A3)).
1104call_f(dac(_,a,_,_),P,A1,A2,A3):- assertion_f([P,A1,A2,A3]).
1105call_f(dac(_,_,c,_),P,A1,A2,A3):- callable_tf(P,3),xcall_f(P,A1,A2,A3).
1106
1113call_f(dac(d,_,_,_),P,A1,A2):- call_u(mpred_f(P,A1,A2)).
1114call_f(dac(_,a,_,_),P,A1,A2):- assertion_f([P,A1,A2]).
1115call_f(dac(_,_,c,_),P,A1,A2):- callable_tf(P,2),xcall_f(P,A1,A2).
1116
1123call_f(dac(d,_,_,_),P,A1):- call_u(mpred_f(P,A1)).
1124call_f(dac(_,a,_,_),P,A1):- assertion_f([P,A1]).
1125call_f(dac(_,_,c,_),P,A1):- callable_tf(P,1),xcall_f(P,A1).
1126
1127
1134call_mt_f(dac(_,_,_,mt),P,A1,A2,A3,A4,A5,A6,A7,A8,A9):- callable_tf(P,9),CALL=..[P,A1,A2,A3,A4,A5,A6,A7,A8,A9],xcall_f(CALL).
1135
1142call_mt_f(dac(_,_,_,mt),P,A1,A2,A3,A4,A5,A6,A7,A8):- callable_tf(P,8),CALL=..[P,A1,A2,A3,A4,A5,A6,A7,A8],xcall_f(CALL).
1143
1150call_mt_f(dac(_,_,_,mt),P,A1,A2,A3,A4,A5,A6,A7):- callable_tf(P,7),CALL=..[P,A1,A2,A3,A4,A5,A6,A7],xcall_f(CALL).
1151
1158call_mt_f(dac(_,_,_,mt),P,A1,A2,A3,A4,A5,A6):- callable_tf(P,6),xcall_f(P,A1,A2,A3,A4,A5,A6).
1159
1166call_mt_f(dac(_,_,_,mt),P,A1,A2,A3,A4,A5):- callable_tf(P,5),xcall_f(P,A1,A2,A3,A4,A5).
1167
1174call_mt_f(dac(_,_,_,mt),P,A1,A2,A3,A4):- callable_tf(P,4),xcall_f(P,A1,A2,A3,A4).
1175
1182call_mt_f(dac(_,_,_,mt),P,A1,A2,A3):- callable_tf(P,3),xcall_f(P,A1,A2,A3).
1183
1190call_mt_f(dac(_,_,_,mt),P,A1,A2):- callable_tf(P,2),xcall_f(P,A1,A2).
1191
1192
1199xcall_f(P,A1,A2,A3,A4,A5,A6,A7,A8,A9):- CALL=..[P,A1,A2,A3,A4,A5,A6,A7,A8,A9],\+ xcall_t(CALL).
1200
1207xcall_f(P,A1,A2,A3,A4,A5,A6,A7,A8):- CALL=..[P,A1,A2,A3,A4,A5,A6,A7,A8],\+ xcall_t(CALL).
1208
1215xcall_f(P,A1,A2,A3,A4,A5,A6,A7):- CALL=..[P,A1,A2,A3,A4,A5,A6,A7],\+ xcall_t(CALL).
1216
1223xcall_f(P,A1,A2,A3,A4,A5,A6):- \+ xcall_t(P,A1,A2,A3,A4,A5,A6).
1224
1231xcall_f(P,A1,A2,A3,A4,A5):- \+ xcall_t(P,A1,A2,A3,A4,A5).
1232
1239xcall_f(P,A1,A2,A3,A4):- \+ xcall_t(P,A1,A2,A3,A4).
1240
1247xcall_f(P,A1,A2,A3):- \+ xcall_t(P,A1,A2,A3).
1248
1255xcall_f(P,A1,A2):- \+ xcall_t(P,A1,A2).
1256
1263xcall_f(P,A1):- \+ xcall_t(P,A1).
1264
1271xcall_f(P):- \+ xcall_t(P).
1272
1273
1280assertion_f([AH,P|LIST]):- is_holds_true(AH),!,assertion_f([P|LIST]).
1281assertion_f([AH,P|LIST]):- is_holds_false(AH),!,assertion_f([P|LIST]).
1283assertion_f(_):- \+(lmcache:loaded_external_kbs(_)),!,fail.
1286
1287
1291
1292:- fixup_exports.