Function resolve 

pub fn resolve(
    query: &Query,
    db: &LpDatabase,
    cfg: &SolveConfig,
) -> Vec<Substitution>

Collect all solutions to a query using SLD resolution.