setFlag

abstract fun setFlag(name: String, value: Term)

Sets the Prolog flag named name to value in this solver's it.unibo.tuprolog.solve.flags.FlagStore.

abstract fun setFlag(flag: Pair<String, Term>)

Sets the Prolog flag identified by flag's first component to its second component.

abstract fun setFlag(flag: NotableFlag)

Sets flag to its default term value, as reported by NotableFlag.defaultTerm.