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