Arend Theorem Prover: Check-in [0784891462]

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

Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

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  +