Misc efforts - trueagi-io/PeTTa GitHub Wiki
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):