solve

fun solve(goal: Term): Sequence<Substitution>

Solutions of a goal (a fact, a single-goal rule, or clause(Head, Body)) on a snapshot of the store