Memory Management for Prolog with Tabling (1998)

by B Demoen, K Sagonas
Venue:In Proceedings of ISMM’98: ACM SIGPLAN International Symposium on Memory Management