NDLI: Memory management for Prolog with tabling

Content Provider	ACM Digital Library
Author	Sagonas, Konstantinos Demoen, Bart
Abstract	Tabling can be implemented in a (WAM-based) Prolog system by means of SLG-WAM: consumers suspend and their state is preserved by freezing the execution stacks. XSB is a system that currently implements tabling based on the SLG-WAM. The memory model is quite complex and attempts to understand the notion of usefulness of data in XSB well enough to build a precise garbage collector have failed in the past. CAT is a recent alternative to SLG-WAM: it suspends consumers by copying parts of the execution stacks. The memory model is simpler and the design of a more precise garbage collector became feasible. CAT also provided the necessary insights in the usefulness of data in the context of the SLG-WAM. This paper describes the memory management of tabled logic programming systems, whether based on the SLG-WAM or on CAT. Since CAT can perform arbitrarily worse than SLG-WAM space-wise, a minor garbage collection on creation of the CAT areas is proposed as a remedy; its effectiveness is discussed.
Starting Page	97
Ending Page	106
Page Count	10
File Format	PDF
ISSN	03621340 15581160
DOI	10.1145/301589.286871
Journal	ACM SIGPLAN Notices (SIGP)
Volume Number	34
Issue Number	3
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1983-05-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article
Subject	Computer Graphics and Computer-Aided Design Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Integrated symbol table, engine and heap memory management in multi-engine prolog

A region-based memory manager for prolog

Prolog compared with LISP?

Prolog puzzles

EPILOG = PROLOG + Data Flow:arguments for combining PROLOG with a data driven mechanism

Determinacy analysis for full Prolog

Universal closure operator for prolog

Memory management with explicit regions

Semantics preserving transformation rules for Prolog

Memory management for Prolog with tabling

Similar Documents

Integrated symbol table, engine and heap memory management in multi-engine prolog

A region-based memory manager for prolog

Prolog compared with LISP?

Prolog puzzles

EPILOG = PROLOG + Data Flow:arguments for combining PROLOG with a data driven mechanism

Determinacy analysis for full Prolog

Universal closure operator for prolog

Memory management with explicit regions

Semantics preserving transformation rules for Prolog

Memory management for Prolog with tabling