Solve JSON and JSON-LD examples:


Read, prove and modify JSON syntax examples for predicate logic as defined in the JSON-LD-LOGIC proposal with the following goals:

Providing a simple format for the programmatic management, parsing and printing of logical problems and proofs.
Compatibility with the TPTP language used by most high-end full FOL reasoners, as described in the TPTP technical manual.
Compatibility with JSON-LD, see the W3C recommendation.