From 34b591782870efc05239dd264e4a720641635dad Mon Sep 17 00:00:00 2001 From: vsc Date: Wed, 5 Jun 2002 12:54:11 +0000 Subject: [PATCH] changes to init git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@520 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- docs/yap.tex | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/docs/yap.tex b/docs/yap.tex index aff255acc..723ed91c5 100644 --- a/docs/yap.tex +++ b/docs/yap.tex @@ -2382,6 +2382,13 @@ a matching @code{catch/3}, or until reaching top-level. @cnindex garbage_collect/0 The goal @code{garbage_collect} forces a garbage collection. +@item garbage_collect_atoms +@findex garbage_collect_atoms/0 +@syindex garbage_collect_atoms/0 +@cnindex garbage_collect_atoms/0 +The goal @code{garbage_collect} forces a garbage collection of the atoms +in the data-base. Currently, only atoms are recovered. + @item gc @findex gc/0 @syindex gc/0 @@ -4963,7 +4970,7 @@ erased. If @var{R} refers to a clause or a recorded term, @var{T} is unified with its most general instance. If @var{R} refers to an unit clause @var{C}, then @var{T} is unified with @code{@var{C} :- true}. When -@var{R} is not a reference to an existing clause or a recorded term, +@var{R} is not a reference to an existing clause or to a recorded term, this goal fails. @item eraseall(+@var{R})