This function takes a propositional Domain which is a Java Object in the
internal representation, and writes it to the given Writer as a string
conforming to the PPL syntax.
This function takes a Problem which is a Java Object in the internal
representation, and writes it to the given Writer as a string conforming
to the PPL syntax.
This function takes a SequentialPlan which is a Java Object in the internal
representation, and writes it to the given Writer as a string conforming
to the PPL syntax.
This function takes a logical Sentence which is a Java Object in the
internal representation, and writes it to the given Writer as a string
conforming to the KIF syntax.
This function takes a logical Sentence which is a Java Object in the
internal representation, and writes it to the given Writer as a string
conforming to the KIF syntax.
This function takes a logical Sentence which is a Java Object in the
internal representation, and writes it to the given Writer as a string
conforming to the KIF syntax.