Advertisement
logicmoo

Untitled

Oct 7th, 2015
324
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 67.34 KB | None | 0 0
  1.  
  2. name_modes(ModeAs:NameAs,ModeAs,NameAs).
  3.  
  4. print_fake_doc(M,P):-
  5. mpred_impl_module(M),current_predicate(_,M:P),
  6. to_fa(P,F,A),
  7. functor(NameH,F,A),NameH=..[F|NameAs],
  8. functor(ModeH,F,A),ModeH=..[F|ModeAs],
  9. functor(DocH,F,A),DocH=..[F|DocAs],
  10. maplist(name_modes,DocAs,ModeAs,NameAs),
  11. ignore(predicate_property(M:ModeH,meta_predicate(ModeH))),
  12. ignore(predicate_property(_:ModeH,meta_predicate(ModeH))),
  13. all_different_vals(NameAs),
  14. lock_vars(NameH),
  15. try_get_head_vars(NameH),
  16. ignore(some_flocation(MN,F,A)),
  17. ignore(mpred_source_file(_:DocAs,Pos)),
  18. make_summary(F,Summary),
  19. format('%% ~q is semidet.\n% ~w.\n% at ~w\n',[MN:DocH, Summary, Pos]).
  20.  
  21. make_summary0(F,Text):- make_l_summary(F,TextM),atomic_list_concat(TextM,' ',Text).
  22.  
  23. make_summary(F,TextOO):- make_summary0(F,Text),make_summary0(Text,TextO),make_summary0(TextO,TextOO),!.
  24.  
  25. e2h(A,H):-atom_number(A,N),!,e2h(N,H).
  26. e2h(i,internal_interface).
  27. e2h(u,user_interface).
  28. e2h(t,data_structur).
  29. e2h(0,prime_helper).
  30. e2h(E,H):-number(E),atomic_list_concat([helper,E,n],'',H).
  31.  
  32. make_l_summary([],[]).
  33. make_l_summary([H1,H2|T],OUT):- append(Left,[A],[H1,H2|T]),e2h(A,H),append(Left,[H],AGAIN),make_l_summary(AGAIN,OUT).
  34. make_l_summary([H|T],WO):-!,make_l_summary(H,HL),make_l_summary(T,TL),append(HL,TL,WO).
  35. make_l_summary(F,Text):- atom(F),atomic_list_concat(WL,'_',F),length(WL,LL),LL>1,make_l_summary(WL,Text).
  36. make_l_summary(F,Text):- atom(F),atomic_list_concat(WL,' ',F),length(WL,LL),LL>1,make_l_summary(WL,Text).
  37. make_l_summary(H,HL):- atom_chars(H,Chars),append(Left,[N],Chars), char_type(N,digit),atom_number(N,Num),!,atom_chars(H,Left),make_l_summary([Left,Num],HL).
  38. make_l_summary(H,HL):- atom_chars(H,Chars),append(Left,[L,U|MORE],Chars),!,char_type(L,lower),char_type(U,upper),apppend(Left,[L],LL),atom_chars(LS,LL),atom_chars(RS,[U|MORE]),make_l_summary([LS,RS],HL).
  39. make_l_summary(H,OUT):-longer_sumry(H,Sum),flatten([Sum],OUT).
  40. make_l_summary(H,[A]):- term_to_atom(H,A).
  41.  
  42.  
  43. longer_sumry(fmt,'Format').
  44. longer_sumry(pred,'Predicate').
  45. longer_sumry(var,'Variable').
  46.  
  47. mpred_impl_module(logicmoo_utils).
  48. mpred_impl_module(t_l).
  49. mpred_impl_module(tlbugger).
  50. mpred_impl_module(table_bugger).
  51. mpred_impl_module(logicmoo_util_hook).
  52. mpred_impl_module(lmhook).
  53. mpred_impl_module(logicmoo_volatile).
  54. % mpred_impl_module(user).
  55.  
  56.  
  57.  
  58. Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.3.8)
  59. Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
  60. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
  61. and you are welcome to redistribute it under certain conditions.
  62. Please visit http://www.swi-prolog.org for details.
  63.  
  64. For help, use ?- help(Topic). or ?- apropos(Word).
  65.  
  66. ?- write_modules.
  67.  
  68.  
  69. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_varnames.pl
  70. :- module(logicmoo_util_varnames,
  71. [ ain00/1,
  72. all_different_vals/1,
  73. all_different_vals/2,
  74. assign_name_equal_var/1,
  75. assign_name_equal_var/2,
  76. atom_subst_frak_0/4,
  77. attr_portray_hook/2,
  78. attr_unify_hook/2,
  79. b_implode_varnames/1,
  80. b_implode_varnames0/1,
  81. bad_varnamez/1,
  82. call_not_not/1,
  83. call_return_tf/2,
  84. check_varnames/1,
  85. clause_ref_file/2,
  86. clause_ref_vars/2,
  87. contains_badvarnames/1,
  88. contains_singletons/1,
  89. current_source_location/1,
  90. current_source_location0/1,
  91. current_why/1,
  92. current_why_0/1,
  93. del_attr_type/2,
  94. e2h/2,
  95. ensure_vars_labled/2,
  96. ensure_vars_labled_r/2,
  97. fix_varcase_name/2,
  98. get_clause_vars/1,
  99. get_clause_vars/2,
  100. get_clause_vars_copy/2,
  101. get_clause_vars_hb_int/2,
  102. get_gtime/1,
  103. ignoreN/2,
  104. ignoreN0/2,
  105. imploded_copyvars/2,
  106. loading_file/1,
  107. locate_clause_ref/5,
  108. lock_vars/1,
  109. logOnErrorFail/1,
  110. logicmoo_util_varnames_file/0,
  111. longer_sumry/2,
  112. make_l_summary/2,
  113. make_subterm_path/3,
  114. make_summary/2,
  115. make_summary0/2,
  116. maybe_record_scanned_file/0,
  117. mpred_impl_module/1,
  118. name_modes/3,
  119. name_vars/2,
  120. no_varnaming/1,
  121. no_vars_needed/1,
  122. not_member_eq/2,
  123. portray_attvar/1,
  124. print_fake_doc/2,
  125. read_source_file_vars/1,
  126. read_source_file_vars_1/1,
  127. read_source_terms/2,
  128. replace_in_string_frak_0/4,
  129. safe_numbervars/1,
  130. safe_numbervars/2,
  131. save_clause_vars/2,
  132. save_clause_vars/3,
  133. save_clause_vars/6,
  134. save_file_source_vars/3,
  135. save_to_clause_ref/3,
  136. scan_source_files_for_varnames/0,
  137. show_call_if_verbose/1,
  138. show_call_when/3,
  139. sl_to_filename/2,
  140. snumbervars4/4,
  141. snumbervars5/4,
  142. source_file0/1,
  143. source_module/1,
  144. source_variables/1,
  145. source_variables_l/1,
  146. subterm_path/3,
  147. term_expansion_save_vars/1,
  148. try_get_body_vars/1,
  149. try_get_head_vars/1,
  150. try_get_inner_vars/1,
  151. try_save1var/2,
  152. try_save_vars/1,
  153. unlock_vars/1,
  154. v_dif_rest/2,
  155. vmust/1
  156. ]).
  157. (multifile) :-
  158. make_hook/2.
  159. (meta_predicate) :-
  160. call_not_not(0),
  161. call_return_tf(0, ?),
  162. contains_singletons(0),
  163. get_clause_vars(:),
  164. get_clause_vars(:, ?),
  165. logOnErrorFail(0),
  166. no_varnaming(0),
  167. safe_numbervars(0),
  168. safe_numbervars(?, 0),
  169. show_call_when(2, ?, ?),
  170. snumbervars4(0, ?, ?, ?),
  171. snumbervars5(0, ?, ?, ?),
  172. vmust(0).
  173. (module_transparent) :-
  174. ain00/1,
  175. all_different_vals/1,
  176. all_different_vals/2,
  177. assign_name_equal_var/1,
  178. assign_name_equal_var/2,
  179. atom_subst_frak_0/4,
  180. b_implode_varnames/1,
  181. b_implode_varnames0/1,
  182. bad_varnamez/1,
  183. check_varnames/1,
  184. clause_ref_file/2,
  185. clause_ref_vars/2,
  186. contains_badvarnames/1,
  187. current_source_location/1,
  188. current_source_location0/1,
  189. current_why/1,
  190. current_why_0/1,
  191. del_attr_type/2,
  192. e2h/2,
  193. ensure_vars_labled/2,
  194. ensure_vars_labled_r/2,
  195. fix_varcase_name/2,
  196. get_clause_vars_copy/2,
  197. get_clause_vars_hb_int/2,
  198. get_gtime/1,
  199. ignoreN/2,
  200. ignoreN0/2,
  201. imploded_copyvars/2,
  202. loading_file/1,
  203. locate_clause_ref/5,
  204. lock_vars/1,
  205. longer_sumry/2,
  206. make_l_summary/2,
  207. make_subterm_path/3,
  208. make_summary/2,
  209. make_summary0/2,
  210. maybe_record_scanned_file/0,
  211. mpred_impl_module/1,
  212. name_modes/3,
  213. name_vars/2,
  214. no_vars_needed/1,
  215. not_member_eq/2,
  216. print_fake_doc/2,
  217. read_source_file_vars/1,
  218. read_source_file_vars_1/1,
  219. read_source_terms/2,
  220. replace_in_string_frak_0/4,
  221. save_clause_vars/2,
  222. save_clause_vars/3,
  223. save_clause_vars/6,
  224. save_file_source_vars/3,
  225. save_to_clause_ref/3,
  226. scan_source_files_for_varnames/0,
  227. show_call_if_verbose/1,
  228. sl_to_filename/2,
  229. source_file0/1,
  230. source_module/1,
  231. source_variables/1,
  232. source_variables_l/1,
  233. subterm_path/3,
  234. term_expansion_save_vars/1,
  235. try_get_body_vars/1,
  236. try_get_head_vars/1,
  237. try_get_inner_vars/1,
  238. try_save1var/2,
  239. try_save_vars/1,
  240. unlock_vars/1,
  241. v_dif_rest/2.
  242.  
  243.  
  244. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_terms.pl
  245. :- module(logicmoo_util_terms,
  246. [ at_start/1,
  247. call_n_times/2,
  248. call_no_cuts/1,
  249. conjoin/3,
  250. conjoin_op/4,
  251. conjuncts_to_list/2,
  252. delete_eq/3,
  253. disjuncts_to_list/2,
  254. do_expand_args/3,
  255. do_expand_args_c/3,
  256. do_expand_args_l/3,
  257. do_expand_args_pa/4,
  258. doall/1,
  259. dynamic_load_pl/1,
  260. each_subterm/2,
  261. each_subterm/3,
  262. flatten_dedupe/2,
  263. flatten_set/2,
  264. functor_h/2,
  265. functor_h/3,
  266. get_functor/2,
  267. get_functor/3,
  268. identical_member/2,
  269. in_thread_and_join/1,
  270. in_thread_and_join/2,
  271. is_proof/1,
  272. is_true/1,
  273. lastMember2/2,
  274. list_retain/3,
  275. list_to_conjuncts/2,
  276. list_to_conjuncts/3,
  277. list_to_set_safe/2,
  278. load_assert/3,
  279. load_dirrective/2,
  280. load_term/2,
  281. load_term2/2,
  282. logicmoo_library_file_loaded/0,
  283. makeArgIndexes/1,
  284. makeArgIndexes/2,
  285. make_list/3,
  286. maptree/3,
  287. nd_predsubst/3,
  288. nd_predsubst1/4,
  289. nd_predsubst2/3,
  290. nd_subst/4,
  291. nd_subst1/5,
  292. nd_subst2/4,
  293. pred_delete/4,
  294. pred_juncts_to_list/2,
  295. pred_juncts_to_list/3,
  296. pred_subst/5,
  297. pred_term_parts/3,
  298. pred_term_parts_l/3,
  299. predsubst/3,
  300. proccess_status/3,
  301. read_each_term/3,
  302. remove_dupes/2,
  303. remove_dupes/3,
  304. subst/4,
  305. term_parts/2,
  306. term_parts_l/2,
  307. throw_if_true_else_fail/2,
  308. univ_safe/2,
  309. univ_term/2,
  310. weak_nd_subst/4,
  311. weak_nd_subst1/5,
  312. weak_nd_subst2/4,
  313. wsubst/4
  314. ]).
  315. (meta_predicate) :-
  316. at_start(0),
  317. call_n_times(+, 0),
  318. call_no_cuts(0),
  319. doall(0),
  320. each_subterm(?, 2, ?),
  321. functor_h(?, ?),
  322. functor_h(?, ?, ?),
  323. get_functor(?, ?),
  324. get_functor(?, ?, ?),
  325. in_thread_and_join(0),
  326. in_thread_and_join(0, +),
  327. list_retain(?, 1, ?),
  328. load_dirrective(0, ?),
  329. maptree(2, +, -),
  330. nd_predsubst(?, 2, ?),
  331. nd_predsubst1(2, ?, ?, ?),
  332. nd_predsubst2(2, ?, ?),
  333. pred_delete(2, ?, ?, ?),
  334. pred_subst(2, ?, ?, ?, ?),
  335. pred_term_parts(1, ?, ?),
  336. pred_term_parts_l(1, ?, ?),
  337. predsubst(?, 2, ?),
  338. throw_if_true_else_fail(0, ?).
  339. (module_transparent) :-
  340. conjoin/3,
  341. conjoin_op/4,
  342. conjuncts_to_list/2,
  343. delete_eq/3,
  344. disjuncts_to_list/2,
  345. do_expand_args/3,
  346. do_expand_args_c/3,
  347. do_expand_args_l/3,
  348. do_expand_args_pa/4,
  349. dynamic_load_pl/1,
  350. each_subterm/2,
  351. flatten_dedupe/2,
  352. flatten_set/2,
  353. identical_member/2,
  354. is_proof/1,
  355. is_true/1,
  356. lastMember2/2,
  357. list_to_conjuncts/2,
  358. list_to_conjuncts/3,
  359. list_to_set_safe/2,
  360. load_assert/3,
  361. load_term/2,
  362. load_term2/2,
  363. logicmoo_library_file_loaded/0,
  364. makeArgIndexes/1,
  365. makeArgIndexes/2,
  366. make_list/3,
  367. nd_subst/4,
  368. nd_subst1/5,
  369. nd_subst2/4,
  370. pred_juncts_to_list/2,
  371. pred_juncts_to_list/3,
  372. proccess_status/3,
  373. read_each_term/3,
  374. remove_dupes/2,
  375. remove_dupes/3,
  376. subst/4,
  377. term_parts/2,
  378. term_parts_l/2,
  379. univ_safe/2,
  380. univ_term/2,
  381. weak_nd_subst/4,
  382. weak_nd_subst1/5,
  383. weak_nd_subst2/4,
  384. wsubst/4.
  385.  
  386.  
  387. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_term_listing.pl
  388. :- module(logicmoo_util_term_listing,
  389. [ b_i/2,
  390. bad_pred/1,
  391. blob_info/3,
  392. bookeepingPredicateXRef/1,
  393. buggery_ok/0,
  394. clause_ref/2,
  395. cur_predicate/2,
  396. current_atom_or_blob/2,
  397. get_matcher_code/4,
  398. get_search_ref/2,
  399. get_search_ref0/2,
  400. get_search_ref_tl/2,
  401. go_as_last/2,
  402. hide_data0/1,
  403. listing_filter/1,
  404. m_clause/4,
  405. m_clause0/4,
  406. m_clause_no_missing/4,
  407. make_headkey/2,
  408. make_search_key/2,
  409. make_searchable/1,
  410. make_searchable_index/1,
  411. make_searchable_list_ref/2,
  412. make_searchable_ref/2,
  413. maybe_separate/2,
  414. maybe_separate_0/2,
  415. mmake/0,
  416. mp/3,
  417. mpred_listing/1,
  418. mpred_match_listing/1,
  419. mpred_match_listing_skip_pi/2,
  420. mstatistics/0,
  421. new_atoms/2,
  422. nonvar_search/1,
  423. ok_show/1,
  424. plisting/1,
  425. plisting_0/1,
  426. plisting_1/0,
  427. plisting_1/1,
  428. plisting_2/1,
  429. portray_hb/2,
  430. portray_hbr/3,
  431. portray_one_line/1,
  432. portray_one_line_0/1,
  433. portray_one_line_1/1,
  434. portray_one_line_2/1,
  435. pp_listing/1,
  436. predicateUsesCall/1,
  437. printAll/1,
  438. printAll/2,
  439. print_clause_properties/2,
  440. print_record_properties/2,
  441. process_unify_in_thread/2,
  442. real_list_undefined/1,
  443. remove_undef_search/0,
  444. save_atoms/0,
  445. save_search_ref/2,
  446. save_search_ref_0/2,
  447. save_search_ref_recorded/2,
  448. save_search_ref_tl/2,
  449. scansrc_list_undefined/1,
  450. search_refs_use_recorded/0,
  451. searchable_of_clause/2,
  452. searchable_of_clause_0/2,
  453. searchable_of_clause_1/2,
  454. searchable_of_clause_1/3,
  455. searchable_terms/1,
  456. searchable_terms_tl/1,
  457. sourceTextPredicate/1,
  458. sourceTextPredicateSource/1,
  459. synth_clause_for_l2/5,
  460. synth_clause_for_large/6,
  461. synth_clause_ref/5,
  462. synth_in_listing/1,
  463. term_matches_hb/3,
  464. term_matches_hb/4,
  465. term_matches_unify/3,
  466. unify_in_thread/2,
  467. unify_in_thread_tl/2,
  468. unify_listing/1,
  469. unify_listing/3,
  470. unify_listing_header/1,
  471. unify_listing_header/3,
  472. unmake_search_key/2,
  473. update_changed_files/0,
  474. update_changed_files0/0,
  475. update_changed_files1/0,
  476. xlisting/1,
  477. xlisting_inner/3
  478. ]).
  479. (multifile) :-
  480. mpred_xlisting/1,
  481. shared_hide_data/1,
  482. synth_clause_for/5.
  483. (meta_predicate) :-
  484. mpred_match_listing_skip_pi(+, +),
  485. printAll(0),
  486. printAll(0, ?),
  487. unify_in_thread(+, 0),
  488. unify_in_thread_tl(?, 0),
  489. unify_listing(:),
  490. unify_listing(:, ?, ?),
  491. unify_listing_header(:),
  492. unify_listing_header(:, ?, ?),
  493. xlisting_inner(3, +, +).
  494. (module_transparent) :-
  495. b_i/2,
  496. bad_pred/1,
  497. blob_info/3,
  498. bookeepingPredicateXRef/1,
  499. buggery_ok/0,
  500. clause_ref/2,
  501. cur_predicate/2,
  502. current_atom_or_blob/2,
  503. get_matcher_code/4,
  504. get_search_ref/2,
  505. get_search_ref0/2,
  506. get_search_ref_tl/2,
  507. go_as_last/2,
  508. hide_data0/1,
  509. listing_filter/1,
  510. m_clause/4,
  511. m_clause0/4,
  512. m_clause_no_missing/4,
  513. make_headkey/2,
  514. make_search_key/2,
  515. make_searchable/1,
  516. make_searchable_index/1,
  517. make_searchable_list_ref/2,
  518. make_searchable_ref/2,
  519. maybe_separate/2,
  520. maybe_separate_0/2,
  521. mmake/0,
  522. mp/3,
  523. mpred_listing/1,
  524. mpred_match_listing/1,
  525. mpred_xlisting/1,
  526. mstatistics/0,
  527. new_atoms/2,
  528. nonvar_search/1,
  529. ok_show/1,
  530. plisting/1,
  531. plisting_0/1,
  532. plisting_1/0,
  533. plisting_1/1,
  534. plisting_2/1,
  535. portray_hb/2,
  536. portray_hbr/3,
  537. portray_one_line/1,
  538. portray_one_line_0/1,
  539. portray_one_line_1/1,
  540. portray_one_line_2/1,
  541. pp_listing/1,
  542. predicateUsesCall/1,
  543. print_clause_properties/2,
  544. print_record_properties/2,
  545. process_unify_in_thread/2,
  546. real_list_undefined/1,
  547. remove_undef_search/0,
  548. save_atoms/0,
  549. save_search_ref/2,
  550. save_search_ref_0/2,
  551. save_search_ref_recorded/2,
  552. save_search_ref_tl/2,
  553. scansrc_list_undefined/1,
  554. search_refs_use_recorded/0,
  555. searchable_of_clause/2,
  556. searchable_of_clause_0/2,
  557. searchable_of_clause_1/2,
  558. searchable_of_clause_1/3,
  559. searchable_terms/1,
  560. searchable_terms_tl/1,
  561. shared_hide_data/1,
  562. sourceTextPredicate/1,
  563. sourceTextPredicateSource/1,
  564. synth_clause_for/5,
  565. synth_clause_for_l2/5,
  566. synth_clause_for_large/6,
  567. synth_clause_ref/5,
  568. synth_in_listing/1,
  569. term_matches_hb/3,
  570. term_matches_hb/4,
  571. term_matches_unify/3,
  572. unmake_search_key/2,
  573. update_changed_files/0,
  574. update_changed_files0/0,
  575. update_changed_files1/0,
  576. xlisting/1.
  577. (dynamic) :-
  578. mpred_xlisting/1,
  579. search_refs_use_recorded/0.
  580.  
  581.  
  582. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_prolog_streams.pl
  583. :- module(logicmoo_util_prolog_streams,
  584. [ buffer_chars/1,
  585. read_received/1,
  586. some_test/0,
  587. test1_0/1,
  588. test2/1,
  589. with_err_to_pred/2,
  590. with_input_from_pred/2,
  591. with_output_to_pred/2,
  592. with_output_to_pred/4
  593. ]).
  594. (meta_predicate) :-
  595. with_err_to_pred(?, 0),
  596. with_input_from_pred(?, 0),
  597. with_output_to_pred(?, 0),
  598. with_output_to_pred(?, ?, 0, 0).
  599. (module_transparent) :-
  600. buffer_chars/1,
  601. read_received/1,
  602. some_test/0,
  603. test1_0/1,
  604. test2/1.
  605.  
  606.  
  607. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_prolog_frames.pl
  608. :- module(logicmoo_util_prolog_frames,
  609. [ current_frames/4,
  610. current_next_frames/4,
  611. in_pengines/0,
  612. parent_frame_attribute/5,
  613. parent_goal/2,
  614. prolog_frame_match/3,
  615. relative_frame/3,
  616. stack_check/0,
  617. stack_check/1,
  618. stack_check/2,
  619. stack_check_else/2,
  620. stack_depth/1
  621. ]).
  622. (module_transparent) :-
  623. current_frames/4,
  624. current_next_frames/4,
  625. in_pengines/0,
  626. parent_frame_attribute/5,
  627. parent_goal/2,
  628. prolog_frame_match/3,
  629. relative_frame/3,
  630. stack_check/0,
  631. stack_check/1,
  632. stack_check/2,
  633. stack_check_else/2,
  634. stack_depth/1.
  635.  
  636.  
  637. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_preddefs.pl
  638. :- module(logicmoo_util_preddefs,
  639. [ call_if_defined/1,
  640. convert_to_dynamic/1,
  641. convert_to_dynamic/3,
  642. current_predicate_module/2,
  643. def_meta_predicate/3,
  644. dynamic_if_missing/1,
  645. dynamic_multifile/1,
  646. (dynamic_multifile_exported)/1,
  647. (dynamic_multifile_exported)/4,
  648. (dynamic_safe)/1,
  649. (dynamic_safe)/3,
  650. dynamic_transparent/1,
  651. fill_args/2,
  652. get_module_of/2,
  653. get_module_of_4/4,
  654. get_pi/2,
  655. make_transparent/4,
  656. multi_transparent/1,
  657. must_pi/1,
  658. p_predicate_property/2,
  659. pred_prop/3,
  660. pred_prop/4,
  661. rebuild_as_dyn/4,
  662. rebuild_pred_into/3,
  663. rebuild_pred_into/4,
  664. remove_pred/3,
  665. static_predicate/1,
  666. static_predicate/3,
  667. with_mfa/2,
  668. with_mfa_of/5,
  669. with_pi/2,
  670. with_pi_selected/4,
  671. with_pi_stub/5
  672. ]).
  673. (meta_predicate) :-
  674. call_if_defined(0),
  675. def_meta_predicate(0, +, +),
  676. ( (dynamic_multifile_exported (:))
  677. ),
  678. ( dynamic_multifile_exported(+, +, +, +)
  679. ),
  680. ( (dynamic_safe (+))
  681. ),
  682. ( dynamic_safe(+, +, +)
  683. ),
  684. get_module_of(0, -),
  685. get_module_of_4(0, +, +, -),
  686. must_pi(0),
  687. rebuild_pred_into(0, 1, ?),
  688. rebuild_pred_into(0, 0, 1, ?),
  689. static_predicate(+, +, +),
  690. with_mfa(0, 3),
  691. with_mfa_of(3, +, +, +, +),
  692. with_pi(0, 4),
  693. with_pi_selected(+, +, +, +),
  694. with_pi_stub(+, +, +, +, 0).
  695. (module_transparent) :-
  696. convert_to_dynamic/1,
  697. convert_to_dynamic/3,
  698. current_predicate_module/2,
  699. dynamic_if_missing/1,
  700. dynamic_multifile/1,
  701. dynamic_transparent/1,
  702. fill_args/2,
  703. get_pi/2,
  704. make_transparent/4,
  705. multi_transparent/1,
  706. p_predicate_property/2,
  707. pred_prop/3,
  708. pred_prop/4,
  709. rebuild_as_dyn/4,
  710. remove_pred/3,
  711. static_predicate/1.
  712.  
  713.  
  714. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_no_repeats.pl
  715. :- module(logicmoo_util_no_repeats,
  716. [ memberchk_pred/3,
  717. memberchk_pred_rev/3,
  718. memberchk_same/2,
  719. must_not_repeat/1,
  720. no_repeats/1,
  721. no_repeats/2,
  722. no_repeats_av/0,
  723. no_repeats_findall5/5,
  724. no_repeats_findall_r/5,
  725. no_repeats_old/1,
  726. no_repeats_old/2,
  727. no_repeats_save/2,
  728. no_repeats_save/4,
  729. no_repeats_u/2,
  730. subtract_eq/3,
  731. succeeds_n_times/2,
  732. term/2
  733. ]).
  734. (meta_predicate) :-
  735. memberchk_pred(2, ?, ?),
  736. memberchk_pred_rev(2, ?, ?),
  737. must_not_repeat(0),
  738. no_repeats(0),
  739. no_repeats(+, 0),
  740. no_repeats_findall5(+, 0, -, -, -),
  741. no_repeats_findall_r(+, 0, -, -, -),
  742. no_repeats_old(0),
  743. no_repeats_old(+, 0),
  744. no_repeats_save(+, 0),
  745. no_repeats_save(+, 0, -, -),
  746. no_repeats_u(+, 0),
  747. succeeds_n_times(0, -).
  748. (module_transparent) :-
  749. memberchk_same/2,
  750. no_repeats_av/0,
  751. subtract_eq/3,
  752. term/2.
  753.  
  754.  
  755. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_multivar.pl
  756. :- module(logicmoo_util_multivar,[]).
  757.  
  758.  
  759. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_filesystem.pl
  760. :- module(logicmoo_util_filesystem,
  761. [ add_to_search_path/2,
  762. add_to_search_path/3,
  763. add_to_search_path_first/2,
  764. add_to_search_path_last/2,
  765. atom_concat_safe/3,
  766. atom_ensure_endswtih/3,
  767. canonical_pathname/2,
  768. clip_dir_sep/2,
  769. concat_paths/2,
  770. concat_paths/3,
  771. current_dirs/1,
  772. current_dirs0/1,
  773. current_filedir/1,
  774. current_filesource/1,
  775. enumerate_files/2,
  776. enumerate_files0/2,
  777. enumerate_files00/2,
  778. enumerate_files1/2,
  779. enumerate_files2/2,
  780. enumerate_m_files/3,
  781. exists_directory_safe/1,
  782. exists_dirf/1,
  783. exists_file_or_dir/1,
  784. exists_file_safe/1,
  785. expand_file_name_safe/2,
  786. expand_wfm/2,
  787. filematch/2,
  788. filematch3/3,
  789. filematch_ext/3,
  790. global_pathname/2,
  791. if_file_exists/1,
  792. if_startup_script/0,
  793. if_startup_script/1,
  794. in_search_path/2,
  795. is_directory/1,
  796. join_path/3,
  797. join_path_if_needed/3,
  798. local_directory_search_combined/1,
  799. local_directory_search_combined2/1,
  800. locally_to_dir/2,
  801. my_absolute_file_name/2,
  802. normalize_path/2,
  803. os_to_prolog_filename/2,
  804. prolog_file_dir/1,
  805. prolog_file_dir/2,
  806. relative_pathname/2,
  807. remove_search_path/2,
  808. time_file_safe/2,
  809. to_filename/2,
  810. upcase_atom_safe/2,
  811. with_filematch/1,
  812. with_filematches/1
  813. ]).
  814. (multifile) :-
  815. local_directory_search/1.
  816. (meta_predicate) :-
  817. add_to_search_path(2, ?, ?),
  818. enumerate_files(:, -),
  819. filematch(:, -),
  820. filematch_ext(+, :, -),
  821. if_file_exists(:),
  822. if_startup_script(0),
  823. with_filematch(0).
  824. (module_transparent) :-
  825. add_to_search_path/2,
  826. add_to_search_path_first/2,
  827. add_to_search_path_last/2,
  828. atom_concat_safe/3,
  829. atom_ensure_endswtih/3,
  830. canonical_pathname/2,
  831. clip_dir_sep/2,
  832. concat_paths/2,
  833. concat_paths/3,
  834. current_dirs/1,
  835. current_dirs0/1,
  836. current_filedir/1,
  837. current_filesource/1,
  838. enumerate_files0/2,
  839. enumerate_files00/2,
  840. enumerate_files1/2,
  841. enumerate_files2/2,
  842. enumerate_m_files/3,
  843. exists_directory_safe/1,
  844. exists_dirf/1,
  845. exists_file_or_dir/1,
  846. exists_file_safe/1,
  847. expand_file_name_safe/2,
  848. expand_wfm/2,
  849. filematch3/3,
  850. global_pathname/2,
  851. if_startup_script/0,
  852. in_search_path/2,
  853. is_directory/1,
  854. join_path/3,
  855. join_path_if_needed/3,
  856. local_directory_search/1,
  857. local_directory_search_combined/1,
  858. local_directory_search_combined2/1,
  859. locally_to_dir/2,
  860. my_absolute_file_name/2,
  861. normalize_path/2,
  862. os_to_prolog_filename/2,
  863. prolog_file_dir/1,
  864. prolog_file_dir/2,
  865. relative_pathname/2,
  866. remove_search_path/2,
  867. time_file_safe/2,
  868. to_filename/2,
  869. upcase_atom_safe/2,
  870. with_filematches/1.
  871. (dynamic) :-
  872. local_directory_search/1.
  873.  
  874.  
  875. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_filestreams.pl
  876. :- module(logicmoo_util_filestreams,
  877. [ copy_stream/2,
  878. file_to_stream/2,
  879. file_to_stream_ssl_verify/5,
  880. l_open_input/2,
  881. l_open_input0/2,
  882. l_open_input1/2,
  883. make_socket/3,
  884. negotiate_http_connect/2,
  885. ssl_failed/3,
  886. ssl_protocol_hook/4,
  887. text_to_stream/2,
  888. with_stream_pos/2
  889. ]).
  890. (multifile) :-
  891. accept_hook/2,
  892. make_socket_hook/3,
  893. open_client_hook/5,
  894. open_options/2,
  895. package_path/2.
  896. (meta_predicate) :-
  897. with_stream_pos(+, 0).
  898. (module_transparent) :-
  899. copy_stream/2,
  900. file_to_stream/2,
  901. file_to_stream_ssl_verify/5,
  902. l_open_input/2,
  903. l_open_input0/2,
  904. l_open_input1/2,
  905. make_socket/3,
  906. negotiate_http_connect/2,
  907. package_path/2,
  908. ssl_failed/3,
  909. ssl_protocol_hook/4,
  910. text_to_stream/2.
  911.  
  912.  
  913. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_ctx_frame.pl
  914. :- module(logicmoo_util_ctx_frame,
  915. [ addCtxValue/3,
  916. addCtxValue1/3,
  917. addKeyValue/2,
  918. appendAttributes/4,
  919. bestSetterFn/3,
  920. checkCtx/1,
  921. copy_term_numvars/2,
  922. currentContext/2,
  923. delete_safe/3,
  924. eqmember/2,
  925. evil_term/3,
  926. getCtxValue/3,
  927. getKeyValue/2,
  928. get_ctx_frame_holder/3,
  929. get_ctx_frame_holder1/3,
  930. get_ctx_holder/2,
  931. get_ctx_holder1/2,
  932. get_ctx_holderFreeSpot/3,
  933. get_ctx_holderFreeSpot0/3,
  934. get_ctx_holderFreeSpot1/3,
  935. get_ctx_holderFreeSpot1/5,
  936. get_ctx_value/4,
  937. get_n_value/6,
  938. get_o_value/4,
  939. get_o_value0/4,
  940. get_o_value1/4,
  941. hideIfNeeded/2,
  942. lastMemberCtx/2,
  943. lastMemberCtx/3,
  944. makeLocalContext/2,
  945. makeLocalContext1/2,
  946. mergeAppend0/3,
  947. no_cyclic_terms/0,
  948. popCtxFrame/3,
  949. pushCtxFrame/3,
  950. remCtxValue/3,
  951. revappend_0/3,
  952. reverseA/2,
  953. setCtxValue/3,
  954. to_open_list/4,
  955. unwrapValue/2,
  956. unwrapValue1/2
  957. ]).
  958. (module_transparent) :-
  959. addCtxValue/3,
  960. addCtxValue1/3,
  961. addKeyValue/2,
  962. appendAttributes/4,
  963. bestSetterFn/3,
  964. checkCtx/1,
  965. copy_term_numvars/2,
  966. currentContext/2,
  967. delete_safe/3,
  968. eqmember/2,
  969. getCtxValue/3,
  970. getKeyValue/2,
  971. get_ctx_frame_holder/3,
  972. get_ctx_frame_holder1/3,
  973. get_ctx_holder/2,
  974. get_ctx_holder1/2,
  975. get_ctx_holderFreeSpot/3,
  976. get_ctx_holderFreeSpot0/3,
  977. get_ctx_holderFreeSpot1/3,
  978. get_ctx_holderFreeSpot1/5,
  979. get_ctx_value/4,
  980. get_n_value/6,
  981. get_o_value/4,
  982. get_o_value0/4,
  983. get_o_value1/4,
  984. hideIfNeeded/2,
  985. lastMemberCtx/2,
  986. lastMemberCtx/3,
  987. makeLocalContext/2,
  988. makeLocalContext1/2,
  989. mergeAppend0/3,
  990. no_cyclic_terms/0,
  991. popCtxFrame/3,
  992. pushCtxFrame/3,
  993. remCtxValue/3,
  994. revappend_0/3,
  995. reverseA/2,
  996. setCtxValue/3,
  997. to_open_list/4,
  998. unwrapValue/2,
  999. unwrapValue1/2.
  1000. (dynamic) :-
  1001. no_cyclic_terms/0.
  1002.  
  1003.  
  1004. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_bugger.pl
  1005. :- module(logicmoo_util_bugger,
  1006. [ (-)/2,
  1007. all_module_predicates_are_transparent/1,
  1008. alldiscontiguous/0,
  1009. arg_is_transparent/1,
  1010. asserta_if_ground/1,
  1011. atom_contains666/2,
  1012. bad_idea/0,
  1013. beenCaught/1,
  1014. bin_ecall/4,
  1015. bugger_atom_change/2,
  1016. bugger_atom_change/6,
  1017. bugger_atom_change0/6,
  1018. bugger_error_info/1,
  1019. bugger_expand_goal/2,
  1020. bugger_expand_term/2,
  1021. bugger_flag/1,
  1022. bugger_flag/2,
  1023. bugger_goal_expansion/2,
  1024. bugger_goal_expansion/3,
  1025. bugger_prolog_exception_hook/4,
  1026. bugger_t_expansion/3,
  1027. bugger_term_expansion/2,
  1028. bugger_term_expansion/3,
  1029. buggeroo/0,
  1030. call_or_list/1,
  1031. call_skipping_n_clauses/2,
  1032. caller_module/1,
  1033. caller_module/2,
  1034. callsc/1,
  1035. cli_ntrace/1,
  1036. contains_atom/2,
  1037. ctrace/0,
  1038. debugFmt/1,
  1039. debugFmtList/1,
  1040. debugFmtList0/2,
  1041. debugFmtList1/2,
  1042. debugOnError/1,
  1043. debugOnErrorEach/1,
  1044. debugOnErrorIgnore/1,
  1045. debugOnFailure/1,
  1046. debugOnFailure0/1,
  1047. debugOnFailureEach/1,
  1048. debugOnFailureIgnore/1,
  1049. default_dumptrace/1,
  1050. default_ecall/3,
  1051. define_if_missing/2,
  1052. differnt_modules/2,
  1053. disabled_this/0,
  1054. dmsg/1,
  1055. dmsg/2,
  1056. doHideTrace/4,
  1057. do_gc/0,
  1058. do_gc0/0,
  1059. do_gc1/0,
  1060. do_ref_job/2,
  1061. dtrace/0,
  1062. dtrace/1,
  1063. dtrace/2,
  1064. dumptrace/1,
  1065. dumptrace/2,
  1066. dumptrace_ret/1,
  1067. export_all_preds/0,
  1068. export_all_preds/1,
  1069. export_if_noconflict/2,
  1070. fixhotrace/1,
  1071. fmtString/2,
  1072. fmtString/3,
  1073. forall_member/3,
  1074. format_safe/2,
  1075. fresh_line/0,
  1076. fresh_line/1,
  1077. ftrace/1,
  1078. functor_h0/3,
  1079. functor_source_file/5,
  1080. functor_source_file0/5,
  1081. get_dtrace/2,
  1082. get_rtrace/2,
  1083. gftrace/0,
  1084. gftrace/1,
  1085. ggtrace/0,
  1086. ggtrace/1,
  1087. gmust/2,
  1088. gripe_time/2,
  1089. grtrace/0,
  1090. grtrace/1,
  1091. has_gui_debug/0,
  1092. hideRest/0,
  1093. hideTrace/0,
  1094. hideTrace/2,
  1095. hideTraceMFA/4,
  1096. hideTraceMFAT/4,
  1097. hideTraceMP/3,
  1098. hidetrace/1,
  1099. hook_message_hook/0,
  1100. ifThen/2,
  1101. if_interactive/1,
  1102. if_interactive0/1,
  1103. if_prolog/2,
  1104. ignoreOnError/1,
  1105. ignore_each/1,
  1106. in_file_directive/0,
  1107. in_file_expansion/0,
  1108. in_toplevel/0,
  1109. isConsole/0,
  1110. is_deterministic/1,
  1111. kill_term_expansion/0,
  1112. list_difference_eq/3,
  1113. list_difference_eq_memberchk_eq/2,
  1114. listify/2,
  1115. loading_module/1,
  1116. loading_module/2,
  1117. local_predicate/2,
  1118. logOnFailure/1,
  1119. logOnFailure0/1,
  1120. logOnFailureEach/1,
  1121. logOnFailureIgnore/1,
  1122. loggerFmtReal/3,
  1123. loggerReFmt/2,
  1124. logger_property/3,
  1125. logicmoo_bugger_loaded/0,
  1126. matches_term/2,
  1127. matches_term0/2,
  1128. meta_interp/2,
  1129. meta_interp_signal/1,
  1130. module_hotrace/1,
  1131. module_meta_predicates_are_transparent/1,
  1132. module_predicate/3,
  1133. module_predicate/4,
  1134. module_predicates_are_exported/0,
  1135. module_predicates_are_exported/1,
  1136. module_predicates_are_exported0/1,
  1137. module_predicates_are_not_exported_list/2,
  1138. module_stack/2,
  1139. motrace/1,
  1140. must_assign/1,
  1141. must_assign/2,
  1142. must_each/1,
  1143. must_each0/1,
  1144. must_maplist/2,
  1145. must_maplist/3,
  1146. must_maplist/4,
  1147. new_a2s/3,
  1148. new_a2s0/3,
  1149. nodebugx/1,
  1150. non_user_console/0,
  1151. nortrace/0,
  1152. nth_frame/3,
  1153. nth_frame_attribute/5,
  1154. nth_goal/2,
  1155. nth_pi/2,
  1156. on_prolog_ecall/4,
  1157. on_prolog_ecall_override/5,
  1158. once_if_ground/1,
  1159. once_if_ground/2,
  1160. one_must/3,
  1161. pop_def/1,
  1162. predicate_module/2,
  1163. printPredCount/3,
  1164. programmer_error/1,
  1165. prolog_call/1,
  1166. prolog_current_frame_or_parent/2,
  1167. prolog_current_frames/1,
  1168. prolog_ecall/3,
  1169. prolog_ecall_fa/5,
  1170. prolog_must/1,
  1171. prolog_must_l/1,
  1172. prolog_must_not/1,
  1173. push_def/1,
  1174. quiet_all_module_predicates_are_transparent/1,
  1175. randomVars/1,
  1176. real_builtin_predicate/1,
  1177. replace_elements/4,
  1178. restore_guitracer/0,
  1179. restore_trace/1,
  1180. rmust_det/1,
  1181. rtrace/0,
  1182. rtrace/1,
  1183. rtraceOnError/1,
  1184. saveUserInput/0,
  1185. save_guitracer/0,
  1186. setLogLevel/2,
  1187. set_bugger_flag/2,
  1188. set_gui_debug/1,
  1189. set_no_debug/0,
  1190. set_no_debug_thread/0,
  1191. set_optimize/1,
  1192. set_yes_debug/0,
  1193. set_yes_debug_thread/0,
  1194. showProfilerStatistics/1,
  1195. show_and_do/1,
  1196. show_call/1,
  1197. show_call0/1,
  1198. show_call_entry/1,
  1199. show_call_failure/1,
  1200. show_call_success/1,
  1201. show_goal_rethrow/2,
  1202. show_module/1,
  1203. shrink_clause/2,
  1204. shrink_clause/3,
  1205. singletons/1,
  1206. start_rtrace/0,
  1207. stop_rtrace/0,
  1208. test_for_release/1,
  1209. test_for_release_problems/1,
  1210. test_tl/1,
  1211. test_tl/2,
  1212. test_tl/3,
  1213. thread_local_leaks/0,
  1214. throwOnFailure/1,
  1215. throw_safe/1,
  1216. time_call/1,
  1217. to_list_of/3,
  1218. traceAll/0,
  1219. traceIf/1,
  1220. trace_or/1,
  1221. trace_or_throw/1,
  1222. traceafter_call/1,
  1223. traceok/1,
  1224. tryCatchIgnore/1,
  1225. tryHide/1,
  1226. unlistify/2,
  1227. user_ensure_loaded/1,
  1228. user_use_module/1,
  1229. wdmsg/1,
  1230. wdmsg/2,
  1231. willTrace/0,
  1232. will_debug_else_throw/2,
  1233. with_no_term_expansions/1,
  1234. with_skip_bugger/1,
  1235. writeErrMsg/2,
  1236. writeErrMsg/3,
  1237. writeFileToStream/2,
  1238. writeOverwritten/0,
  1239. writeSTDERR0/1,
  1240. writeSavedPrompt/0
  1241. ]).
  1242. (multifile) :-
  1243. logLevel/2.
  1244. (meta_predicate) :-
  1245. bugger_atom_change(:, -),
  1246. bugger_atom_change(:, 0, +, +, -, -),
  1247. bugger_expand_goal(0, -),
  1248. bugger_expand_term(0, -),
  1249. bugger_goal_expansion(:, -),
  1250. bugger_goal_expansion(+, +, -),
  1251. bugger_t_expansion(+, +, -),
  1252. bugger_term_expansion(:, -),
  1253. bugger_term_expansion(+, +, -),
  1254. callsc(0),
  1255. cli_ntrace(0),
  1256. debugOnError(0),
  1257. debugOnErrorIgnore(0),
  1258. debugOnFailure0(0),
  1259. dtrace(0),
  1260. dtrace(+, 0),
  1261. dumptrace(0),
  1262. dumptrace(0, +),
  1263. dumptrace_ret(0),
  1264. fixhotrace(0),
  1265. forall_member(?, ?, 0),
  1266. ftrace(0),
  1267. get_rtrace(:, -),
  1268. gftrace(0),
  1269. ggtrace(0),
  1270. gmust(0, 0),
  1271. gripe_time(+, 0),
  1272. grtrace(0),
  1273. hideTrace(:, -),
  1274. hidetrace(0),
  1275. ifThen(0, 0),
  1276. if_interactive(0),
  1277. if_interactive0(0),
  1278. if_prolog(?, 0),
  1279. ignoreOnError(0),
  1280. ignore_each(1),
  1281. logOnFailure(0),
  1282. logOnFailure0(0),
  1283. logOnFailureIgnore(0),
  1284. meta_interp(:, +),
  1285. motrace(0),
  1286. must_each(0),
  1287. must_maplist(1, ?),
  1288. must_maplist(2, ?, ?),
  1289. must_maplist(3, ?, ?, ?),
  1290. nodebugx(0),
  1291. once_if_ground(0),
  1292. once_if_ground(0, -),
  1293. one_must(0, 0, 0),
  1294. printPredCount(?, 0, ?),
  1295. programmer_error(0),
  1296. prolog_call(0),
  1297. prolog_ecall(?, 1, ?),
  1298. prolog_ecall_fa(?, 1, ?, ?, 0),
  1299. prolog_must(0),
  1300. prolog_must_l(?),
  1301. prolog_must_not(0),
  1302. push_def(:),
  1303. randomVars(0),
  1304. real_builtin_predicate(0),
  1305. restore_trace(0),
  1306. rmust_det(0),
  1307. rtrace(0),
  1308. rtraceOnError(0),
  1309. set_gui_debug(0),
  1310. showProfilerStatistics(0),
  1311. show_and_do(0),
  1312. show_call(:),
  1313. show_call0(0),
  1314. show_call_entry(0),
  1315. show_call_failure(0),
  1316. show_call_success(0),
  1317. test_tl(+),
  1318. test_tl(1, +),
  1319. test_tl(+, +, +),
  1320. throwOnFailure(0),
  1321. time_call(0),
  1322. traceIf(0),
  1323. trace_or(0),
  1324. traceafter_call(0),
  1325. traceok(0),
  1326. tryCatchIgnore(0),
  1327. will_debug_else_throw(0, 0),
  1328. with_no_term_expansions(0),
  1329. with_skip_bugger(0).
  1330. (module_transparent) :-
  1331. (-)/2,
  1332. all_module_predicates_are_transparent/1,
  1333. alldiscontiguous/0,
  1334. arg_is_transparent/1,
  1335. asserta_if_ground/1,
  1336. atom_contains666/2,
  1337. bad_idea/0,
  1338. beenCaught/1,
  1339. bin_ecall/4,
  1340. bugger_atom_change0/6,
  1341. bugger_error_info/1,
  1342. bugger_flag/1,
  1343. bugger_flag/2,
  1344. bugger_prolog_exception_hook/4,
  1345. buggeroo/0,
  1346. call_or_list/1,
  1347. call_skipping_n_clauses/2,
  1348. caller_module/1,
  1349. caller_module/2,
  1350. contains_atom/2,
  1351. ctrace/0,
  1352. debugFmt/1,
  1353. debugFmtList/1,
  1354. debugFmtList0/2,
  1355. debugFmtList1/2,
  1356. debugOnErrorEach/1,
  1357. debugOnFailure/1,
  1358. debugOnFailureEach/1,
  1359. debugOnFailureIgnore/1,
  1360. default_dumptrace/1,
  1361. default_ecall/3,
  1362. define_if_missing/2,
  1363. differnt_modules/2,
  1364. disabled_this/0,
  1365. dmsg/1,
  1366. dmsg/2,
  1367. doHideTrace/4,
  1368. do_gc/0,
  1369. do_gc0/0,
  1370. do_gc1/0,
  1371. do_ref_job/2,
  1372. dtrace/0,
  1373. export_all_preds/0,
  1374. export_all_preds/1,
  1375. export_if_noconflict/2,
  1376. fmtString/2,
  1377. fmtString/3,
  1378. format_safe/2,
  1379. fresh_line/0,
  1380. fresh_line/1,
  1381. functor_h0/3,
  1382. functor_source_file/5,
  1383. functor_source_file0/5,
  1384. get_dtrace/2,
  1385. gftrace/0,
  1386. ggtrace/0,
  1387. grtrace/0,
  1388. has_gui_debug/0,
  1389. hideRest/0,
  1390. hideTrace/0,
  1391. hideTraceMFA/4,
  1392. hideTraceMFAT/4,
  1393. hideTraceMP/3,
  1394. hook_message_hook/0,
  1395. in_file_directive/0,
  1396. in_file_expansion/0,
  1397. in_toplevel/0,
  1398. isConsole/0,
  1399. is_deterministic/1,
  1400. kill_term_expansion/0,
  1401. list_difference_eq/3,
  1402. list_difference_eq_memberchk_eq/2,
  1403. listify/2,
  1404. loading_module/1,
  1405. loading_module/2,
  1406. local_predicate/2,
  1407. logLevel/2,
  1408. logOnFailureEach/1,
  1409. loggerFmtReal/3,
  1410. loggerReFmt/2,
  1411. logger_property/3,
  1412. logicmoo_bugger_loaded/0,
  1413. matches_term/2,
  1414. matches_term0/2,
  1415. meta_interp_signal/1,
  1416. module_hotrace/1,
  1417. module_meta_predicates_are_transparent/1,
  1418. module_predicate/3,
  1419. module_predicate/4,
  1420. module_predicates_are_exported/0,
  1421. module_predicates_are_exported/1,
  1422. module_predicates_are_exported0/1,
  1423. module_predicates_are_not_exported_list/2,
  1424. module_stack/2,
  1425. must_assign/1,
  1426. must_assign/2,
  1427. must_each0/1,
  1428. new_a2s/3,
  1429. new_a2s0/3,
  1430. non_user_console/0,
  1431. nortrace/0,
  1432. nth_frame/3,
  1433. nth_frame_attribute/5,
  1434. nth_goal/2,
  1435. nth_pi/2,
  1436. on_prolog_ecall/4,
  1437. on_prolog_ecall_override/5,
  1438. pop_def/1,
  1439. predicate_module/2,
  1440. prolog_current_frame_or_parent/2,
  1441. prolog_current_frames/1,
  1442. quiet_all_module_predicates_are_transparent/1,
  1443. replace_elements/4,
  1444. restore_guitracer/0,
  1445. rtrace/0,
  1446. saveUserInput/0,
  1447. save_guitracer/0,
  1448. setLogLevel/2,
  1449. set_bugger_flag/2,
  1450. set_no_debug/0,
  1451. set_no_debug_thread/0,
  1452. set_optimize/1,
  1453. set_yes_debug/0,
  1454. set_yes_debug_thread/0,
  1455. show_goal_rethrow/2,
  1456. show_module/1,
  1457. shrink_clause/2,
  1458. shrink_clause/3,
  1459. singletons/1,
  1460. start_rtrace/0,
  1461. stop_rtrace/0,
  1462. test_for_release/1,
  1463. test_for_release_problems/1,
  1464. thread_local_leaks/0,
  1465. throw_safe/1,
  1466. to_list_of/3,
  1467. traceAll/0,
  1468. trace_or_throw/1,
  1469. tryHide/1,
  1470. unlistify/2,
  1471. user_ensure_loaded/1,
  1472. user_use_module/1,
  1473. wdmsg/1,
  1474. wdmsg/2,
  1475. willTrace/0,
  1476. writeErrMsg/2,
  1477. writeErrMsg/3,
  1478. writeFileToStream/2,
  1479. writeOverwritten/0,
  1480. writeSTDERR0/1,
  1481. writeSavedPrompt/0.
  1482. (dynamic) :-
  1483. logLevel/2.
  1484.  
  1485.  
  1486. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_dmsg.pl
  1487. :- module(logicmoo_util_dmsg,
  1488. [ ansi_control_conv/2,
  1489. ansicall/2,
  1490. ansicall/3,
  1491. ansicall0/3,
  1492. ansicall1/3,
  1493. ansifmt/2,
  1494. ansifmt/3,
  1495. clauseST/2,
  1496. colormsg/2,
  1497. contrasting_color/2,
  1498. defined_message_color/2,
  1499. dfmt/1,
  1500. dfmt/2,
  1501. dmsg/3,
  1502. dmsg0/1,
  1503. dmsg0/2,
  1504. dmsg1/1,
  1505. dmsg2/1,
  1506. dmsg3/1,
  1507. dmsg4/1,
  1508. dmsg5/1,
  1509. dmsg5/2,
  1510. dmsg_hide/1,
  1511. dmsg_hides_message/1,
  1512. dmsg_show/1,
  1513. dmsg_showall/1,
  1514. dmsg_text_to_string_safe/2,
  1515. dmsginfo/1,
  1516. dumpST/0,
  1517. dumpST/1,
  1518. dumpST/2,
  1519. dumpST/3,
  1520. dumpST0/0,
  1521. dumpST00/0,
  1522. dumpST2/2,
  1523. dumpST4/4,
  1524. dumpST9/0,
  1525. dumpST90/0,
  1526. dumpST_Parent/4,
  1527. f_word/2,
  1528. fdmsg/1,
  1529. fdmsg1/1,
  1530. fg_color/2,
  1531. flush_output_safe/0,
  1532. flush_output_safe/1,
  1533. fmt/1,
  1534. fmt/2,
  1535. fmt/3,
  1536. fmt0/1,
  1537. fmt0/2,
  1538. fmt0/3,
  1539. fmt9/1,
  1540. fmt_ansi/1,
  1541. fmt_or_pp/1,
  1542. fmt_portray_clause/1,
  1543. functor_color/2,
  1544. getPFA/3,
  1545. getPFA1/3,
  1546. getPFA2/3,
  1547. get_indent_level/1,
  1548. get_m_opt/4,
  1549. good_next_color/1,
  1550. if_color_debug/0,
  1551. if_color_debug/1,
  1552. if_color_debug/2,
  1553. in_cmt/1,
  1554. indent_e/1,
  1555. indent_to_spaces/2,
  1556. is_sgr_on_code/1,
  1557. is_tty/1,
  1558. keep_line_pos/2,
  1559. last_used_fg_color/1,
  1560. mesg_arg1/2,
  1561. mesg_color/2,
  1562. msg_to_string/2,
  1563. neg1_numbervars/3,
  1564. next_color/1,
  1565. no_trace_dump/1,
  1566. portray_clause_w_vars/1,
  1567. portray_clause_w_vars/2,
  1568. portray_clause_w_vars/3,
  1569. portray_clause_w_vars/4,
  1570. predef_functor_color/2,
  1571. prepend_each_line/2,
  1572. print_prepended/2,
  1573. print_prepended_lines/2,
  1574. random_color/1,
  1575. sformat/4,
  1576. sgr_code_on_off/3,
  1577. sgr_off_code/2,
  1578. sgr_on_code/2,
  1579. sgr_on_code0/2,
  1580. simplify_goal_printed/2,
  1581. simplify_goal_printed0/2,
  1582. to_stderror/1,
  1583. tst_color/0,
  1584. tst_color/1,
  1585. tst_fmt/0,
  1586. unliked_ctrl/1,
  1587. vdmsg/2,
  1588. withFormatter/4,
  1589. with_all_dmsg/1,
  1590. with_current_indent/1,
  1591. with_dmsg/2,
  1592. with_no_dmsg/1,
  1593. with_no_dmsg/2,
  1594. with_output_to_console/1,
  1595. with_output_to_main/1,
  1596. with_output_to_stream/2,
  1597. with_show_dmsg/2,
  1598. writeFailureLog/2
  1599. ]).
  1600. (multifile) :-
  1601. term_color0/2.
  1602. (meta_predicate) :-
  1603. ansicall(?, 0),
  1604. ansicall(?, ?, 0),
  1605. ansicall0(?, ?, 0),
  1606. ansicall1(?, ?, 0),
  1607. fmt_ansi(0),
  1608. if_color_debug(0),
  1609. if_color_debug(0, 0),
  1610. in_cmt(0),
  1611. keep_line_pos(?, 0),
  1612. neg1_numbervars(?, ?, 0),
  1613. no_trace_dump(0),
  1614. prepend_each_line(?, 0),
  1615. to_stderror(0),
  1616. with_all_dmsg(0),
  1617. with_current_indent(0),
  1618. with_dmsg(?, 0),
  1619. with_no_dmsg(0),
  1620. with_no_dmsg(?, 0),
  1621. with_output_to_console(0),
  1622. with_output_to_main(0),
  1623. with_output_to_stream(?, 0),
  1624. with_show_dmsg(?, 0).
  1625. (module_transparent) :-
  1626. ansi_control_conv/2,
  1627. ansifmt/2,
  1628. ansifmt/3,
  1629. clauseST/2,
  1630. colormsg/2,
  1631. contrasting_color/2,
  1632. defined_message_color/2,
  1633. dfmt/1,
  1634. dfmt/2,
  1635. dmsg/3,
  1636. dmsg0/1,
  1637. dmsg0/2,
  1638. dmsg1/1,
  1639. dmsg2/1,
  1640. dmsg3/1,
  1641. dmsg4/1,
  1642. dmsg5/1,
  1643. dmsg5/2,
  1644. dmsg_hide/1,
  1645. dmsg_hides_message/1,
  1646. dmsg_show/1,
  1647. dmsg_showall/1,
  1648. dmsg_text_to_string_safe/2,
  1649. dmsginfo/1,
  1650. dumpST/0,
  1651. dumpST/1,
  1652. dumpST/2,
  1653. dumpST/3,
  1654. dumpST0/0,
  1655. dumpST00/0,
  1656. dumpST2/2,
  1657. dumpST4/4,
  1658. dumpST9/0,
  1659. dumpST90/0,
  1660. dumpST_Parent/4,
  1661. f_word/2,
  1662. fdmsg/1,
  1663. fdmsg1/1,
  1664. fg_color/2,
  1665. flush_output_safe/0,
  1666. flush_output_safe/1,
  1667. fmt/1,
  1668. fmt/2,
  1669. fmt/3,
  1670. fmt0/1,
  1671. fmt0/2,
  1672. fmt0/3,
  1673. fmt9/1,
  1674. fmt_or_pp/1,
  1675. fmt_portray_clause/1,
  1676. functor_color/2,
  1677. getPFA/3,
  1678. getPFA1/3,
  1679. getPFA2/3,
  1680. get_indent_level/1,
  1681. get_m_opt/4,
  1682. good_next_color/1,
  1683. if_color_debug/0,
  1684. indent_e/1,
  1685. indent_to_spaces/2,
  1686. is_sgr_on_code/1,
  1687. is_tty/1,
  1688. last_used_fg_color/1,
  1689. mesg_arg1/2,
  1690. mesg_color/2,
  1691. msg_to_string/2,
  1692. next_color/1,
  1693. portray_clause_w_vars/1,
  1694. portray_clause_w_vars/2,
  1695. portray_clause_w_vars/3,
  1696. portray_clause_w_vars/4,
  1697. predef_functor_color/2,
  1698. print_prepended/2,
  1699. print_prepended_lines/2,
  1700. random_color/1,
  1701. sformat/4,
  1702. sgr_code_on_off/3,
  1703. sgr_off_code/2,
  1704. sgr_on_code/2,
  1705. sgr_on_code0/2,
  1706. simplify_goal_printed/2,
  1707. simplify_goal_printed0/2,
  1708. tst_color/0,
  1709. tst_color/1,
  1710. tst_fmt/0,
  1711. unliked_ctrl/1,
  1712. vdmsg/2,
  1713. withFormatter/4,
  1714. writeFailureLog/2.
  1715. (dynamic) :-
  1716. defined_message_color/2,
  1717. term_color0/2.
  1718.  
  1719.  
  1720. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_loop_check.pl
  1721. :- module(logicmoo_util_loop_check,
  1722. [ any_term_overlap/2,
  1723. any_term_overlap_atoms_of/2,
  1724. atoms_of_0/2,
  1725. call_setof_tabled/4,
  1726. call_t/1,
  1727. call_tabled/1,
  1728. call_tabled/2,
  1729. call_tabled0/4,
  1730. call_tabled1/4,
  1731. call_vars_tabled/3,
  1732. can_fail/1,
  1733. cannot_table_call/1,
  1734. cannot_use_tables/1,
  1735. cc_key/2,
  1736. ex/0,
  1737. expire_dont_add/0,
  1738. expire_tabled_list/1,
  1739. findall_nodupes/3,
  1740. get_where/1,
  1741. get_where0/1,
  1742. is_loop_checked/1,
  1743. lco_goal_expansion/2,
  1744. lex/0,
  1745. loop_check/1,
  1746. loop_check/2,
  1747. loop_check_early/2,
  1748. loop_check_term/3,
  1749. loop_check_term_key/3,
  1750. make_key/2,
  1751. make_tabled_perm/1,
  1752. mpred_expire_caches/1,
  1753. no_loop_check/1,
  1754. no_loop_check/2,
  1755. no_loop_check_term_key/3,
  1756. outside_of_loop_check/0,
  1757. really_can_table/0,
  1758. reduce_make_key/2,
  1759. retract_can_table/0,
  1760. skipped_table_call/1,
  1761. transitive/3,
  1762. transitive_except/4,
  1763. transitive_lc/3
  1764. ]).
  1765. (multifile) :-
  1766. goal_expansion/2.
  1767. (meta_predicate) :-
  1768. call_setof_tabled(?, ?, 0, -),
  1769. call_t(0),
  1770. call_tabled(0),
  1771. call_tabled(?, 0),
  1772. call_tabled0(?, ?, ?, ?),
  1773. call_tabled1(?, ?, ?, ?),
  1774. call_vars_tabled(?, ?, 0),
  1775. cannot_table_call(0),
  1776. cannot_use_tables(0),
  1777. cc_key(+, -),
  1778. findall_nodupes(?, 0, -),
  1779. loop_check(0),
  1780. loop_check(0, 0),
  1781. loop_check_early(0, 0),
  1782. loop_check_term(0, ?, 0),
  1783. loop_check_term_key(0, ?, 0),
  1784. make_key(?, -),
  1785. make_tabled_perm(0),
  1786. no_loop_check(0),
  1787. no_loop_check(0, 0),
  1788. no_loop_check_term_key(0, ?, 0),
  1789. reduce_make_key(+, -),
  1790. skipped_table_call(0),
  1791. transitive(2, +, -),
  1792. transitive_except(+, 2, +, -),
  1793. transitive_lc(2, +, -).
  1794. (module_transparent) :-
  1795. any_term_overlap/2,
  1796. any_term_overlap_atoms_of/2,
  1797. atoms_of_0/2,
  1798. can_fail/1,
  1799. ex/0,
  1800. expire_dont_add/0,
  1801. expire_tabled_list/1,
  1802. get_where/1,
  1803. get_where0/1,
  1804. goal_expansion/2,
  1805. is_loop_checked/1,
  1806. lco_goal_expansion/2,
  1807. lex/0,
  1808. mpred_expire_caches/1,
  1809. outside_of_loop_check/0,
  1810. really_can_table/0,
  1811. retract_can_table/0.
  1812. (dynamic) :-
  1813. goal_expansion/2.
  1814.  
  1815.  
  1816. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_with_assertions.pl
  1817. :- module(logicmoo_util_with_assertions,
  1818. [ check_thread_local_1m/1,
  1819. to_thread_head_1m/4,
  1820. w_tl/2,
  1821. wno_tl/2,
  1822. wtg/2
  1823. ]).
  1824. (meta_predicate) :-
  1825. w_tl(:, 0),
  1826. wno_tl(0, 0),
  1827. wtg(:, 0).
  1828. (module_transparent) :-
  1829. check_thread_local_1m/1,
  1830. to_thread_head_1m/4.
  1831.  
  1832.  
  1833. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_bugger_catch.pl
  1834. :- module(logicmoo_util_bugger_catch,
  1835. [ !/1,
  1836. addLibraryDir/0,
  1837. as_clause_no_m/3,
  1838. as_clause_w_m/4,
  1839. as_clause_w_m/5,
  1840. b_moo_hide/1,
  1841. b_moo_hide/3,
  1842. bad_functor/1,
  1843. badfood/1,
  1844. block/2,
  1845. block/3,
  1846. bubbled_ex/1,
  1847. bubbled_ex_check/1,
  1848. catchvv/3,
  1849. catchvvnt/3,
  1850. ccatch/3,
  1851. cnotrace/1,
  1852. current_main_error_stream/1,
  1853. dbgsubst/4,
  1854. dbgsubst0/4,
  1855. ddmsg/1,
  1856. ddmsg/2,
  1857. ddmsg_call/1,
  1858. det_lm/2,
  1859. dif_safe/2,
  1860. errx/0,
  1861. failOnError/1,
  1862. format_to_error/2,
  1863. fresh_line_to_err/0,
  1864. functor_catch/3,
  1865. functor_safe/3,
  1866. get_hotrace/2,
  1867. get_must/2,
  1868. hotrace/0,
  1869. hotrace/1,
  1870. ib_multi_transparent33/1,
  1871. if_defined/1,
  1872. if_defined/2,
  1873. if_defined_else/2,
  1874. if_may_hide/1,
  1875. input_key/1,
  1876. is_ftCompound/1,
  1877. is_ftNonvar/1,
  1878. is_ftVar/1,
  1879. is_hiding_dmsgs/0,
  1880. is_main_thread/0,
  1881. is_pdt_like/0,
  1882. is_release/0,
  1883. keep/2,
  1884. logOnError/1,
  1885. logOnError0/1,
  1886. logOnErrorEach/1,
  1887. logOnErrorIgnore/1,
  1888. maplist_safe/2,
  1889. maplist_safe/3,
  1890. match_predicates/2,
  1891. module_functor/4,
  1892. moo_hide/1,
  1893. moo_hide/3,
  1894. moo_hide_all/1,
  1895. moo_hide_childs/1,
  1896. moo_hide_childs/2,
  1897. moo_hide_childs/3,
  1898. moo_hide_childs_0/2,
  1899. moo_only_childs/3,
  1900. moo_show_childs/1,
  1901. moo_show_childs/3,
  1902. moo_show_childs/4,
  1903. moo_trace_hidechilds/5,
  1904. must/1,
  1905. must_det/1,
  1906. must_det/2,
  1907. must_det_l/1,
  1908. must_det_lm/2,
  1909. must_l/1,
  1910. nd_dbgsubst/4,
  1911. nd_dbgsubst1/5,
  1912. nd_dbgsubst2/4,
  1913. nop/1,
  1914. not_is_release/0,
  1915. one_must/2,
  1916. one_must_det/2,
  1917. sanity/1,
  1918. save_streams/0,
  1919. save_streams/1,
  1920. set_block_exit/2,
  1921. set_trace_np_hc/4,
  1922. showHiddens/0,
  1923. show_new_src_location/1,
  1924. show_new_src_location/2,
  1925. show_source_location/0,
  1926. skipWrapper/0,
  1927. slow_sanity/1,
  1928. strip_arity/3,
  1929. strip_f_module/2,
  1930. thread_current_error_stream/1,
  1931. thread_leash/1,
  1932. throwNoLib/0,
  1933. to_m_f_arity_pi/5,
  1934. to_pi/2,
  1935. to_pi0/3,
  1936. warn_bad_functor/1,
  1937. when_defined/1,
  1938. with_main_error_to_output/1,
  1939. with_main_input/1,
  1940. with_main_io/1,
  1941. with_preds/6,
  1942. without_must/1,
  1943. y_must/2
  1944. ]).
  1945. (meta_predicate) :-
  1946. block(+, :, ?),
  1947. catchvv(0, ?, 0),
  1948. catchvvnt(0, ?, 0),
  1949. ccatch(0, ?, 0),
  1950. cnotrace(0),
  1951. ddmsg_call(0),
  1952. failOnError(0),
  1953. hotrace(0),
  1954. if_defined(:),
  1955. if_defined(:, 0),
  1956. if_defined_else(:, 0),
  1957. if_may_hide(0),
  1958. logOnError(0),
  1959. logOnError0(0),
  1960. logOnErrorIgnore(0),
  1961. match_predicates(:, -),
  1962. moo_hide_all(:),
  1963. moo_hide_childs(0),
  1964. must(0),
  1965. must_det(0),
  1966. must_det(0, 0),
  1967. must_det_l(0),
  1968. must_l(0),
  1969. one_must(0, 0),
  1970. one_must_det(0, 0),
  1971. sanity(0),
  1972. slow_sanity(0),
  1973. to_pi(?, ?),
  1974. when_defined(:),
  1975. with_main_error_to_output(0),
  1976. with_main_input(0),
  1977. with_main_io(0),
  1978. with_preds(?, ?, ?, ?, ?, 0),
  1979. without_must(0),
  1980. y_must(?, 0).
  1981. (module_transparent) :-
  1982. !/1,
  1983. addLibraryDir/0,
  1984. as_clause_no_m/3,
  1985. as_clause_w_m/4,
  1986. as_clause_w_m/5,
  1987. b_moo_hide/1,
  1988. b_moo_hide/3,
  1989. bad_functor/1,
  1990. badfood/1,
  1991. block/2,
  1992. bubbled_ex/1,
  1993. bubbled_ex_check/1,
  1994. current_main_error_stream/1,
  1995. dbgsubst/4,
  1996. dbgsubst0/4,
  1997. ddmsg/1,
  1998. ddmsg/2,
  1999. det_lm/2,
  2000. dif_safe/2,
  2001. errx/0,
  2002. format_to_error/2,
  2003. fresh_line_to_err/0,
  2004. functor_catch/3,
  2005. functor_safe/3,
  2006. get_hotrace/2,
  2007. get_must/2,
  2008. hotrace/0,
  2009. ib_multi_transparent33/1,
  2010. input_key/1,
  2011. is_ftCompound/1,
  2012. is_ftNonvar/1,
  2013. is_ftVar/1,
  2014. is_hiding_dmsgs/0,
  2015. is_main_thread/0,
  2016. is_pdt_like/0,
  2017. is_release/0,
  2018. keep/2,
  2019. logOnErrorEach/1,
  2020. maplist_safe/2,
  2021. maplist_safe/3,
  2022. module_functor/4,
  2023. moo_hide/1,
  2024. moo_hide/3,
  2025. moo_hide_childs/2,
  2026. moo_hide_childs/3,
  2027. moo_hide_childs_0/2,
  2028. moo_only_childs/3,
  2029. moo_show_childs/1,
  2030. moo_show_childs/3,
  2031. moo_show_childs/4,
  2032. moo_trace_hidechilds/5,
  2033. must_det_lm/2,
  2034. nd_dbgsubst/4,
  2035. nd_dbgsubst1/5,
  2036. nd_dbgsubst2/4,
  2037. nop/1,
  2038. not_is_release/0,
  2039. save_streams/0,
  2040. save_streams/1,
  2041. set_block_exit/2,
  2042. set_trace_np_hc/4,
  2043. showHiddens/0,
  2044. show_new_src_location/1,
  2045. show_new_src_location/2,
  2046. show_source_location/0,
  2047. skipWrapper/0,
  2048. strip_arity/3,
  2049. strip_f_module/2,
  2050. thread_current_error_stream/1,
  2051. thread_leash/1,
  2052. throwNoLib/0,
  2053. to_m_f_arity_pi/5,
  2054. to_pi0/3,
  2055. warn_bad_functor/1.
  2056. (dynamic) :-
  2057. is_hiding_dmsgs/0.
  2058.  
  2059.  
  2060. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_database.pl
  2061. :- module(logicmoo_util_database,
  2062. [ ain/1,
  2063. ain0/1,
  2064. aina/1,
  2065. ainz/1,
  2066. ainz_clause/1,
  2067. ainz_clause/2,
  2068. append_term/3,
  2069. as_clause/3,
  2070. assert_if_new/1,
  2071. asserta_if_new/1,
  2072. asserta_new/1,
  2073. assertz_if_new/1,
  2074. assertz_new/1,
  2075. call_provider/1,
  2076. call_provider/2,
  2077. clause_asserted/1,
  2078. clause_asserted/2,
  2079. clause_asserted/3,
  2080. clause_eq/3,
  2081. clause_safe/2,
  2082. debugCallWhy/2,
  2083. debugOnError0/1,
  2084. erase_safe/2,
  2085. eraseall/2,
  2086. find_and_call/1,
  2087. find_and_call/3,
  2088. first_mpred_provider/3,
  2089. get_current_mpred_provider/3,
  2090. mpred_mop/3,
  2091. mpred_op_prolog/2,
  2092. mpred_split_op_data/3,
  2093. retract_eq/1,
  2094. safe_univ/2,
  2095. safe_univ0/2
  2096. ]).
  2097. (meta_predicate) :-
  2098. ain(:),
  2099. ain0(:),
  2100. aina(:),
  2101. ainz(:),
  2102. ainz_clause(:),
  2103. ainz_clause(:, ?),
  2104. as_clause(?, ?, ?),
  2105. assert_if_new(:),
  2106. asserta_if_new(:),
  2107. asserta_new(:),
  2108. assertz_if_new(:),
  2109. call_provider(0),
  2110. clause_asserted(:),
  2111. clause_asserted(:, ?),
  2112. clause_asserted(:, ?, -),
  2113. clause_safe(?, ?),
  2114. debugCallWhy(?, 0),
  2115. debugOnError0(0),
  2116. eraseall(+, +),
  2117. find_and_call(+, +, ?),
  2118. mpred_mop(+, 1, ?),
  2119. mpred_op_prolog(1, :).
  2120. (module_transparent) :-
  2121. append_term/3,
  2122. assertz_new/1,
  2123. call_provider/2,
  2124. clause_eq/3,
  2125. erase_safe/2,
  2126. find_and_call/1,
  2127. first_mpred_provider/3,
  2128. get_current_mpred_provider/3,
  2129. mpred_split_op_data/3,
  2130. retract_eq/1,
  2131. safe_univ/2,
  2132. safe_univ0/2.
  2133.  
  2134.  
  2135. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_first.pl
  2136. :- module(logicmoo_util_first,
  2137. [ add_newvar/2,
  2138. add_newvars/1,
  2139. always_show_dmsg/0,
  2140. becomes_module_later/0,
  2141. export_module_preds/0,
  2142. functor_compare/3,
  2143. helper_name/1,
  2144. helper_name0/1,
  2145. lbl_vars/4,
  2146. list_file_preds/0,
  2147. list_file_preds/1,
  2148. list_file_preds/2,
  2149. m_cp/3,
  2150. make_module_name/2,
  2151. module_meta_transparent/1,
  2152. mpred_source_file/2,
  2153. mpred_source_file_0/2,
  2154. mpred_source_file_1/2,
  2155. mustvv/1,
  2156. name_to_var/3,
  2157. no_location/3,
  2158. portray_clause_pi/2,
  2159. register_var/3,
  2160. register_var/4,
  2161. register_var_0/4,
  2162. remove_grounds/2,
  2163. renumbervars/2,
  2164. renumbervars1/2,
  2165. renumbervars1/4,
  2166. samify/2,
  2167. scan_file_preds/0,
  2168. scan_file_preds/1,
  2169. scan_file_preds/6,
  2170. snumbervars/1,
  2171. snumbervars/3,
  2172. snumbervars/4,
  2173. some_flocation/3,
  2174. some_location/3,
  2175. term_to_string/2,
  2176. to_fa/3,
  2177. unnumbervars/2,
  2178. unnumbervars_and_save/2,
  2179. var_to_name/3,
  2180. write_modules/0
  2181. ]).
  2182. (meta_predicate) :-
  2183. module_meta_transparent(:),
  2184. mustvv(0),
  2185. renumbervars(?, 0),
  2186. snumbervars(0),
  2187. snumbervars(0, ?, ?),
  2188. snumbervars(0, ?, ?, ?).
  2189. (module_transparent) :-
  2190. add_newvar/2,
  2191. add_newvars/1,
  2192. always_show_dmsg/0,
  2193. becomes_module_later/0,
  2194. export_module_preds/0,
  2195. functor_compare/3,
  2196. helper_name/1,
  2197. helper_name0/1,
  2198. lbl_vars/4,
  2199. list_file_preds/0,
  2200. list_file_preds/1,
  2201. list_file_preds/2,
  2202. m_cp/3,
  2203. make_module_name/2,
  2204. mpred_source_file/2,
  2205. mpred_source_file_0/2,
  2206. mpred_source_file_1/2,
  2207. name_to_var/3,
  2208. no_location/3,
  2209. portray_clause_pi/2,
  2210. register_var/3,
  2211. register_var/4,
  2212. register_var_0/4,
  2213. remove_grounds/2,
  2214. renumbervars1/2,
  2215. renumbervars1/4,
  2216. samify/2,
  2217. scan_file_preds/0,
  2218. scan_file_preds/1,
  2219. scan_file_preds/6,
  2220. some_flocation/3,
  2221. some_location/3,
  2222. term_to_string/2,
  2223. to_fa/3,
  2224. unnumbervars/2,
  2225. unnumbervars_and_save/2,
  2226. var_to_name/3,
  2227. write_modules/0.
  2228.  
  2229. % File: /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/util/logicmoo_util_structs.pl
  2230. :- module(logicmoo_util_structs,
  2231. [ attr_portray_hook/2,
  2232. attr_unify_hook/2,
  2233. by_name_datatype/2,
  2234. compile_argtypes/3,
  2235. compile_struct_slots/6,
  2236. datatype_to_init/2,
  2237. decl_argtypes/1,
  2238. decl_struct/1,
  2239. default_point/1,
  2240. ensure_instance/2,
  2241. ensure_instance/3,
  2242. ensure_struct/2,
  2243. ensure_struct/3,
  2244. extract_struct_parameter/4,
  2245. extract_struct_parameter/5,
  2246. gvar_get/2,
  2247. gvar_put/2,
  2248. if_changed/3,
  2249. is_point/1,
  2250. key_match/2,
  2251. make_point/2,
  2252. make_point/3,
  2253. member_arg_convert/5,
  2254. member_datatype/2,
  2255. merge_values/3,
  2256. nb_set_pairlist/3,
  2257. nb_set_pairlist0/3,
  2258. nb_set_s2list/4,
  2259. nb_set_s2list0/4,
  2260. nb_set_x_of_point/2,
  2261. nb_set_y_of_point/2,
  2262. nb_setarg_ex/3,
  2263. new_struct/2,
  2264. point_data/3,
  2265. point_x/2,
  2266. point_y/2,
  2267. prop_get/1,
  2268. prop_get/3,
  2269. prop_get_map/3,
  2270. prop_get_nvlist/2,
  2271. prop_get_try/4,
  2272. prop_merge/3,
  2273. prop_put_extra_extra/2,
  2274. prop_set/1,
  2275. prop_set/3,
  2276. prop_set_dict_real/4,
  2277. prop_set_map/3,
  2278. prop_set_nvlist/2,
  2279. prop_set_try/4,
  2280. record_onto_var/3,
  2281. record_var_names/1,
  2282. record_var_names/2,
  2283. record_var_type/2,
  2284. set_point_field/3,
  2285. set_point_fields/3,
  2286. set_point_fields/4,
  2287. set_x_of_point/2,
  2288. set_x_of_point/3,
  2289. set_y_of_point/2,
  2290. set_y_of_point/3,
  2291. sisctus_key/2,
  2292. struct_sclass/2,
  2293. t2ot/2,
  2294. t2ot_0/2,
  2295. term_to_ord_term/2,
  2296. to_datatype/3
  2297. ]).
  2298. (multifile) :-
  2299. mpred_init_once/0.
  2300. (meta_predicate) :-
  2301. sisctus_key(:, -).
  2302. (module_transparent) :-
  2303. attr_portray_hook/2,
  2304. attr_unify_hook/2,
  2305. by_name_datatype/2,
  2306. compile_argtypes/3,
  2307. compile_struct_slots/6,
  2308. datatype_to_init/2,
  2309. decl_argtypes/1,
  2310. decl_struct/1,
  2311. default_point/1,
  2312. ensure_instance/2,
  2313. ensure_instance/3,
  2314. ensure_struct/2,
  2315. ensure_struct/3,
  2316. extract_struct_parameter/4,
  2317. extract_struct_parameter/5,
  2318. gvar_get/2,
  2319. gvar_put/2,
  2320. if_changed/3,
  2321. is_point/1,
  2322. key_match/2,
  2323. make_point/2,
  2324. make_point/3,
  2325. member_arg_convert/5,
  2326. member_datatype/2,
  2327. merge_values/3,
  2328. mpred_init_once/0,
  2329. nb_set_pairlist/3,
  2330. nb_set_pairlist0/3,
  2331. nb_set_s2list/4,
  2332. nb_set_s2list0/4,
  2333. nb_set_x_of_point/2,
  2334. nb_set_y_of_point/2,
  2335. nb_setarg_ex/3,
  2336. new_struct/2,
  2337. point_data/3,
  2338. point_x/2,
  2339. point_y/2,
  2340. prop_get/1,
  2341. prop_get/3,
  2342. prop_get_map/3,
  2343. prop_get_nvlist/2,
  2344. prop_get_try/4,
  2345. prop_merge/3,
  2346. prop_put_extra_extra/2,
  2347. prop_set/1,
  2348. prop_set/3,
  2349. prop_set_dict_real/4,
  2350. prop_set_map/3,
  2351. prop_set_nvlist/2,
  2352. prop_set_try/4,
  2353. record_onto_var/3,
  2354. record_var_names/1,
  2355. record_var_names/2,
  2356. record_var_type/2,
  2357. set_point_field/3,
  2358. set_point_fields/3,
  2359. set_point_fields/4,
  2360. set_x_of_point/2,
  2361. set_x_of_point/3,
  2362. set_y_of_point/2,
  2363. set_y_of_point/3,
  2364. struct_sclass/2,
  2365. t2ot/2,
  2366. t2ot_0/2,
  2367. term_to_ord_term/2,
  2368. to_datatype/3.
  2369. (dynamic) :-
  2370. mpred_init_once/0.
  2371.  
  2372.  
  2373.  
  2374.  
  2375.  
  2376. true.
  2377.  
  2378. ?- print_fake_doc(_,_).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement