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 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
%%% %%% jsonterm.pl %%% Conversion of terms to JSON objects. %%% This module implements the conversion of terms-to-JSON described in %%% http://www.swi-prolog.org/pldoc/doc_for?object=term_to_json:term_to_json/3 %%% (since term_to_json ignores its own documentation). %%% :- module(jsonterm, [ term_to_json/2, term_to_json/3 ]). :- use_module(library(apply)). to_json(Atom,JSON) :- |