diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix documentation for eraseall

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@712 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2002-12-02 18:12:58 +00:00
parent 4238da327d
commit d3dc039ddc
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
docs/yap.tex
View File

@ -4994,12 +4994,12 @@ with its most general instance. If @var{R} refers to an unit clause
@var{R} is not a reference to an existing clause or to a recorded term,
this goal fails.
@item eraseall(+@var{R})
@item eraseall(+@var{K})
@findex eraseall/1
@snindex eraseall/1
@cnindex eraseall/1
All terms referred to by @var{R} are erased from the internal
database. If reference @var{R} does not exist in the database,
All terms belonging to the key @code{K} are erased from the internal
database. The predicate always succeeds.
@code{eraseall} just fails.
@item current_key(@var{A},@var{P})