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

no

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.