suiron::built_in_append

Function next_solution_append

Source 
pub fn next_solution_append<'a>(
    bip: BuiltInPredicate,
    ss: &'a Rc<SubstitutionSet<'a>>,
) -> Option<Rc<SubstitutionSet<'a>>>
Expand description

Evaluates a solution node for the append() predicate.

Appends terms together to create a list.

The append() predicate requires at least two arguments. The first n - 1 arguments are input arguments, and the last argument is the output argument. (All arguments are unifiable terms.)

This function is called by next_solution_bip() in built_in_predicates.rs.

§Arguments

§Return