Advertisement
logicmoo

meta_preds undeclared

Jan 13th, 2018
476
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 34.25 KB | None | 0 0
  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