object
meta
¶
Some useful meta-predicates.
Author: Paulo Moura
Version: 5.2
Date: 2016/10/6
Compilation flags:
static, context_switching_calls
Implements:
public
metapAliases:
metap
map/2
aka succeeds/2
metap
map/2
aka maplist/2
metap
map/3
aka maplist/3
metap
map/4
aka maplist/4
metap
map/5
aka maplist/5
metap
map/6
aka maplist/6
metap
map/7
aka maplist/7
metap
map/8
aka maplist/8
metap
include/3
aka filter/3
metap
fold_left/4
aka foldl/4
metap
fold_left_1/3
aka foldl1/3
metap
fold_right/4
aka foldr/4
metap
fold_right_1/3
aka foldr1/3
metap
scan_left/4
aka scanl/4
metap
scan_left_1/3
aka scanl1/3
metap
scan_right/4
aka scanr/4
metap
scan_right_1/3
aka scanr1/3
Public interface¶
(see related entities)
Protected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)