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

Companion

object Companion

Functions

fun halt(query: <ERROR CLASS>, exception: ResolutionException): Solution.Halt

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

fun no(query: <ERROR CLASS>): Solution.No

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

fun yes(query: <ERROR CLASS>, substitution: <ERROR CLASS> = Substitution.empty()): Solution.Yes

fun yes( signature: Signature, arguments: List<<ERROR CLASS>>, substitution: <ERROR CLASS> = Substitution.empty()): Solution.Yes