object

meta

Some useful meta-predicates.

Availability:

logtalk_load(meta(loader))

Author: Paulo Moura

Version: 5:2:0

Date: 2016-10-06

Compilation flags:

static, context_switching_calls

Implements:

public metap

Aliases:

metap map/2 as succeeds/2

metap map/2 as maplist/2

metap map/3 as maplist/3

metap map/4 as maplist/4

metap map/5 as maplist/5

metap map/6 as maplist/6

metap map/7 as maplist/7

metap map/8 as maplist/8

metap include/3 as filter/3

metap fold_left/4 as foldl/4

metap fold_left_1/3 as foldl1/3

metap fold_right/4 as foldr/4

metap fold_right_1/3 as foldr1/3

metap scan_left/4 as scanl/4

metap scan_left_1/3 as scanl1/3

metap scan_right/4 as scanr/4

metap scan_right_1/3 as scanr1/3

Remarks:

(none)

Inherited public predicates:

 exclude/3  findall_member/4  findall_member/5  fold_left/4  fold_left_1/3  fold_right/4  fold_right_1/3  include/3  map/2  map/3  map/4  map/5  map/6  map/7  map/8  map_reduce/5  partition/4  partition/6  scan_left/4  scan_left_1/3  scan_right/4  scan_right_1/3

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)

See also

meta_compiler