pymetta 0.2.0__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (228) hide show
  1. pymetta-0.2.0/CHANGELOG.md +6925 -0
  2. pymetta-0.2.0/CITATION.cff +14 -0
  3. pymetta-0.2.0/LICENSE +21 -0
  4. pymetta-0.2.0/MANIFEST.in +31 -0
  5. pymetta-0.2.0/PKG-INFO +713 -0
  6. pymetta-0.2.0/README.md +654 -0
  7. pymetta-0.2.0/SECURITY.md +41 -0
  8. pymetta-0.2.0/engine/.gitignore +13 -0
  9. pymetta-0.2.0/engine/bench-baseline.json +88 -0
  10. pymetta-0.2.0/engine/bench.pl +454 -0
  11. pymetta-0.2.0/engine/bench.py +343 -0
  12. pymetta-0.2.0/engine/bench.sh +81 -0
  13. pymetta-0.2.0/engine/build.sh +46 -0
  14. pymetta-0.2.0/engine/check.sh +504 -0
  15. pymetta-0.2.0/engine/duals.pl +1438 -0
  16. pymetta-0.2.0/engine/ext_points.pl +1754 -0
  17. pymetta-0.2.0/engine/filereader/source_lifecycle.pl +766 -0
  18. pymetta-0.2.0/engine/filereader.pl +1634 -0
  19. pymetta-0.2.0/engine/json_codec.c +1219 -0
  20. pymetta-0.2.0/engine/json_codec.pl +315 -0
  21. pymetta-0.2.0/engine/kernel.pl +131 -0
  22. pymetta-0.2.0/engine/main.pl +104 -0
  23. pymetta-0.2.0/engine/mbr.c +355 -0
  24. pymetta-0.2.0/engine/metta/control.pl +1365 -0
  25. pymetta-0.2.0/engine/metta/effects.pl +2437 -0
  26. pymetta-0.2.0/engine/metta/input_guards.pl +329 -0
  27. pymetta-0.2.0/engine/metta/interop.pl +1603 -0
  28. pymetta-0.2.0/engine/metta/operators.pl +960 -0
  29. pymetta-0.2.0/engine/metta/registration.pl +675 -0
  30. pymetta-0.2.0/engine/metta/runtime.pl +664 -0
  31. pymetta-0.2.0/engine/metta/space_hooks.pl +1185 -0
  32. pymetta-0.2.0/engine/metta/terms.pl +833 -0
  33. pymetta-0.2.0/engine/metta/types.pl +1608 -0
  34. pymetta-0.2.0/engine/metta.pl +1593 -0
  35. pymetta-0.2.0/engine/metta_token.h +158 -0
  36. pymetta-0.2.0/engine/narrowing.pl +482 -0
  37. pymetta-0.2.0/engine/parser.pl +1480 -0
  38. pymetta-0.2.0/engine/prelude.metta +696 -0
  39. pymetta-0.2.0/engine/qlf_boot.pl +180 -0
  40. pymetta-0.2.0/engine/reader.c +923 -0
  41. pymetta-0.2.0/engine/scc.pl +155 -0
  42. pymetta-0.2.0/engine/spaces/bounded_matching.pl +989 -0
  43. pymetta-0.2.0/engine/spaces/catalog.pl +1548 -0
  44. pymetta-0.2.0/engine/spaces/foreign.pl +2080 -0
  45. pymetta-0.2.0/engine/spaces/lifecycle.pl +1836 -0
  46. pymetta-0.2.0/engine/spaces/native_matching.pl +676 -0
  47. pymetta-0.2.0/engine/spaces/segment_matching.pl +895 -0
  48. pymetta-0.2.0/engine/spaces.pl +373 -0
  49. pymetta-0.2.0/engine/specializer.pl +831 -0
  50. pymetta-0.2.0/engine/support_graph.pl +787 -0
  51. pymetta-0.2.0/engine/test.sh +87 -0
  52. pymetta-0.2.0/engine/tracer.pl +221 -0
  53. pymetta-0.2.0/engine/translator/analysis.pl +1479 -0
  54. pymetta-0.2.0/engine/translator/lowering.pl +1755 -0
  55. pymetta-0.2.0/engine/translator/runtime.pl +1425 -0
  56. pymetta-0.2.0/engine/translator/special_forms.pl +1925 -0
  57. pymetta-0.2.0/engine/translator/typing.pl +702 -0
  58. pymetta-0.2.0/engine/translator.pl +377 -0
  59. pymetta-0.2.0/engine/translator_rules.pl +651 -0
  60. pymetta-0.2.0/engine/trs.pl +506 -0
  61. pymetta-0.2.0/engine/type_rules.pl +246 -0
  62. pymetta-0.2.0/engine/writer.c +915 -0
  63. pymetta-0.2.0/extensions/mork/extension.pl +34 -0
  64. pymetta-0.2.0/extensions/python/bridge.pl +844 -0
  65. pymetta-0.2.0/extensions/python/extension.pl +23 -0
  66. pymetta-0.2.0/extensions/python/helper.pl +34 -0
  67. pymetta-0.2.0/extensions/python/metta/__init__.py +1261 -0
  68. pymetta-0.2.0/extensions/python/metta/__main__.py +255 -0
  69. pymetta-0.2.0/extensions/python/metta/_api_types.py +18 -0
  70. pymetta-0.2.0/extensions/python/metta/_async_ops.py +464 -0
  71. pymetta-0.2.0/extensions/python/metta/_atom_namespace.py +256 -0
  72. pymetta-0.2.0/extensions/python/metta/_atom_wire.py +334 -0
  73. pymetta-0.2.0/extensions/python/metta/_atoms_core.py +1886 -0
  74. pymetta-0.2.0/extensions/python/metta/_call_binding.py +65 -0
  75. pymetta-0.2.0/extensions/python/metta/_callable_mentions.py +110 -0
  76. pymetta-0.2.0/extensions/python/metta/_callbacks.py +173 -0
  77. pymetta-0.2.0/extensions/python/metta/_codec_kit.py +416 -0
  78. pymetta-0.2.0/extensions/python/metta/_compliance.py +627 -0
  79. pymetta-0.2.0/extensions/python/metta/_config.py +176 -0
  80. pymetta-0.2.0/extensions/python/metta/_contract.py +252 -0
  81. pymetta-0.2.0/extensions/python/metta/_convert_build.py +265 -0
  82. pymetta-0.2.0/extensions/python/metta/_convert_project.py +392 -0
  83. pymetta-0.2.0/extensions/python/metta/_convert_registry.py +452 -0
  84. pymetta-0.2.0/extensions/python/metta/_define_context.py +221 -0
  85. pymetta-0.2.0/extensions/python/metta/_define_expression.py +1549 -0
  86. pymetta-0.2.0/extensions/python/metta/_define_facts.py +281 -0
  87. pymetta-0.2.0/extensions/python/metta/_define_loops.py +173 -0
  88. pymetta-0.2.0/extensions/python/metta/_define_statements.py +1969 -0
  89. pymetta-0.2.0/extensions/python/metta/_define_twins.py +252 -0
  90. pymetta-0.2.0/extensions/python/metta/_documentation.py +189 -0
  91. pymetta-0.2.0/extensions/python/metta/_engine.py +1004 -0
  92. pymetta-0.2.0/extensions/python/metta/_fn.py +708 -0
  93. pymetta-0.2.0/extensions/python/metta/_fn.pyi +359 -0
  94. pymetta-0.2.0/extensions/python/metta/_gateway_compliance.py +349 -0
  95. pymetta-0.2.0/extensions/python/metta/_host_island.py +104 -0
  96. pymetta-0.2.0/extensions/python/metta/_json.py +117 -0
  97. pymetta-0.2.0/extensions/python/metta/_library.py +200 -0
  98. pymetta-0.2.0/extensions/python/metta/_lint_analysis.py +950 -0
  99. pymetta-0.2.0/extensions/python/metta/_lint_events.py +728 -0
  100. pymetta-0.2.0/extensions/python/metta/_lint_model.py +211 -0
  101. pymetta-0.2.0/extensions/python/metta/_name_mapping.py +171 -0
  102. pymetta-0.2.0/extensions/python/metta/_network.py +195 -0
  103. pymetta-0.2.0/extensions/python/metta/_object_fields.py +28 -0
  104. pymetta-0.2.0/extensions/python/metta/_operator_lowerings.py +119 -0
  105. pymetta-0.2.0/extensions/python/metta/_ops.py +838 -0
  106. pymetta-0.2.0/extensions/python/metta/_optional.py +31 -0
  107. pymetta-0.2.0/extensions/python/metta/_parameterized.py +280 -0
  108. pymetta-0.2.0/extensions/python/metta/_persistent.py +1542 -0
  109. pymetta-0.2.0/extensions/python/metta/_prelude.py +445 -0
  110. pymetta-0.2.0/extensions/python/metta/_rules.py +228 -0
  111. pymetta-0.2.0/extensions/python/metta/_saga.py +935 -0
  112. pymetta-0.2.0/extensions/python/metta/_source_forms.py +92 -0
  113. pymetta-0.2.0/extensions/python/metta/_space.py +6237 -0
  114. pymetta-0.2.0/extensions/python/metta/_space_definitions.py +1057 -0
  115. pymetta-0.2.0/extensions/python/metta/_space_diagnostics.py +146 -0
  116. pymetta-0.2.0/extensions/python/metta/_space_execution.py +891 -0
  117. pymetta-0.2.0/extensions/python/metta/_space_objects.py +1375 -0
  118. pymetta-0.2.0/extensions/python/metta/_space_persistence.py +364 -0
  119. pymetta-0.2.0/extensions/python/metta/_space_query.py +124 -0
  120. pymetta-0.2.0/extensions/python/metta/_state.py +79 -0
  121. pymetta-0.2.0/extensions/python/metta/_task_context.py +150 -0
  122. pymetta-0.2.0/extensions/python/metta/_tokens.py +24 -0
  123. pymetta-0.2.0/extensions/python/metta/_trace.py +96 -0
  124. pymetta-0.2.0/extensions/python/metta/_type_annotations.py +417 -0
  125. pymetta-0.2.0/extensions/python/metta/_under.py +51 -0
  126. pymetta-0.2.0/extensions/python/metta/_version.py +8 -0
  127. pymetta-0.2.0/extensions/python/metta/_world.py +337 -0
  128. pymetta-0.2.0/extensions/python/metta/aio.py +3160 -0
  129. pymetta-0.2.0/extensions/python/metta/algebra.py +1408 -0
  130. pymetta-0.2.0/extensions/python/metta/answer.py +138 -0
  131. pymetta-0.2.0/extensions/python/metta/arrays.py +817 -0
  132. pymetta-0.2.0/extensions/python/metta/atoms.py +619 -0
  133. pymetta-0.2.0/extensions/python/metta/benchmarking.py +1075 -0
  134. pymetta-0.2.0/extensions/python/metta/casting.py +117 -0
  135. pymetta-0.2.0/extensions/python/metta/cli.py +98 -0
  136. pymetta-0.2.0/extensions/python/metta/convert.py +41 -0
  137. pymetta-0.2.0/extensions/python/metta/define.py +1108 -0
  138. pymetta-0.2.0/extensions/python/metta/derivation.py +247 -0
  139. pymetta-0.2.0/extensions/python/metta/errors.py +538 -0
  140. pymetta-0.2.0/extensions/python/metta/events.py +762 -0
  141. pymetta-0.2.0/extensions/python/metta/foreign.py +923 -0
  142. pymetta-0.2.0/extensions/python/metta/integrate.py +660 -0
  143. pymetta-0.2.0/extensions/python/metta/ipython.py +73 -0
  144. pymetta-0.2.0/extensions/python/metta/lint.py +93 -0
  145. pymetta-0.2.0/extensions/python/metta/manifest.py +501 -0
  146. pymetta-0.2.0/extensions/python/metta/ops.py +1049 -0
  147. pymetta-0.2.0/extensions/python/metta/parallel.py +542 -0
  148. pymetta-0.2.0/extensions/python/metta/paths.py +155 -0
  149. pymetta-0.2.0/extensions/python/metta/py.typed +0 -0
  150. pymetta-0.2.0/extensions/python/metta/pytest_plugin.py +39 -0
  151. pymetta-0.2.0/extensions/python/metta/remote.py +1909 -0
  152. pymetta-0.2.0/extensions/python/metta/results.py +1216 -0
  153. pymetta-0.2.0/extensions/python/metta/shim.pl +4900 -0
  154. pymetta-0.2.0/extensions/python/metta/spaces.py +668 -0
  155. pymetta-0.2.0/extensions/python/metta/strategies.py +58 -0
  156. pymetta-0.2.0/extensions/python/metta/structures.py +734 -0
  157. pymetta-0.2.0/extensions/python/metta/subscribe.py +347 -0
  158. pymetta-0.2.0/extensions/python/metta/tables.py +597 -0
  159. pymetta-0.2.0/extensions/python/metta/testing.py +989 -0
  160. pymetta-0.2.0/extensions/python/metta/vocabularies.py +372 -0
  161. pymetta-0.2.0/extensions/python/metta/wire.py +17 -0
  162. pymetta-0.2.0/extensions/python/metta_py.py +377 -0
  163. pymetta-0.2.0/extensions/python/pymetta.egg-info/PKG-INFO +713 -0
  164. pymetta-0.2.0/extensions/python/pymetta.egg-info/SOURCES.txt +226 -0
  165. pymetta-0.2.0/extensions/python/pymetta.egg-info/dependency_links.txt +1 -0
  166. pymetta-0.2.0/extensions/python/pymetta.egg-info/entry_points.txt +5 -0
  167. pymetta-0.2.0/extensions/python/pymetta.egg-info/requires.txt +44 -0
  168. pymetta-0.2.0/extensions/python/pymetta.egg-info/top_level.txt +1 -0
  169. pymetta-0.2.0/lib/.gitignore +4 -0
  170. pymetta-0.2.0/lib/builtin_mods/skel.metta +23 -0
  171. pymetta-0.2.0/lib/builtin_mods/skel.pl +17 -0
  172. pymetta-0.2.0/lib/lib_builtin_types/lib_builtin_types.metta +508 -0
  173. pymetta-0.2.0/lib/lib_combinatorics/lib_combinatorics.metta +33 -0
  174. pymetta-0.2.0/lib/lib_conformance/lib_conformance.metta +26 -0
  175. pymetta-0.2.0/lib/lib_conformance/lib_conformance.pl +411 -0
  176. pymetta-0.2.0/lib/lib_constraints/lib_constraints.metta +30 -0
  177. pymetta-0.2.0/lib/lib_constraints/lib_constraints.pl +166 -0
  178. pymetta-0.2.0/lib/lib_crypto/lib_crypto.metta +17 -0
  179. pymetta-0.2.0/lib/lib_crypto/lib_crypto.pl +23 -0
  180. pymetta-0.2.0/lib/lib_datastructures/lib_datastructures.metta +201 -0
  181. pymetta-0.2.0/lib/lib_datetime/lib_datetime.metta +8 -0
  182. pymetta-0.2.0/lib/lib_datetime/lib_datetime.pl +10 -0
  183. pymetta-0.2.0/lib/lib_derived/lib_derived.metta +44 -0
  184. pymetta-0.2.0/lib/lib_dict/lib_dict.metta +78 -0
  185. pymetta-0.2.0/lib/lib_doc/lib_doc.metta +44 -0
  186. pymetta-0.2.0/lib/lib_file/lib_file.metta +51 -0
  187. pymetta-0.2.0/lib/lib_file/lib_file.pl +287 -0
  188. pymetta-0.2.0/lib/lib_gitimport/lib_gitimport.pl +385 -0
  189. pymetta-0.2.0/lib/lib_he/lib_he.metta +50 -0
  190. pymetta-0.2.0/lib/lib_import/lib_import.metta +41 -0
  191. pymetta-0.2.0/lib/lib_import/lib_import.pl +143 -0
  192. pymetta-0.2.0/lib/lib_json/lib_json.metta +20 -0
  193. pymetta-0.2.0/lib/lib_json/lib_json.pl +211 -0
  194. pymetta-0.2.0/lib/lib_measure/lib_measure.metta +102 -0
  195. pymetta-0.2.0/lib/lib_memo/lib_memo.metta +23 -0
  196. pymetta-0.2.0/lib/lib_memo/lib_memo.pl +1750 -0
  197. pymetta-0.2.0/lib/lib_memo/lib_memo_doc.md +226 -0
  198. pymetta-0.2.0/lib/lib_mm2/lib_mm2.metta +35 -0
  199. pymetta-0.2.0/lib/lib_nars/lib_nars.metta +275 -0
  200. pymetta-0.2.0/lib/lib_patrick/lib_patrick.metta +27 -0
  201. pymetta-0.2.0/lib/lib_pln/lib_pln.metta +474 -0
  202. pymetta-0.2.0/lib/lib_redis/lib_redis.metta +15 -0
  203. pymetta-0.2.0/lib/lib_redis/lib_redis.pl +290 -0
  204. pymetta-0.2.0/lib/lib_reflect/lib_reflect.metta +93 -0
  205. pymetta-0.2.0/lib/lib_reflect/lib_reflect.pl +140 -0
  206. pymetta-0.2.0/lib/lib_regex/lib_regex.metta +24 -0
  207. pymetta-0.2.0/lib/lib_regex/lib_regex.pl +61 -0
  208. pymetta-0.2.0/lib/lib_roman/lib_roman.metta +110 -0
  209. pymetta-0.2.0/lib/lib_soft/lib_soft.metta +70 -0
  210. pymetta-0.2.0/lib/lib_spaces/lib_spaces.metta +35 -0
  211. pymetta-0.2.0/lib/lib_strategy/lib_strategy.metta +272 -0
  212. pymetta-0.2.0/lib/lib_string/lib_string.metta +37 -0
  213. pymetta-0.2.0/lib/lib_string/lib_string.pl +258 -0
  214. pymetta-0.2.0/lib/lib_tabling/lib_tabling.metta +68 -0
  215. pymetta-0.2.0/lib/lib_tabling/lib_tabling.pl +540 -0
  216. pymetta-0.2.0/lib/lib_thread/lib_thread.metta +179 -0
  217. pymetta-0.2.0/lib/lib_thread/lib_thread.pl +1809 -0
  218. pymetta-0.2.0/lib/lib_thread/lib_thread_doc.md +283 -0
  219. pymetta-0.2.0/lib/lib_torch/lib_torch.metta +44 -0
  220. pymetta-0.2.0/lib/lib_vector/lib_vector.metta +24 -0
  221. pymetta-0.2.0/lib/lib_zar/lib_zar.metta +49 -0
  222. pymetta-0.2.0/lib/minimal_metta_lib/minimal_metta_lib.metta +181 -0
  223. pymetta-0.2.0/lib/minimal_metta_lib/minimal_metta_lib.pl +284 -0
  224. pymetta-0.2.0/lib/minimal_metta_lib/minimal_metta_lib.py +82 -0
  225. pymetta-0.2.0/pyproject.toml +527 -0
  226. pymetta-0.2.0/setup.cfg +4 -0
  227. pymetta-0.2.0/setup.py +206 -0
  228. pymetta-0.2.0/tests/codec/corpus.json +620 -0

There are too many changes on this page to be displayed.

The amount of changes on this page would crash your brower.

You can still verify the content by downloading the package file manually.