TermDeserializer
A Deserializer of Terms, e.g. to reload a previously persisted fact or query solution from disk, or to receive one sent by another process (or tool) as JSON, YAML, or XML. Internally, a TermDeserializer typically parses the input in the requested MimeType into a plain object and then reconstructs the Term from it via TermDeobjectifier.
Usage example:
val deserializer: TermDeserializer = TermDeserializer.of(MimeType.Json)
val term: Term = deserializer.deserialize("""{"fun":"f","args":["hello",2]}""")Content copied to clipboard
See also
for the inverse operation.
A JVM-only ReadingTermDeserializer variant reads directly from a java.io.Reader.