A Region-Based Memory Manager for Prolog

We extend Tofte and Talpin's region-based model for memory management to support backtracking and cuts, which makes it suitable for use with Prolog and other logic programming languages. We describe how the extended model can be implemented and report on the performance of a prototype implementation. The prototype implementation performs well when compared to a garbage-collecting Prolog implementation using comparable technology for nonmemory-management issues. Categories and Subject Descriptors

• Type: Conference
• Year: 2000
• Where: IWMM
• Authors: Henning Makholm
• Keywords: Garbage-collecting Prolog Implementation, Hardware, IWMM 2000, Prototype Implementation, Talpin's Region-based Model