Skip to main content
Version: v11.0.0

json_prolog/2

Description​

json_prolog/2 is a predicate that unifies a JSON into a prolog term and vice versa.

The signature is as follows:

json_prolog(?Json, ?Term) is det

Where:

  • Json is the textual representation of the JSON, as either an atom, a list of character codes, or a list of characters.
  • Term is the Prolog term that represents the JSON structure.

JSON canonical representation​

The canonical representation for Term is:

  • A JSON object is mapped to a Prolog term json(NameValueList), where NameValueList is a list of Name=Value key values. Name is an atom created from the JSON string.
  • A JSON array is mapped to a Prolog list of JSON values.
  • A JSON string is mapped to a Prolog atom.
  • A JSON number is mapped to a Prolog number.
  • The JSON constants true and false are mapped to @(true) and @(false).
  • The JSON constant null is mapped to the Prolog term @(null).

Examples​

# JSON conversion to Prolog.
- json_prolog('{"foo": "bar"}', json([foo=bar])).