Function proto_vulcan::relation::append

pub fn append<U, E, G>(
    l: LTerm<U, E>, 
    s: LTerm<U, E>, 
    ls: LTerm<U, E>
) -> InferredGoal<U, E, G> where
    U: User,
    E: Engine<U>,
    G: AnyGoal<U, E>, 

A relation where l, s, and ls are proper lists, such that ls is s appended to l.

Example

extern crate proto_vulcan;
use proto_vulcan::prelude::*;
use proto_vulcan::relation::append;
fn main() {
    let query = proto_vulcan_query!(|q| {
        append([1, 2, 3], [4, 5], q)
    });
    assert!(query.run().next().unwrap().q == lterm!([1, 2, 3, 4, 5]));
}