Skip to content

Fix PLN test failures from heap queue changes#132

Merged
rTreutlein merged 1 commit intolib-pln-queue-dedup-improvementsfrom
task2-libpln-testfix
Feb 20, 2026
Merged

Fix PLN test failures from heap queue changes#132
rTreutlein merged 1 commit intolib-pln-queue-dedup-improvementsfrom
task2-libpln-testfix

Conversation

@rTreutlein
Copy link
Collaborator

Summary

  • reproduce failures in sh test.sh caused by syntax errors while loading lib/lib_pln.metta
  • remove the new heap-based queue path that the current MeTTa to Prolog translator cannot process
  • restore LimitSize and confidence selection to the prior BestCandidate-based implementation while keeping other lib_pln improvements

Validation

  • before: sh test.sh failed on ./examples/pln_direct.metta, ./examples/pln_roman.metta, and ./examples/pln_tuffy.metta with syntax errors in TaskHeapPush
  • after: sh test.sh passes end-to-end

@rTreutlein rTreutlein merged commit 3d35b16 into lib-pln-queue-dedup-improvements Feb 20, 2026
@rTreutlein
Copy link
Collaborator Author

Folded this PR into #127 by fast-forwarding to include commit . Keeping #127 as the single active PR.

@rTreutlein
Copy link
Collaborator Author

Folded this PR into #127 by fast-forwarding lib-pln-queue-dedup-improvements to include commit 3d35b16. Keeping #127 as the single active PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant