Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Added Prolog transpilation comments and assertTrue functional predicate. (details)
  2. Refactored mettalogpy_repl and added maybe_load_metta_python_patcher logic. (details)
  3. Changed determinism annotations for lookup_spft_match and lookup_spft_match_deeper. (details)
  4. Added lazy loading for Metta Python proxy and refactored initialization logic. (details)
Commit 45136aa9b77a8261d868afc52a64406a19d47842 by Douglas R Miles
Added Prolog transpilation comments and assertTrue functional predicate.
The file was modifiedsrc/canary/metta_compiler.pl (diff)
Commit bd0566bc83f82c52cb8ac34c330cf52149815c0c by Douglas R Miles
Refactored mettalogpy_repl and added maybe_load_metta_python_patcher logic.
The file was modifiedsrc/canary/metta_corelib.pl (diff)
Commit db154b6495d173f81030d3c56532c7ccda9fb192 by Douglas R Miles
Changed determinism annotations for lookup_spft_match and lookup_spft_match_deeper.
The file was modifiedsrc/canary/metta_pfc_support.pl (diff)
Commit 0a2288bff0288eb4c8a1534d0ad53f45f503ee2c by Douglas R Miles
Added lazy loading for Metta Python proxy and refactored initialization logic.
The file was modifiedsrc/canary/metta_python.pl (diff)