solve/it.unibo.tuprolog.solve/Solution/Companion

Companion

object Companion

Functions

fun halt(query: Struct, exception: ResolutionException): Solution.Halt

Creates an aborted (Halt) solution for query, carrying exception.

fun halt(signature: Signature, arguments: List<Term>, exception: ResolutionException): Solution.Halt

Same as halt, but building the query out of signature and arguments.

fun no(query: Struct): Solution.No

Creates a failed (No) solution for query.

fun no(signature: Signature, arguments: List<Term>): Solution.No

Same as no, but building the query out of signature and arguments.

fun yes(query: Struct, substitution: Substitution.Unifier = Substitution.empty()): Solution.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.