108 Lines

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(self_check) does not exist
! goal: absolute_file_name(probsrc(self_check),_5491,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pltables/pltables_export_tools.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_5479,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pltables/pltables_export_tools.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(self_check) does not exist
! goal: absolute_file_name(probsrc(self_check),_10289,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pltables/pltables_export.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_10289,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pltables/pltables_export.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_12429,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pltables/pltables_export_latex.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_12429,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pltables/pltables_export_xml.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_12429,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pltables/pltables_export_csv.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(self_check) does not exist
! goal: absolute_file_name(probsrc(self_check),_7723,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pltables/pltables.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_7723,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pltables/pltables.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_4497,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pltables/pltables_export_html.pl')])
* Non-determinate: pltables_export_html:html_header/2 (clause 1)
* Calls nondet predicate pltables_export_html:pltable/2 .
* Non-determinate: pltables_export_html:html_table_header/2 (clause 1)
* Calls nondet predicate pltables_export_html:pltable/2 .
* Non-determinate: pltables_export_html:write_html_table_header/3 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: pltables_export_html:html_table_rows/2 (clause 1)
* Calls nondet predicate pltables:pltable/2 .
* Non-determinate: pltables_export_html:write_html_table_rows/5 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: pltables_export_html:write_html_table_row/5 (clause 1)
* Indexing cannot distinguish this from clause 2.

Name: write/2
Name: true
Name: format/3
Name: member/2
Name: ->/3
Name: pltable/2	Module: foo_error

Name: write/2
Name: write_html_table_header/3	Module: pltables_export_html
Name: true
Name: member/2
Name: ->/3
Name: format/3
Name: length/2
Name: pltable_header/3	Module: foo_error
Name: pltable/2	Module: foo_error

Name: write_html_table_rows/5	Module: pltables_export_html
Name: pltable_header/3	Module: pltables
Name: pltable/2	Module: pltables
Name: findall/3

Name: RECURSIVE_CALL/3	Module: pltables_export_html
Name: true
Name: format/3
Name: member/2
Name: not/1
Name: ->/3

Name: RECURSIVE_CALL/5	Module: pltables_export_html
Name: write/2
Name: true
Name: member/2
Name: ->/3
Name: format/3
Name: not/1
Name: merge_attributes/3	Module: foo_error

pltables_export_html

prob_prolog/src/pltables/pltables_export_html.pl

Modules

Predicates of pltables_export_html

Module Information

108 Lines

8 Predicates

Imported Modules: pltables_export_tools pltables module_information lists

5 Exports

0 specified Imports

Predicates:

html_footer/2

html_header/2

html_table_footer/2

html_table_header/2

html_table_rows/2

write_html_table_header/3

write_html_table_row/5

write_html_table_rows/5

Determinacy Checker: