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

fix missing docs

Browse Source
This commit is contained in:
Vítor Santos Costa 2010-05-21 22:50:37 +01:00
parent 845866f940
commit e5df34e323
1 changed files with 14 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
docs/yap.tex
View File

@ -3328,6 +3328,20 @@ in @var{TI} are also duplicated.
Also refer to @code{copy_term/2}.
@item is_list(+@var{List})
@findex is_list/1
@syindex is_list/1
@cnindex is_list/1
True when @var{List} is a proper list. That is, @var{List}
is bound to the empty list (nil) or a term with functor '.' and arity 2.
@item ?@var{Term1} =@= ?@var{Term2}
@findex =@=/2
@syindex =@=/2
@cnindex =@=/2
Same as @code{variant/2}, succeeds if @var{Term1} and @var{Term2} are variant terms.
@end table
@node Predicates on Atoms, Predicates on Characters, Testing Terms, Top
@ -8814,13 +8828,6 @@ L = [1,2,3,4,5,6,7,8] ? ;
no
@end example
@item is_list(+@var{List})
@findex is_list/1
@syindex is_list/1
@cnindex is_list/1
True when @var{List} is a proper list. That is, @var{List}
is bound to the empty list (nil) or a term with functor '.' and arity 2.
@item last(+@var{List},?@var{Last})
@findex last/2
@syindex last/2