Package-level declarations

A Deobjectifier of Theory instances: rebuilds a Theory from a plain list following the same shape produced by TheoryObjectifier (a plain list of TermObjectifier-shaped clauses). Each element of the list is deobjectified with TermDeobjectifier and must, in turn, denote a clause. Used e.g. by a TheoryDeserializer after parsing a JSON/YAML/XML document into such a plain list.

A Deserializer of whole Theory instances, e.g. to reload a previously persisted knowledge base from disk, or to receive one sent by another process (or tool) as JSON, YAML, or XML. Internally, a TheoryDeserializer parses the input in the requested MimeType into a plain list and then reconstructs the Theory from it via TheoryDeobjectifier.

An Objectifier of Theory instances: since a Theory is itself an Iterable<it.unibo.tuprolog.core.Clause>, it is objectified as a plain list holding the TermObjectifier-produced representation of each of its clauses, in iteration order. This is what lets a TheorySerializer render a whole knowledge base as JSON, YAML, or XML.

A Serializer of whole Theory instances, e.g. to persist a knowledge base to disk or send it to another process (or tool, possibly written in another language) as JSON, YAML, or XML. Internally, a TheorySerializer objectifies the Theory via TheoryObjectifier (which in turn objectifies each it.unibo.tuprolog.core.Clause with TermObjectifier into a plain list) and then writes that list in the requested MimeType.