json.pl -- s(CASP) JSON I/O
- scasp_results_json(+Results, -Dict) is det
- Generate a JSON document from the results of the
s(CASP) solver.
Results is a dict holding:
- query
- The query represented as a list or as a conjunction.
- answers
- A list of answers. Each answer is a dict holding the keys
below. This dict is normally created using scasp_solve/4.
- query
- answer
- Nth answer (1, 2, ...)
- bindings
- model
- tree
- The justification tree. Optional.
- time
- inputs
- Description of the input. Typically a list of file names.
Optional.
- cpu
- COU time used to get all answers (optional).
- answer_json(+Answer, -Dict) is det[private]
- model_term_json(+ModelTerm, -Dict) is det[private]
- plain_term_json(+Term, -Dict) is det[private]
- constraints_json(+Term, -Dict) is det[private]