Struct PrologMetaPredicates 

pub struct PrologMetaPredicates;

Standard higher-order predicates in Prolog.

Implementations

impl PrologMetaPredicates

pub fn maplist(goal: PrologTerm, list: PrologTerm) -> PrologTerm

A maplist/2 call: maplist(Goal, List).

pub fn maplist2( goal: PrologTerm, list: PrologTerm, result: PrologTerm, ) -> PrologTerm

A maplist/3 call: maplist(Goal, List, Result).

pub fn include( goal: PrologTerm, list: PrologTerm, result: PrologTerm, ) -> PrologTerm

An include/3 call.

pub fn exclude( goal: PrologTerm, list: PrologTerm, result: PrologTerm, ) -> PrologTerm

An exclude/3 call.

pub fn foldl( goal: PrologTerm, list: PrologTerm, v0: PrologTerm, v: PrologTerm, ) -> PrologTerm

A foldl/4 call.

pub fn aggregate_all( template: PrologTerm, goal: PrologTerm, result: PrologTerm, ) -> PrologTerm

An aggregate_all/3 call.

pub fn call_n(f: PrologTerm, args: Vec<PrologTerm>) -> PrologTerm

A call/N call.

pub fn once(goal: PrologTerm) -> PrologTerm

A once/1 call.

pub fn ignore(goal: PrologTerm) -> PrologTerm

An ignore/1 call (succeeds even if goal fails).

pub fn forall(cond: PrologTerm, action: PrologTerm) -> PrologTerm

A forall/2 call: forall(Cond, Action).

pub fn findall( template: PrologTerm, goal: PrologTerm, bag: PrologTerm, ) -> PrologTerm

A findall/3 call.

pub fn bagof( template: PrologTerm, goal: PrologTerm, bag: PrologTerm, ) -> PrologTerm

A bagof/3 call.

pub fn setof( template: PrologTerm, goal: PrologTerm, bag: PrologTerm, ) -> PrologTerm

A setof/3 call.