Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!zaphod.mps.ohio-state.edu!rpi!uupsi!sunic!sics.se!sics.se!roland
From: roland@sics.se (Roland Karlsson)
Newsgroups: comp.lang.prolog
Subject: Re: Garbage collecting names in Prolog
Message-ID: <1991Apr16.124755.868@sics.se>
Date: 16 Apr 91 12:47:55 GMT
References: <1991Apr5.143158.7857@swift.cs.tcd.ie> <5218@goanna.cs.rmit.oz.au>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
Lines: 15
In-Reply-To: ok@goanna.cs.rmit.oz.au's message of 12 Apr 91 06: 52:25 GMT


The current_atom/1 and current_functor/2 assumes that you somewhere
have stored a set of atoms or functors.  What set????  In practice
those two predicates are meaningless and should not be implemented.

Tables for atoms, numbers, functors, predicates, etc have to be
garbage collected in any system that claim to be a commercial
product.  All data areas (tables and stack) shall also shrink on
garbage collection.


--
Roland Karlsson
SICS, PO Box 1263, S-164 28 KISTA, SWEDEN	Internet: roland@sics.se
Tel: +46 8 752 15 40	Ttx: 812 61 54 SICS S	Fax: +46 8 751 72 30