API tools faq
paste
Advertisement
logicmoo

meta_preds undeclared

logicmoo
Jan 13th, 2018
495
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 34.25 KB | None | 0 0
raw download clone embed print report
  1. Installed packages (38):
  2.  
  3. i clause_attvars@1.1.118    - An alternate interface to the clause database to allow attributed variables to be asserted
  4. i dictoo@1.1.118            - Dict-like OO Syntax
  5. i each_call_cleanup@1.1.118 - Each Call Redo Setup and Cleanup
  6. i eggdrop@1.1.118           - Hook up to an existing IRC Client called an Eggdrop
  7. i file_scope@1.1.118        - File local scoped efects
  8. i fluxplayer-prolog-engine@0.0.1 - Prolog interface to Slack http://www.slack.com
  9. i gvar_syntax@1.1.118       - Global Variable Syntax
  10. i hook_hybrid@1.1.118       - Hook assert retract call of *specific* predicates
  11. i instant_prolog_docs@1.1.118 - Magically document prolog source files based on predicate and variable naming conventions
  12. i lib_atts@1.1.118          - Common atts.pl interface like https://sicstus.sics.se/sicstus/docs/4.0.0/html/sicstus/lib_002datts.html
  13. i logicmoo_base@1.1.118     - LogicMOO - Extends Prolog Programming to support Dynamic Epistemic Logic (DEL) with Constraints
  14. i logicmoo_experimental@1.1.118 - Various experimental packages - warning: HUGE amount of test data
  15. i logicmoo_nlu@1.1.114      - Various English to Logic Convertors - warning: HUGE amount of test data
  16. i logicmoo_packages@1.1.118 - Various packages - warning: HUGE amount of test data
  17. i logicmoo_planner@1.1.118  - Various PDDLish planners - warning: HUGE amount of test data
  18. i logicmoo_planners@1.1.118 - Various Hybrid HTN Planners speaking PDDLish and OCLh
  19. i logicmoo_utils@1.1.118    - Common predicates used by external Logicmoo Utils and Base
  20. i loop_check@1.1.118        - New simple loop checking
  21. i mpi@1.0                   - Porting of the LAMMPI library of Yap Prolog to SWI-Prolog
  22. i multimodal_dcg@1.1.118    - Reduce floundering of DCGs by constraining and narrowing search
  23. i multivar@1.1.118          - User defined datatypes
  24. i must_trace@1.1.118        - Trace with your eyeballs instead of your fingers
  25. i no_repeats@1.1.118        - New ways to avoid duplicate solutions
  26. i pfc@1.1.118               - Pfc -- a package for forward chaining in Prolog
  27. i predicate_streams@1.1.118 - Implement your own Abstract Predicate Streams
  28. i prologmud@1.1.118         - Online text adventure game - MUD Server
  29. i prologmud_samples@1.1.118 - Online text adventure game - Sample
  30. i s_expression@1.1.118      - Utilities for Handling of S-Expression Lisp/Scheme-Like forms and parsing of KIF, GDL, PDDL, CLIF
  31. i slack_prolog@1.1.118      - Prolog interface to Slack http://www.slack.com
  32. i subclause_expansion@1.1.118 - More use specific versions of term/goal expansion hooks
  33. i tabling_dra@1.1.118       - SWI-Prolog interface to Table-handling procedures for the "dra" interpreter. Written by Feliks Kluzniak at UTD (March 2009)
  34. i transpiler@0.1            - A universal translator for programming languages
  35. i trill@4.1.0               - A tableau probabilistic reasoner in three different versions
  36. i wam_common_lisp@1.1.118   - ANSI Common Lisp implemented in Prolog
  37. i with_open_options@1.1.118 - Utilities to open various objects for read/write
  38. i with_thread_local@1.1.118 - Call a Goal with local assertions
  39. i xlisting@1.1.118          - Selective Interactive Non-Deterministic Tracing
  40. i xlisting_web@1.1.118      - Manipulate and browse prolog runtime over www
  41. :- side_effect(set_opv(sys_set_wam_cl_option,
  42.                        symbol_function,
  43.                        f_sys_set_wam_cl_option)).
  44. % grovelled_source_file_symbols("SET-WAM-CL-OPTION", pkg_sys, sys_set_wam_cl_option, '0pts', f_sys_set_wam_cl_option).
  45. :- side_effect(set_opv(sys_get_wam_cl_option,
  46.                        symbol_function,
  47.                        f_sys_get_wam_cl_option)).
  48. % grovelled_source_file_symbols("GET-WAM-CL-OPTION", pkg_sys, sys_get_wam_cl_option, '0pts', f_sys_get_wam_cl_option).
  49. % grovelled_source_file_symbols("TYPE-OF", pkg_cl, type_of, typ30f, f_type_of).
  50. % grovelled_source_file_symbols("TYPEP", pkg_cl, typep, typ30f, f_typep).
  51. % grovelled_source_file_symbols("CLASS-OF", pkg_cl, class_of, typ30f, f_class_of).
  52. % grovelled_source_file_symbols("MAKE-SYNONYM-STREAM", pkg_cl, make_synonym_stream, streams, f_make_synonym_stream).
  53. % grovelled_source_file_symbols("SUBSEQ", pkg_cl, subseq, s3q, f_subseq).
  54. % grovelled_source_file_symbols("SUBSEQ", pkg_cl, subseq, s3q, f_subseq).
  55. % grovelled_source_file_symbols("SUBST", pkg_cl, subst, s3q, f_subst).
  56. % grovelled_source_file_symbols("REMOVE", pkg_cl, remove, s3q, f_remove).
  57. % grovelled_source_file_symbols("LIST-LENGTH", pkg_cl, list_length, s3q, f_list_length).
  58. % grovelled_source_file_symbols("LENGTH", pkg_cl, length, s3q, f_length).
  59. % grovelled_source_file_symbols("COPY-LIST", pkg_cl, copy_list, s3q, f_copy_list).
  60. % grovelled_source_file_symbols("NCONC", pkg_cl, nconc, s3q, f_nconc).
  61. % grovelled_source_file_symbols("MAPCAR", pkg_cl, mapcar, s3q, f_mapcar).
  62. % grovelled_source_file_symbols("REPLACE", pkg_cl, replace, s3q, f_replace).
  63. % grovelled_source_file_symbols("NREVERSE", pkg_cl, nreverse, s3q, f_nreverse).
  64. % grovelled_source_file_symbols("REVERSE", pkg_cl, reverse, s3q, f_reverse).
  65. % grovelled_source_file_symbols("POSITION-IF-NOT", pkg_cl, position_if_not, s3q, f_position_if_not).
  66. % grovelled_source_file_symbols("POSITION-IF", pkg_cl, position_if, s3q, f_position_if).
  67. % grovelled_source_file_symbols("POSITION", pkg_cl, position, s3q, f_position).
  68. % grovelled_source_file_symbols("SEARCH", pkg_cl, search, s3q, f_search).
  69. % grovelled_source_file_symbols("FIND-IF-NOT", pkg_cl, find_if_not, s3q, f_find_if_not).
  70. % grovelled_source_file_symbols("FIND-IF", pkg_cl, find_if, s3q, f_find_if).
  71. % grovelled_source_file_symbols("FIND", pkg_cl, find, s3q, f_find).
  72. % grovelled_source_file_symbols("MEMBER-IF-NOT", pkg_cl, member_if_not, s3q, f_member_if_not).
  73. % grovelled_source_file_symbols("MEMBER-IF", pkg_cl, member_if, s3q, f_member_if).
  74. % grovelled_source_file_symbols("MEMBER", pkg_cl, member, s3q, f_member).
  75. % grovelled_source_file_symbols("ADJOIN", pkg_cl, adjoin, s3q, f_adjoin).
  76. % grovelled_source_file_symbols("MEMQ", pkg_sys, sys_memq, s3q, f_sys_memq).
  77. :- side_effect(set_opv(sys_make_read_table,
  78.                        symbol_function,
  79.                        f_sys_make_read_table)).
  80. % grovelled_source_file_symbols("MAKE-READ-TABLE", pkg_sys, sys_make_read_table, readtables, f_sys_make_read_table).
  81. % grovelled_source_file_symbols("WRITE-LINE", pkg_cl, write_line, print, f_write_line).
  82. % grovelled_source_file_symbols("TERPRI", pkg_cl, terpri, print, f_terpri).
  83. % grovelled_source_file_symbols("PRINT", pkg_cl, print, print, f_print).
  84. % grovelled_source_file_symbols("PRINC", pkg_cl, princ, print, f_princ).
  85. % grovelled_source_file_symbols("PRIN1", pkg_cl, prin1, print, f_prin1).
  86. % grovelled_source_file_symbols("FORMAT", pkg_cl, format, print, f_format).
  87. % grovelled_source_file_symbols("PROBE-FILE", pkg_cl, probe_file, pathname, f_probe_file).
  88. % grovelled_source_file_symbols("TRUENAME", pkg_cl, truename, pathname, f_truename).
  89. % grovelled_source_file_symbols("COMPILE-FILE-PATHNAME", pkg_cl, compile_file_pathname, pathname, f_compile_file_pathname).
  90. % grovelled_source_file_symbols("MAKE-PATHNAME", pkg_cl, make_pathname, pathname, f_make_pathname).
  91. % grovelled_source_file_symbols("COERCE-TO-FUNCTION", pkg_sys, sys_coerce_to_function, decls, f_sys_coerce_to_function).
  92. % grovelled_source_file_symbols("SPECIAL-OPERATOR-P", pkg_cl, special_operator_p, decls, f_special_operator_p).
  93. % grovelled_source_file_symbols("SPECIAL-OPERATOR-P", pkg_cl, special_operator_p, decls, f_special_operator_p).
  94. :- side_effect(set_opv(divide, symbol_function, f_divide)).
  95. % grovelled_source_file_symbols("DIVIDE", pkg_cl, divide, mth, f_divide).
  96. :- side_effect(set_opv(minus, symbol_function, f_minus)).
  97. % grovelled_source_file_symbols("MINUS", pkg_cl, minus, mth, f_minus).
  98. :- side_effect(set_opv(plus, symbol_function, f_plus)).
  99. % grovelled_source_file_symbols("PLUS", pkg_cl, plus, mth, f_plus).
  100. % grovelled_source_file_symbols("/", pkg_cl, c47, mth, f_c47).
  101. % grovelled_source_file_symbols("-", pkg_cl, c45, mth, f_c45).
  102. % grovelled_source_file_symbols("+", pkg_cl, c43, mth, f_c43).
  103. :- side_effect(set_opv(c43, symbol_function, 'f_+')).
  104. % grovelled_source_file_symbols("+", pkg_cl, c43, mth, 'f_+').
  105. % grovelled_source_file_symbols("FROUND", pkg_cl, fround, mth, f_fround).
  106. % grovelled_source_file_symbols("FFLOOR", pkg_cl, ffloor, mth, f_ffloor).
  107. % grovelled_source_file_symbols("FCEILING", pkg_cl, fceiling, mth, f_fceiling).
  108. % grovelled_source_file_symbols("FTRUNCATE", pkg_cl, ftruncate, mth, f_ftruncate).
  109. % grovelled_source_file_symbols("ROUND", pkg_cl, round, mth, f_round).
  110. % grovelled_source_file_symbols("TRUNCATE", pkg_cl, truncate, mth, f_truncate).
  111. % grovelled_source_file_symbols("FLOOR", pkg_cl, floor, mth, f_floor).
  112. % grovelled_source_file_symbols("CEILING", pkg_cl, ceiling, mth, f_ceiling).
  113. % grovelled_source_file_symbols("RANDOM-POSFIXNUM", pkg_sys, sys_random_posfixnum, mth, f_sys_random_posfixnum).
  114. % grovelled_source_file_symbols("EXPT", pkg_cl, expt, mth, f_expt).
  115. % grovelled_source_file_symbols("EXP", pkg_cl, exp, mth, f_exp).
  116. % grovelled_source_file_symbols("SQRT", pkg_cl, sqrt, mth, f_sqrt).
  117. % grovelled_source_file_symbols(">", pkg_cl, c62, mth, f_c62).
  118. % grovelled_source_file_symbols("<", pkg_cl, c60, mth, f_c60).
  119. % grovelled_source_file_symbols(">=", pkg_cl, c62_c61, mth, f_c62_c61).
  120. % grovelled_source_file_symbols("<=", pkg_cl, c60_c61, mth, f_c60_c61).
  121. % grovelled_source_file_symbols("=", pkg_cl, c61, mth, f_c61).
  122. % grovelled_source_file_symbols("MIN", pkg_cl, min, mth, f_min).
  123. % grovelled_source_file_symbols("MAX", pkg_cl, max, mth, f_max).
  124. % grovelled_source_file_symbols("HASH-TABLE-ITERATOR-FUNCTION", pkg_sys, sys_hash_table_iterator_function, hashts, f_sys_hash_table_iterator_function).
  125. % grovelled_source_file_symbols("HASH-TABLE-COUNT", pkg_cl, hash_table_count, hashts, f_hash_table_count).
  126. :- side_effect(set_opv(with_hash_table_iterator,
  127.                        symbol_function,
  128.                        sf_with_hash_table_iterator)).
  129. % grovelled_source_file_symbols("WITH-HASH-TABLE-ITERATOR", pkg_cl, with_hash_table_iterator, hashts, sf_with_hash_table_iterator).
  130. :- side_effect(set_opv(sys_maphash_iter, symbol_function, f_sys_maphash_iter)).
  131. % grovelled_source_file_symbols("MAPHASH-ITER", pkg_sys, sys_maphash_iter, hashts, f_sys_maphash_iter).
  132. % grovelled_source_file_symbols("MAPHASH", pkg_cl, maphash, hashts, f_maphash).
  133. % grovelled_source_file_symbols("CLRHASH", pkg_cl, clrhash, hashts, f_clrhash).
  134. % grovelled_source_file_symbols("REMHASH", pkg_cl, remhash, hashts, f_remhash).
  135. % grovelled_source_file_symbols("PUTHASH", pkg_sys, sys_puthash, hashts, f_sys_puthash).
  136. % grovelled_source_file_symbols("GETHASH", pkg_cl, gethash, hashts, f_gethash).
  137. % grovelled_source_file_symbols("GETHASH", pkg_cl, gethash, hashts, f_gethash).
  138. % grovelled_source_file_symbols("MAKE-HASH-TABLE", pkg_cl, make_hash_table, hashts, f_make_hash_table).
  139. % grovelled_source_file_symbols("HASH-TABLE-TEST", pkg_cl, hash_table_test, hashts, f_hash_table_test).
  140. % grovelled_source_file_symbols("HASH-TABLE-P", pkg_cl, hash_table_p, hashts, f_hash_table_p).
  141. % grovelled_source_file_symbols("LABELS", pkg_cl, labels, fn, sf_labels).
  142. % grovelled_source_file_symbols("FLET", pkg_cl, flet, fn, sf_flet).
  143. :- side_effect(set_opv(defun, symbol_function, sf_defun)).
  144. % grovelled_source_file_symbols("DEFUN", pkg_cl, defun, fn, sf_defun).
  145. :- side_effect(set_opv(sys_env_eval, symbol_function, f_sys_env_eval)).
  146. % grovelled_source_file_symbols("ENV-EVAL", pkg_sys, sys_env_eval, funcall, f_sys_env_eval).
  147. % grovelled_source_file_symbols("APPLY", pkg_cl, apply, funcall, f_apply).
  148. % grovelled_source_file_symbols("FUNCALL", pkg_cl, funcall, funcall, f_funcall).
  149. % grovelled_source_file_symbols("EVAL", pkg_cl, eval, funcall, f_eval).
  150. % grovelled_source_file_symbols("PROVIDE", pkg_cl, provide, loadfile, f_provide).
  151. % grovelled_source_file_symbols("REQUIRE", pkg_cl, require, loadfile, f_require).
  152. % grovelled_source_file_symbols("LOAD", pkg_cl, load, loadfile, f_load).
  153. % grovelled_source_file_symbols("LOAD", pkg_cl, load, loadfile, f_load).
  154. % grovelled_source_file_symbols("LOAD", pkg_cl, load, loadfile, f_load).
  155. % grovelled_source_file_symbols("COMPILE-FILE", pkg_cl, compile_file, loadfile, f_compile_file).
  156. % grovelled_source_file_symbols("COMPILE-FILE", pkg_cl, compile_file, loadfile, f_compile_file).
  157. % grovelled_source_file_symbols("COMPILE-FILE", pkg_cl, compile_file, loadfile, f_compile_file).
  158. :- side_effect(set_opv(compile_file_mask, symbol_function, f_compile_file_mask)).
  159. % grovelled_source_file_symbols("COMPILE-FILE-MASK", pkg_cl, compile_file_mask, loadfile, f_compile_file_mask).
  160. :- side_effect(set_opv(sys_apropos_symbol,
  161.                        symbol_function,
  162.                        f_sys_apropos_symbol)).
  163. % grovelled_source_file_symbols("APROPOS-SYMBOL", pkg_sys, sys_apropos_symbol, docs, f_sys_apropos_symbol).
  164. :- side_effect(set_opv(sys_apropos_do_syms,
  165.                        symbol_function,
  166.                        f_sys_apropos_do_syms)).
  167. % grovelled_source_file_symbols("APROPOS-DO-SYMS", pkg_sys, sys_apropos_do_syms, docs, f_sys_apropos_do_syms).
  168. % grovelled_source_file_symbols("APROPOS", pkg_cl, apropos, docs, f_apropos).
  169. % grovelled_source_file_symbols("APROPOS-LIST", pkg_cl, apropos_list, docs, f_apropos_list).
  170. % grovelled_source_file_symbols("ERROR", pkg_cl, error, errs, f_error).
  171. % grovelled_source_file_symbols("LCOMPILEN", pkg_sys, sys_lcompilen, comp, f_sys_lcompilen).
  172. % grovelled_source_file_symbols("LCOMPILE", pkg_sys, sys_lcompile, comp, f_sys_lcompile).
  173. :- side_effect(set_opv(sys_insertf_list_value,
  174.                        symbol_function,
  175.                        f_sys_insertf_list_value)).
  176. % grovelled_source_file_symbols("INSERTF-LIST-VALUE", pkg_sys, sys_insertf_list_value, comp, f_sys_insertf_list_value).
  177. :- side_effect(set_opv(sys_removef_list_value,
  178.                        symbol_function,
  179.                        f_sys_removef_list_value)).
  180. % grovelled_source_file_symbols("REMOVEF-LIST-VALUE", pkg_sys, sys_removef_list_value, comp, f_sys_removef_list_value).
  181. % grovelled_source_file_symbols("BREAK", pkg_cl, break, callp, f_break).
  182. :- side_effect(set_opv(sys_rtrace, symbol_function, f_sys_rtrace)).
  183. % grovelled_source_file_symbols("RTRACE", pkg_sys, sys_rtrace, callp, f_sys_rtrace).
  184. % grovelled_source_file_symbols("RTRACE", pkg_sys, sys_rtrace, callp, f_sys_rtrace).
  185. :- side_effect(set_opv(trace, symbol_function, f_trace)).
  186. % grovelled_source_file_symbols("TRACE", pkg_cl, trace, cl, f_trace).
  187. % grovelled_source_file_symbols("VALUES-LIST", pkg_cl, values_list, body, f_values_list).
  188. :- side_effect(set_opv(dolist, symbol_function, f_dolist)).
  189. % grovelled_source_file_symbols("DOLIST", pkg_cl, dolist, body, f_dolist).
  190. % grovelled_source_file_symbols("VECTOR", pkg_cl, vector, aray, f_vector).
  191. % grovelled_source_file_symbols("MAKE-ARRAY", pkg_cl, make_array, aray, f_make_array).
  192. % grovelled_source_file_symbols("MAKE-ARRAY", pkg_cl, make_array, aray, f_make_array).
  193. % grovelled_source_file_symbols("AREF", pkg_cl, aref, aray, f_aref).
  194. % grovelled_source_file_symbols("ARRAY-DIMENSION", pkg_cl, array_dimension, aray, f_array_dimension).
  195. % grovelled_source_file_symbols("ARRAY-DIMENSIONS", pkg_cl, array_dimensions, aray, f_array_dimensions).
  196. % grovelled_source_file_symbols("ADJUSTABLE-ARRAY-P", pkg_cl, adjustable_array_p, aray, f_adjustable_array_p).
  197. % grovelled_source_file_symbols("CAAADR", pkg_cl, caaadr, c0nz, f_caaadr).
  198. % grovelled_source_file_symbols("CDDDDR", pkg_cl, cddddr, c0nz, f_cddddr).
  199. % grovelled_source_file_symbols("CDDAR", pkg_cl, cddar, c0nz, f_cddar).
  200. % grovelled_source_file_symbols("CDDDR", pkg_cl, cdddr, c0nz, f_cdddr).
  201. % grovelled_source_file_symbols("CADDR", pkg_cl, caddr, c0nz, f_caddr).
  202. % grovelled_source_file_symbols("CAADR", pkg_cl, caadr, c0nz, f_caadr).
  203. % grovelled_source_file_symbols("CDADR", pkg_cl, cdadr, c0nz, f_cdadr).
  204. % grovelled_source_file_symbols("CADAR", pkg_cl, cadar, c0nz, f_cadar).
  205. % grovelled_source_file_symbols("CDAAR", pkg_cl, cdaar, c0nz, f_cdaar).
  206. % grovelled_source_file_symbols("CAAAR", pkg_cl, caaar, c0nz, f_caaar).
  207. % grovelled_source_file_symbols("CAAR", pkg_cl, caar, c0nz, f_caar).
  208. % grovelled_source_file_symbols("CDAR", pkg_cl, cdar, c0nz, f_cdar).
  209. % grovelled_source_file_symbols("CDDR", pkg_cl, cddr, c0nz, f_cddr).
  210. :- side_effect(set_opv(last_1, symbol_function, f_last_1)).
  211. % grovelled_source_file_symbols("LAST-1", pkg_cl, last_1, c0nz, f_last_1).
  212. :- side_effect(set_opv(last_0, symbol_function, f_last_0)).
  213. % grovelled_source_file_symbols("LAST-0", pkg_cl, last_0, c0nz, f_last_0).
  214. % grovelled_source_file_symbols("LAST", pkg_cl, last, c0nz, f_last).
  215. % grovelled_source_file_symbols("CADR", pkg_cl, cadr, c0nz, f_cadr).
  216. % grovelled_source_file_symbols("PF-CADR", pkg_sys, sys_pf_cadr, c0nz, f_sys_pf_cadr).
  217. % grovelled_source_file_symbols("SECOND", pkg_cl, second, c0nz, f_second).
  218. % grovelled_source_file_symbols("ASSOC", pkg_cl, assoc, c0nz, f_assoc).
  219. % grovelled_source_file_symbols("RASSOC", pkg_cl, rassoc, c0nz, f_rassoc).
  220. % grovelled_source_file_symbols("ACONS", pkg_cl, acons, c0nz, f_acons).
  221. % grovelled_source_file_symbols("COPY-ALIST", pkg_cl, copy_alist, c0nz, f_copy_alist).
  222. % grovelled_source_file_symbols("SET-CDR", pkg_sys, sys_set_cdr, c0nz, f_sys_set_cdr).
  223. % grovelled_source_file_symbols("RPLACD", pkg_cl, rplacd, c0nz, f_rplacd).
  224. % grovelled_source_file_symbols("SET-CAR", pkg_sys, sys_set_car, c0nz, f_sys_set_car).
  225. % grovelled_source_file_symbols("RPLACA", pkg_cl, rplaca, c0nz, f_rplaca).
  226. :- side_effect(set_opv(u_pf_cddr, symbol_function, f_u_pf_cddr)).
  227. % grovelled_source_file_symbols("PF-CDDR", pkg_user, u_pf_cddr, c0nz, f_u_pf_cddr).
  228. % grovelled_source_file_symbols("CDR", pkg_cl, cdr, c0nz, f_cdr).
  229. :- side_effect(set_opv(u_pf_cdr, symbol_function, f_u_pf_cdr)).
  230. % grovelled_source_file_symbols("PF-CDR", pkg_user, u_pf_cdr, c0nz, f_u_pf_cdr).
  231. % grovelled_source_file_symbols("PF-CDR", pkg_sys, sys_pf_cdr, c0nz, f_sys_pf_cdr).
  232. % grovelled_source_file_symbols("CAR", pkg_cl, car, c0nz, f_car).
  233. % grovelled_source_file_symbols("FIRST", pkg_cl, first, c0nz, f_first).
  234. % grovelled_source_file_symbols("PF-CAR", pkg_sys, sys_pf_car, c0nz, f_sys_pf_car).
  235. % grovelled_source_file_symbols("LIST", pkg_cl, list, c0nz, f_list).
  236. % grovelled_source_file_symbols("APPEND", pkg_cl, append, c0nz, f_append).
  237. % grovelled_source_file_symbols("CONS", pkg_cl, cons, c0nz, f_cons).
  238. % grovelled_source_file_symbols("ATOM", pkg_cl, atom, c0nz, f_atom).
  239. % grovelled_source_file_symbols("NULL", pkg_cl, null, c0nz, f_null).
  240. :- side_effect(set_opv(set_nthcdr, symbol_function, f_set_nthcdr)).
  241. % grovelled_source_file_symbols("SET-NTHCDR", pkg_cl, set_nthcdr, c0nz, f_set_nthcdr).
  242. % grovelled_source_file_symbols("NTHCDR", pkg_cl, nthcdr, c0nz, f_nthcdr).
  243. % grovelled_source_file_symbols("ELT", pkg_cl, elt, c0nz, f_elt).
  244. % grovelled_source_file_symbols("NTH", pkg_cl, nth, c0nz, f_nth).
  245. % grovelled_source_file_symbols("QUIT", pkg_sys, sys_quit, eq4l1y, f_sys_quit).
  246. % grovelled_source_file_symbols("EQUALP", pkg_cl, equalp, eq4l1y, f_equalp).
  247. % grovelled_source_file_symbols("EQUAL", pkg_cl, equal, eq4l1y, f_equal).
  248. % grovelled_source_file_symbols("EQL", pkg_cl, eql, eq4l1y, f_eql).
  249. % grovelled_source_file_symbols("EQ", pkg_cl, eq, eq4l1y, f_eq).
  250. % grovelled_source_file_symbols("NOT", pkg_cl, not, eq4l1y, f_not).
  251. % grovelled_source_file_symbols("READ", pkg_cl, read, r3d3rz, f_read).
  252. % grovelled_source_file_symbols("READ", pkg_cl, read, r3d3rz, f_read).
  253. :- side_effect(set_opv(defparameter, symbol_function, sf_defparameter)).
  254. % grovelled_source_file_symbols("DEFPARAMETER", pkg_cl, defparameter, v4rZ, sf_defparameter).
  255. :- side_effect(set_opv(sys_put_sysprop, symbol_function, f_sys_put_sysprop)).
  256. % grovelled_source_file_symbols("PUT-SYSPROP", pkg_sys, sys_put_sysprop, symbol, f_sys_put_sysprop).
  257. :- side_effect(set_opv(sys_get_sysprop, symbol_function, f_sys_get_sysprop)).
  258. % grovelled_source_file_symbols("GET-SYSPROP", pkg_sys, sys_get_sysprop, symbol, f_sys_get_sysprop).
  259. % grovelled_source_file_symbols("GETF", pkg_cl, getf, symbol, f_getf).
  260. % grovelled_source_file_symbols("PUT", pkg_sys, sys_put, symbol, f_sys_put).
  261. :- side_effect(set_opv(sys_putprop, symbol_function, f_sys_putprop)).
  262. % grovelled_source_file_symbols("PUTPROP", pkg_sys, sys_putprop, symbol, f_sys_putprop).
  263. % grovelled_source_file_symbols("GET", pkg_cl, get, symbol, f_get).
  264. % grovelled_source_file_symbols("SYMBOL-PLIST", pkg_cl, symbol_plist, symbol, f_symbol_plist).
  265. % grovelled_source_file_symbols("MAKE-SYMBOL", pkg_cl, make_symbol, symbol, f_make_symbol).
  266. % grovelled_source_file_symbols("MAKE-SYMBOL", pkg_cl, make_symbol, symbol, f_make_symbol).
  267. % grovelled_source_file_symbols("UNINTERN", pkg_cl, unintern, symbol, f_unintern).
  268. % grovelled_source_file_symbols("UNINTERN", pkg_cl, unintern, symbol, f_unintern).
  269. % grovelled_source_file_symbols("INTERN", pkg_cl, intern, symbol, f_intern).
  270. % grovelled_source_file_symbols("INTERN", pkg_cl, intern, symbol, f_intern).
  271. % grovelled_source_file_symbols("FIND-SYMBOL", pkg_cl, find_symbol, symbol, f_find_symbol).
  272. % grovelled_source_file_symbols("FIND-SYMBOL", pkg_cl, find_symbol, symbol, f_find_symbol).
  273. % grovelled_source_file_symbols("GENTEMP", pkg_cl, gentemp, symbol, f_gentemp).
  274. % grovelled_source_file_symbols("GENTEMP", pkg_cl, gentemp, symbol, f_gentemp).
  275. % grovelled_source_file_symbols("GENTEMP", pkg_cl, gentemp, symbol, f_gentemp).
  276. % grovelled_source_file_symbols("GENSYM", pkg_cl, gensym, symbol, f_gensym).
  277. % grovelled_source_file_symbols("GENSYM", pkg_cl, gensym, symbol, f_gensym).
  278. % grovelled_source_file_symbols("SET", pkg_cl, set, symbol, f_set).
  279. % grovelled_source_file_symbols("SET-SYMBOL-VALUE", pkg_sys, sys_set_symbol_value, symbol, f_sys_set_symbol_value).
  280. % grovelled_source_file_symbols("SET-SYMBOL-VALUE", pkg_sys, sys_set_symbol_value, symbol, f_sys_set_symbol_value).
  281. :- side_effect(set_opv(sys_set_symbol_function,
  282.                        symbol_function,
  283.                        f_sys_set_symbol_function)).
  284. % grovelled_source_file_symbols("SET-SYMBOL-FUNCTION", pkg_sys, sys_set_symbol_function, symbol, f_sys_set_symbol_function).
  285. % grovelled_source_file_symbols("SYMBOL-FUNCTION", pkg_cl, symbol_function, symbol, f_symbol_function).
  286. % grovelled_source_file_symbols("SYMBOL-VALUE", pkg_cl, symbol_value, symbol, f_symbol_value).
  287. % grovelled_source_file_symbols("SYMBOL-PACKAGE", pkg_cl, symbol_package, symbol, f_symbol_package).
  288. % grovelled_source_file_symbols("SYMBOL-NAME", pkg_cl, symbol_name, symbol, f_symbol_name).
  289. % grovelled_source_file_symbols("MACRO-FUNCTION", pkg_cl, macro_function, macr, f_macro_function).
  290. :- side_effect(set_opv(sys_set_symbol_macro,
  291.                        symbol_function,
  292.                        f_sys_set_symbol_macro)).
  293. % grovelled_source_file_symbols("SET-SYMBOL-MACRO", pkg_sys, sys_set_symbol_macro, macr, f_sys_set_symbol_macro).
  294. :- side_effect(set_opv(sys_set_symbol_macro_function,
  295.                        symbol_function,
  296.                        f_sys_set_symbol_macro_function)).
  297. % grovelled_source_file_symbols("SET-SYMBOL-MACRO-FUNCTION", pkg_sys, sys_set_symbol_macro_function, macr, f_sys_set_symbol_macro_function).
  298. :- side_effect(set_opv(sys_pf_symbol_macroexpand,
  299.                        symbol_function,
  300.                        f_sys_pf_symbol_macroexpand)).
  301. % grovelled_source_file_symbols("PF-SYMBOL-MACROEXPAND", pkg_sys, sys_pf_symbol_macroexpand, macr, f_sys_pf_symbol_macroexpand).
  302. % grovelled_source_file_symbols("MACROEXPAND", pkg_cl, macroexpand, macr, f_macroexpand).
  303. % grovelled_source_file_symbols("MACROEXPAND-1", pkg_cl, macroexpand_1, macr, f_macroexpand_1).
  304. :- side_effect(set_opv(macrolet, symbol_function, mf_macrolet)).
  305. % grovelled_source_file_symbols("MACROLET", pkg_cl, macrolet, macr, mf_macrolet).
  306. :- side_effect(set_opv(defmacro, symbol_function, sf_defmacro)).
  307. % grovelled_source_file_symbols("DEFMACRO", pkg_cl, defmacro, macr, sf_defmacro).
  308. % grovelled_source_file_symbols("CLASS-NAME", pkg_cl, class_name, soops, f_class_name).
  309. :- side_effect(set_opv(sys_to_pvs, symbol_function, f_sys_to_pvs)).
  310. % grovelled_source_file_symbols("TO-PVS", pkg_sys, sys_to_pvs, soops, f_sys_to_pvs).
  311. :- side_effect(set_opv(sys_set_opv, symbol_function, f_sys_set_opv)).
  312. % grovelled_source_file_symbols("SET-OPV", pkg_sys, sys_set_opv, soops, f_sys_set_opv).
  313. :- side_effect(set_opv(sys_get_opv, symbol_function, f_sys_get_opv)).
  314. % grovelled_source_file_symbols("GET-OPV", pkg_sys, sys_get_opv, soops, f_sys_get_opv).
  315. :- side_effect(set_opv(sys_get_iprops, symbol_function, f_sys_get_iprops)).
  316. % grovelled_source_file_symbols("GET-IPROPS", pkg_sys, sys_get_iprops, soops, f_sys_get_iprops).
  317. % grovelled_source_file_symbols("CLASS-PRECEDENCE-LIST", pkg_sys, sys_class_precedence_list, soops, f_sys_class_precedence_list).
  318. % grovelled_source_file_symbols("CLASS-DIRECT-SUPERCLASSES", pkg_sys, sys_class_direct_superclasses, soops, f_sys_class_direct_superclasses).
  319. :- side_effect(set_opv(defclass, symbol_function, sf_defclass)).
  320. % grovelled_source_file_symbols("DEFCLASS", pkg_cl, defclass, soops, sf_defclass).
  321. :- side_effect(set_opv(defstruct, symbol_function, sf_defstruct)).
  322. % grovelled_source_file_symbols("DEFSTRUCT", pkg_cl, defstruct, soops, sf_defstruct).
  323. % grovelled_source_file_symbols("SLOT-VALUE", pkg_cl, slot_value, soops, f_slot_value).
  324. % grovelled_source_file_symbols("SLOT-EXISTS-P", pkg_cl, slot_exists_p, soops, f_slot_exists_p).
  325. % grovelled_source_file_symbols("FIND-CLASS", pkg_cl, find_class, soops, f_find_class).
  326. % grovelled_source_file_symbols("PF-SET-SLOT-VALUE", pkg_sys, sys_pf_set_slot_value, soops, f_sys_pf_set_slot_value).
  327. % grovelled_source_file_symbols("MAKE-INSTANCE", pkg_cl, make_instance, soops, f_make_instance).
  328. % grovelled_source_file_symbols("SHADOW", pkg_cl, shadow, package, f_shadow).
  329. % grovelled_source_file_symbols("SHADOW", pkg_cl, shadow, package, f_shadow).
  330. % grovelled_source_file_symbols("UNEXPORT", pkg_cl, unexport, package, f_unexport).
  331. % grovelled_source_file_symbols("UNEXPORT", pkg_cl, unexport, package, f_unexport).
  332. % grovelled_source_file_symbols("EXPORT", pkg_cl, export, package, f_export).
  333. % grovelled_source_file_symbols("EXPORT", pkg_cl, export, package, f_export).
  334. % grovelled_source_file_symbols("IMPORT", pkg_cl, import, package, f_import).
  335. % grovelled_source_file_symbols("IMPORT", pkg_cl, import, package, f_import).
  336. % grovelled_source_file_symbols("PACKAGE-NAME", pkg_cl, package_name, package, f_package_name).
  337. % grovelled_source_file_symbols("FIND-PACKAGE", pkg_cl, find_package, package, f_find_package).
  338. % grovelled_source_file_symbols("MAKE-PACKAGE", pkg_cl, make_package, package, f_make_package).
  339. :- side_effect(set_opv(defpackage, symbol_function, sf_defpackage)).
  340. % grovelled_source_file_symbols("DEFPACKAGE", pkg_cl, defpackage, package, sf_defpackage).
  341. % grovelled_source_file_symbols("USE-PACKAGE", pkg_cl, use_package, package, f_use_package).
  342. % grovelled_source_file_symbols("USE-PACKAGE", pkg_cl, use_package, package, f_use_package).
  343. :- side_effect(set_opv(sys_select_package,
  344.                        symbol_function,
  345.                        f_sys_select_package)).
  346. % grovelled_source_file_symbols("SELECT-PACKAGE", pkg_sys, sys_select_package, package, f_sys_select_package).
  347. % grovelled_source_file_symbols("LIST-ALL-PACKAGES", pkg_cl, list_all_packages, package, f_list_all_packages).
  348. % grovelled_source_file_symbols("DEFKNOWN", pkg_sys, sys_defknown, evil, sf_sys_defknown).
  349. :- side_effect(set_opv(defsetf, symbol_function, sf_defsetf)).
  350. % grovelled_source_file_symbols("DEFSETF", pkg_cl, defsetf, evil, sf_defsetf).
  351. % grovelled_source_file_symbols("DEFTYPE", pkg_cl, deftype, evil, sf_deftype).
  352. % grovelled_source_file_symbols("PROCLAMATION", pkg_sys, sys_proclamation, evil, sf_sys_proclamation).
  353. % grovelled_source_file_symbols("PSXHASH", pkg_sys, sys_psxhash, evil, f_sys_psxhash).
  354. % grovelled_source_file_symbols("SXHASH", pkg_cl, sxhash, evil, f_sxhash).
  355. :- side_effect(set_opv(proclaim, symbol_function, sf_proclaim)).
  356. % grovelled_source_file_symbols("PROCLAIM", pkg_cl, proclaim, evil, sf_proclaim).
  357. :- side_effect(set_opv(declare, symbol_function, sf_declare)).
  358. % grovelled_source_file_symbols("DECLARE", pkg_cl, declare, evil, sf_declare).
  359. % grovelled_source_file_symbols("SETF-FUNCTION-NAME-P", pkg_sys, sys_setf_function_name_p, places, f_sys_setf_function_name_p).
  360. :- side_effect(set_opv(push, symbol_function, f_push)).
  361. % grovelled_source_file_symbols("PUSH", pkg_cl, push, places, f_push).
  362. :- side_effect(set_opv(sys_set_rslot, symbol_function, f_sys_set_rslot)).
  363. % grovelled_source_file_symbols("SET-RSLOT", pkg_sys, sys_set_rslot, places, f_sys_set_rslot).
  364. % grovelled_source_file_symbols("GET-SETF-METHOD", pkg_sys, sys_get_setf_method, places, f_sys_get_setf_method).
  365. % grovelled_source_file_symbols("SETF-STRUCTURE-ACCESS", pkg_sys, sys_setf_structure_access, places, f_sys_setf_structure_access).
  366. % grovelled_source_file_symbols("GET-SETF-METHOD-MULTIPLE-VALUE", pkg_sys, sys_get_setf_method_multiple_value, places, f_sys_get_setf_method_multiple_value).
  367. % grovelled_source_file_symbols("SETF", pkg_cl, setf, places, mf_setf).
  368. % grovelled_source_file_symbols("DECF", pkg_cl, decf, places, mf_decf).
  369. % grovelled_source_file_symbols("INCF", pkg_cl, incf, places, mf_incf).
  370. % grovelled_source_file_symbols("POP", pkg_cl, pop, places, mf_pop).
  371. % grovelled_source_file_symbols("PUSHNEW", pkg_cl, pushnew, places, mf_pushnew).
  372. :- side_effect(set_opv(pushnew, symbol_function, sf_pushnew)).
  373. % grovelled_source_file_symbols("PUSHNEW", pkg_cl, pushnew, places, sf_pushnew).
  374. :- side_effect(set_opv(push, symbol_function, mf_push)).
  375. % grovelled_source_file_symbols("PUSH", pkg_cl, push, places, mf_push).
  376. % grovelled_source_file_symbols("ROTATEF", pkg_cl, rotatef, places, mf_rotatef).
  377. % grovelled_source_file_symbols("SHIFTF", pkg_cl, shiftf, places, mf_shiftf).
  378. % grovelled_source_file_symbols("GET-SETF-EXPANSION", pkg_cl, get_setf_expansion, places, f_get_setf_expansion).
  379. % grovelled_source_file_symbols("EXPAND-OR-GET-SETF-INVERSE", pkg_sys, sys_expand_or_get_setf_inverse, places, f_sys_expand_or_get_setf_inverse).
  380. % grovelled_source_file_symbols("GET-SETF-METHOD-INVERSE", pkg_sys, sys_get_setf_method_inverse, places, f_sys_get_setf_method_inverse).
  381. :- side_effect(set_opv(u_is, symbol_function, mf_u_is)).
  382. % grovelled_source_file_symbols("IS", pkg_user, u_is, tests, mf_u_is).
  383. :- side_effect(set_opv(u_is, symbol_function, sf_u_is)).
  384. % grovelled_source_file_symbols("IS", pkg_user, u_is, tests, sf_u_is).
  385.  
  386. __        ___    __  __        ____ _
  387. \ \      / / \  |  \/  |      / ___| |
  388.  \ \ /\ / / _ \ | |\/| |_____| |   | |
  389.   \ V  V / ___ \| |  | |_____| |___| |___
  390.    \_/\_/_/   \_\_|  |_|      \____|_____|
  391.  
  392. Common Lisp, written in Prolog
  393. ```
  394. ```cl
  395. CL-USER> #'if
  396. ```
  397. ```prolog
  398. :- lisp_compiled_eval(function(if)).
  399. ## COMPILER
  400. % 1,241 inferences, 0.000 CPU in 0.000 seconds (99% CPU, 3138165 Lips)
  401. ## EXEC
  402. % 30 inferences, 0.000 CPU in 0.000 seconds (94% CPU, 2151617 Lips)
  403. sf_if
  404. ```
  405. ```cl
  406. CL-USER> #'function
  407. ```
  408. ```prolog
  409. :- lisp_compiled_eval(function(function)).
  410. ## COMPILER
  411. % 1,168 inferences, 0.000 CPU in 0.000 seconds (99% CPU, 3136210 Lips)
  412. ## EXEC
  413. % 30 inferences, 0.000 CPU in 0.000 seconds (91% CPU, 2118943 Lips)
  414. sf_function
  415. ```
  416. ```cl
  417. CL-USER> make.
  418. ```
  419. ```prolog
  420. % Found new meta-predicates in iteration 1 (0.235 sec)
  421. % :- meta_predicate string:index_of_first_success(*,2,*,*,*).
  422. % :- meta_predicate string:index_of_first_failure(*,2,*,*,*).
  423. % :- meta_predicate env:ct(3,?,?,?).
  424. % :- meta_predicate kp4rms:not_fn(1,?).
  425. % :- meta_predicate kp4rms:not_fn(2,?,?).
  426. % :- meta_predicate kp4rms:apply_as_pred(4,?,?,?).
  427. % :- meta_predicate kp4rms:function(2,?,?).
  428. % :- meta_predicate kp4rms:apply_as_pred(3,?,?).
  429. % :- meta_predicate kp4rms:apply_as_pred(2,?).
  430. % :- meta_predicate kp4rms:not_fn(3,?,?,?).
  431. % :- meta_predicate in1t:set_interactive(0).
  432. % :- meta_predicate eq4l1y:t_or_nil(0,*).
  433. % :- meta_predicate loadfile:lisp_grovel(0).
  434. % :- meta_predicate loadfile:with_each_form(1,*).
  435. % :- meta_predicate docs:note_if_matches(*,*,0).
  436. % :- meta_predicate os7r33M:on_first_write_old_goal(*,0,*,*).
  437. % :- meta_predicate os7r33M:in_md2(*,0).
  438. % :- meta_predicate os7r33M:split_user_output_to_file(*,0).
  439. % :- meta_predicate os7r33M:ansicall_maybe(*,0).
  440. % :- meta_predicate os7r33M:show_call_trace(0).
  441. % :- meta_predicate os7r33M:dnotrace(0).
  442. % :- meta_predicate os7r33M:both_outputs(0).
  443. % :- meta_predicate os7r33M:in_md(*,0).
  444. % :- meta_predicate os7r33M:in_comment(0).
  445. % :- meta_predicate sxpr:notrace_catch_fail(0,?,0).
  446. % :- meta_predicate sxpr:call_proc(1,?).
  447. % :- meta_predicate sxpr:with_rest_info(1).
  448. % :- meta_predicate sxpr:track_stream(*,0).
  449. % :- meta_predicate sxpr:quietly_sreader(0).
  450. % :- meta_predicate sxpr:notrace_catch_fail(0).
  451. % :- meta_predicate sxpr:remove_optional_char(//,?,?).
  452. % :- meta_predicate sxpr:expr_with_comments(*,2,*,*,*).
  453. % :- meta_predicate sxpr:sexpr_dcgUnless(//,?,?).
  454. % :- meta_predicate sxpr:read_string_until_pairs(*,//,?,?).
  455. % :- meta_predicate sxpr:sexpr_dcgPeek(//,?,?).
  456. % :- meta_predicate sxpr:dcg_phrase(//,?,?).
  457. % :- meta_predicate sxpr:phrase_from_stream_lazy_part(//,*).
  458. % :- meta_predicate sxpr:phrase_from_pending_stream(*,//,*).
  459. % :- meta_predicate sxpr:sexpr_vector0(*,//,?,?).
  460. % :- meta_predicate pathname:or_nil(0).
  461. % :- meta_predicate pathname:or_die(0).
  462. % :- meta_predicate readtables:rewrite_some(2,*,*).
  463. % Restarting analysis ...
  464. % Found new meta-predicates in iteration 2 (0.132 sec)
  465. % :- meta_predicate env:update_lst_or_prepend(3,*,*,*).
  466. % :- meta_predicate env:set_el(3,?,*,*).
  467. % :- meta_predicate env:update_el_tail_or_append(3,?,*,?,?).
  468. % :- meta_predicate env:update_el_or_append(3,?,*,*,*).
  469. % :- meta_predicate env:push_lst_append(3,?,*,*).
  470. % :- meta_predicate env:push_el_append(3,?,*,*,*).
  471. % :- meta_predicate env:update_lst_or_append(3,?,*,?).
  472. % :- meta_predicate env:push_list_prepend(3,?,*,*).
  473. % :- meta_predicate kp4rms:function(*,2,?,?).
  474. % :- meta_predicate kp4rms:call_as_ident(2,?,?).
  475. % :- meta_predicate in1t:imply_interactive(0).
  476. % :- meta_predicate sxpr:dcg_and2(//,//,?,?).
  477. % :- meta_predicate sxpr:bx(0).
  478. % :- meta_predicate sxpr:dcg_not(//,?,?).
  479. % :- meta_predicate sxpr:phrase_from_pending_stream(//,*).
  480. % :- meta_predicate sxpr:phrase_from_stream_part_seekable(//,*).
  481. % Restarting analysis ...
  482. % Found new meta-predicates in iteration 3 (0.126 sec)
  483. % :- meta_predicate env:update_or_append(3,*,*,*).
  484. % :- meta_predicate env:update_or_prepend(3,*,*,*).
  485. % :- meta_predicate env:push_prepend(3,?,*,*).
  486. % :- meta_predicate env:push_append(3,*,*,*).
  487. % :- meta_predicate env:push_le_prepend(3,?,*,*,*).
  488. % :- meta_predicate kp4rms:xform_with_ident(*,2,*).
  489. % Restarting analysis ...
  490. :- was_info(yes(make)).
  491. T
  492. ```
  493. ```cl
  494. CL-USER>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!