Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
Comment: | Added jsonterm module, eventually to replace term_to_json (which is terrible). |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: | 0784891462e2b9a725f33fa7d346552422f789c9 |
User & Date: | andy 2015-04-22 20:50:33 |
Context
2015-04-22
| ||
20:50 | Presentation work. check-in: 1275718981 user: andy tags: trunk | |
20:50 | Added jsonterm module, eventually to replace term_to_json (which is terrible). check-in: 0784891462 user: andy tags: trunk | |
20:50 | Commented out tentative section of universal/existential quantification. check-in: c98b0d6d4e user: andy tags: trunk | |
Changes
Added plsrc/jsonterm.pl.
1 +%%% 2 +%%% jsonterm.pl 3 +%%% Conversion of terms to JSON objects. 4 +%%% This module implements the conversion of terms-to-JSON described in 5 +%%% http://www.swi-prolog.org/pldoc/doc_for?object=term_to_json:term_to_json/3 6 +%%% (since term_to_json ignores its own documentation). 7 +%%% 8 + 9 +:- module(jsonterm, [ 10 + term_to_json/2, 11 + term_to_json/3 12 +]). 13 + 14 +:- use_module(library(apply)). 15 + 16 +to_json(Atom,JSON) :- 17 +