From 237976cf309a0b706d4b0c2668126c639003d866 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Tue, 2 Oct 2012 15:15:16 +0100 Subject: [PATCH] documment new builtins. --- docs/yap.tex | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/docs/yap.tex b/docs/yap.tex index 7ca40895b..81009fa5c 100644 --- a/docs/yap.tex +++ b/docs/yap.tex @@ -3343,6 +3343,18 @@ Replace every @code{'$VAR'(@var{I})} by a free variable. @cnindex ground/1 Succeeds if there are no free variables in the term @var{T}. +@item cyclic_term(@var{T}) [ISO] +@findex cyclic_term/1 +@snindex cyclic_term/1 +@cnindex cyclic_term/1 +Succeeds if there are loops in the term @var{T}, that is, it is an infite term. + +@item acyclic_term(@var{T}) [ISO] +@findex acyclic_term/1 +@snindex acyclic_term/1 +@cnindex acyclic_term/1 +Succeeds if there are no loops in the term @var{T}, that is, it is an fite term. + @item arg(+@var{N},+@var{T},@var{A}) [ISO] @findex arg/3 @syindex arg/3 @@ -9667,6 +9679,15 @@ applying the predicate @var{Pred} to all list elements on which Calls @var{Pred} on all elements of @code{List} and collects a result in @var{X}, @var{Y} and @var{Z}. +@item foldl3(:@var{Pred}, +@var{List1}, ?@var{List2}, ?@var{X0}, +?@var{X}, ?@var{Y0}, ?@var{Y}, ?@var{Z0}, ?@var{Z}, ?@var{W0}, ?@var{W}) + +@findex foldl4/8 +@snindex foldl4/8 +@cnindex foldl4/8 + Calls @var{Pred} on all elements of @code{List} and collects a +result in @var{X}, @var{Y}, @var{Z} and @var{W}. + @item scanl(:@var{Pred}, +@var{List}, +@var{V0}, ?@var{Values}) @findex scanl/4 @snindex scanl/4