Dynamic Predicates: cur_line/1

* Non-determinate: json:nm_token/3 (clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: json:nm_frac/3 (clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: json:escape_char/3 (clause 1)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: json:escape_char/3 (clause 2)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: json:escape_char/3 (clause 3)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: json:escape_char/3 (clause 4)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: json:escape_char/3 (clause 5)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: json:escape_char/3 (clause 6)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: json:escape_char/3 (clause 7)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: json:escape_char/3 (clause 8)
* Indexing cannot distinguish this from clause 9.
* Non-determinate: json:hex_digit_char/3 (clause 11)
* Indexing cannot distinguish this from clause 17.
* Non-determinate: json:hex_digit_char/3 (clause 12)
* Indexing cannot distinguish this from clause 18.
* Non-determinate: json:hex_digit_char/3 (clause 13)
* Indexing cannot distinguish this from clause 19.
* Non-determinate: json:hex_digit_char/3 (clause 14)
* Indexing cannot distinguish this from clause 20.
* Non-determinate: json:hex_digit_char/3 (clause 15)
* Indexing cannot distinguish this from clause 21.
* Non-determinate: json:hex_digit_char/3 (clause 16)
* Indexing cannot distinguish this from clause 22.
* Non-determinate: json:ws/2 (clause 2)
* This clause contains a disjunction not forced to be deterministic.
! warning: predicate json:cur_line/1 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic json:cur_line/1 .
! near the top of this file.
* Non-determinate: json:inc_line_nr/0 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: json:reset_line_nr/0 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: json:print_error/1 (clause 1)
* Calls nondet predicate json:cur_line/1 .

Name: =/2
Name: print_info/1	Module: json
Name: array1/3	Module: json
Name: !
Name: try_json/3	Module: json

Name: =/2
Name: print_info/1	Module: json
Name: RECURSIVE_CALL/3	Module: json
Name: !
Name: json/3	Module: json

Name: fail
Name: format/3
Name: cur_line/1	Module: json
Name: =/2
Name: !
Name: RECURSIVE_CALL/3	Module: json
Name: ws/2	Module: foo_error

Name: pair/4	Module: json
Name: pair_name/3	Module: json
Name: json/3	Module: json
Name: json1/3	Module: json

Name: inc_line_nr/0	Module: json
Name: reset_line_nr/0	Module: json
Name: check_string/3	Module: json
Name: print_error/1	Module: json

Name: nm_frac/3	Module: json
Name: nm_token1/3	Module: json
Name: nm_exp1/3	Module: json
Name: nm_token/3	Module: json
Name: nm_exp/3	Module: json

Name: cur_line/1	Module: json
Name: assert/1
Name: is/2
Name: retract/1

Name: check_string/3	Module: json
Name: spaces/2	Module: foo_error
Name: pairs/3	Module: json
Name: !
Name: =/2
Name: array/3	Module: json
Name: string/3	Module: json
Name: number/3	Module: json

Name: nm_token1/3	Module: json
Name: digit_table/1	Module: json
Name: minus/1	Module: json
Name: =/2

Name: set_output/1
Name: nl
Name: write_term/2
Name: write/1
Name: print_message/2
Name: var/1
Name: ->/3
Name: current_output/1
Name: cur_line/1	Module: json

Name: pairs1/3	Module: json
Name: pairs/3	Module: json
Name: array/3	Module: json
Name: pair/4	Module: json
Name: array1/3	Module: json

Name: RECURSIVE_CALL/2	Module: json
Name: =/2
Name: otherwise
Name: ->/2
Name: </2
Name: ->/3
Name: get_code/2

Name: opt_pair_name/3	Module: json
Name: pair_name/3	Module: json
Name: json1/3	Module: json

prob_prolog/src/json.pl

Modules

Predicates of json

Module Information

Dynamic Predicates: cur_line/1

259 Lines

37 Predicates

3 Exports

0 Imports

Predicates:

Determinacy Checker: