theory/it.unibo.tuprolog.theory/Theory/toString

toString

abstract fun toString(asPrologText: Boolean): String
Content copied to clipboard

An enhanced toString that prints the theory in a Prolog program format, if asPrologText is true