yes
Creates a successful (Yes) solution for query, applying substitution (empty by default).
fun yes(signature: Signature, arguments: List<Term>, substitution: Substitution.Unifier = Substitution.empty()): Solution.Yes
Same as yes, but building the query out of signature and arguments.