Check-in [8ad421112c]

Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Fixed module imports to avoid a (meaningless) warning.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | bc-subst
Files: files | file ages | folders
SHA1:8ad421112c367ef9186423b00c50105bdc480c44
User & Date: andy 2015-04-21 15:47:32
Context
2015-04-21
15:47
Fixed everything else to work with the new goal/clausal expansion. check-in: 52b0f899a0 user: andy tags: bc-subst, working
15:47
Fixed module imports to avoid a (meaningless) warning. check-in: 8ad421112c user: andy tags: bc-subst
15:47
Fixed client-side proof handling to work with the new backchain fomat. check-in: 626e89a1ac user: andy tags: bc-subst
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to apps/passist/passist.pl.

10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
    complete/1,
    get_spec/1
]).

:- use_module(library(term_to_json)).

% Load the interpreter and the Nat specification
:- use_module(plsrc(checker)).
:- use_module(plsrc(nat_spec_demo)).

% Get the current specification
get_spec(JSON) :-
    spec(Program),
    term_to_json(Program,JSON).








|







10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
    complete/1,
    get_spec/1
]).

:- use_module(library(term_to_json)).

% Load the interpreter and the Nat specification
:- use_module(plsrc(checker),except([check/2])).
:- use_module(plsrc(nat_spec_demo)).

% Get the current specification
get_spec(JSON) :-
    spec(Program),
    term_to_json(Program,JSON).