Did you know ... Search Documentation:
Predicate term_to_json/3
Availability::- use_module(library(term_to_json)).(can be autoloaded)
Source[det]term_to_json(+Term, +Bindings, -JsonTerm)
[det]term_to_json(+Term, -JsonTerm)
Convert any general Prolog term into a JSON term. Prolog lists are treated in a special way. Also, JSON terms are not converted. Mapping:

  • Variable: {"type":"var", "name":<string>}
  • Atom: {"type":"atom", "value":<string>}
  • Integer: {"type":"integer", "value":<integer>}
  • Float: {"type":"float", "value":<float>}
  • List: JSON array
  • Dict: a JSON object. Values are processed recursively. (the tag is ignored)
  • json([Key=Value, ...]): a JSON object Values are processed recursively.
  • compound: {"type":"compound", "functor":<string>, "args":<array>}
Bindings is a list of Name=Var terms for variables that get their name from the environment.
Tags are associated to your profile if you are logged in|Report abuse
Tags:
  • doc-needs-help
LogicalCaptain said (2021-04-25T20:57:42):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

See also the description at:

https://eu.swi-prolog.org/pldoc/man?section=prolog-canonical-json

which is subtly different.

Do not use this with cyclic structures!

?- A=[1,2,3|A],term_to_json(A,X).
ERROR: Stack limit (1.0Gb) exceeded

Also, I can't make the description correspond to what actually happens:

?- term_to_json(1,X).
X = 1.

?- term_to_json(1.1,X).
X = 1.1.

?- term_to_json(thisisanatom,X).
X = thisisanatom.

?- term_to_json(somedict{a:1},X).
X = somedict{a:1}.

?- term_to_json(A,X).
X = "_".

?- term_to_json([1,2,3],X).
X = [1, 2, 3].

?- term_to_json(foo(bar,baz),X).
X = json{args:[bar, baz], functor:foo}.

?- term_to_json(json([a=1,b=2]),X).
false.