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

improve docs on current module a little bit

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@635 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2002-10-14 16:22:33 +00:00
parent b9ae6fd4df
commit ca930d6321
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
docs/yap.tex
View File

@ -2980,8 +2980,15 @@ would return:
S = [1-b,1-a,1-b,2-c,3-a] S = [1-b,1-a,1-b,2-c,3-a]
@end example @end example
@end table @item length(?@var{L},?@var{S})
@findex length/2
@syindex length/2
@cyindex length/2
Unify the well-defined list @var{L} with its length. The procedure can
be used to find the length of a pre-defined list, or to build a list
of length @var{S}.
@end table
@node Arithmetic, I/O, Comparing Terms, Top @node Arithmetic, I/O, Comparing Terms, Top
@section Arithmetic @section Arithmetic
@ -5938,8 +5945,9 @@ Built-ins that return information on the current predicates and modules:
@findex current_module/1 @findex current_module/1
@syindex current_module/1 @syindex current_module/1
@cnindex current_module/1 @cnindex current_module/1
Succeeds if @var{M} are current modules. A module becomes current since Succeeds if @var{M} are defined modules. A module is defined as soon as some
some predicate defined in it is loaded. predicate defined in the module is loaded, as soon as a goal in the
module is called, or as soon as it becomes the current typein module.
@item current_module(@var{M},@var{F}) @item current_module(@var{M},@var{F})
@findex current_module/2 @findex current_module/2