Repository navigation

Misc efforts

Jump to bottom

Patrick Hammer edited this page Jul 19, 2026 · 3 revisions

To generate intermediate Prolog code:

https://github.com/trueagi-io/PeTTa/pull/155

Faster term printing:

https://github.com/trueagi-io/PeTTa/pull/167

Memoization library: (allows more control compared to tabling):

https://github.com/trueagi-io/PeTTa/pull/165