kibi-swipl-linux-x64-gnu 1.0.0

package/lib/swipl/library/ext/plunit/test_wizard.pl

@@ -0,0 +1,249 @@
+/*  Part of SWI-Prolog
+
+    Author:        Jan Wielemaker
+    E-mail:        J.Wielemaker@vu.nl
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2006-2012, University of Amsterdam
+                              VU University Amsterdam
+    All rights reserved.
+
+    Redistribution and use in source and binary forms, with or without
+    modification, are permitted provided that the following conditions
+    are met:
+
+    1. Redistributions of source code must retain the above copyright
+       notice, this list of conditions and the following disclaimer.
+
+    2. Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in
+       the documentation and/or other materials provided with the
+       distribution.
+
+    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+    POSSIBILITY OF SUCH DAMAGE.
+*/
+
+:- module(test_wizard,
+          [ make_tests/3,               % +Module, +File, +Out
+            make_test/3                 % +Callable, -Module, -Test
+          ]).
+:- autoload(library(apply),[maplist/2]).
+:- autoload(library(listing),[portray_clause/2]).
+:- autoload(library(lists),[member/2]).
+:- autoload(library(readutil),[read_file_to_terms/3]).
+:- autoload(library(time),[call_with_time_limit/2]).
+
+/** <module> Test Generation Wizard
+
+Tasks
+
+        * Accumulate user queries
+        * Suggest tests from user queries
+*/
+
+setting(max_time(5)).
+
+
+                 /*******************************
+                 *       UNIT GENERATION        *
+                 *******************************/
+
+%!  make_tests(+Module, +File, +Out) is det.
+%
+%   Create tests from queries stored in File and write the tests for
+%   Module to the stream Out.
+
+make_tests(Module, File, Out) :-
+    read_file_to_terms(File, Queries, []),
+    findall(Test, (   member(Q, Queries),
+                      make_test(Q, Module, Test)), Tests),
+    (   Tests == []
+    ->  true
+    ;   format(Out, ':- begin_tests(~q).~n~n', [Module]),
+        maplist(portray_clause(Out), Tests),
+        format(Out, '~n:- end_tests(~q).~n', [Module])
+    ).
+
+
+                 /*******************************
+                 *       TEST GENERATION        *
+                 *******************************/
+
+%!  make_test(+Query:callable, -Module, -Test:term) is det.
+%
+%   Generate a test from a query. Test   is  returned as a clause of
+%   test/1  or  test/2  to  be   inserted  between  begin_tests  and
+%   end_tests.
+
+make_test(Query0, Module, (test(Name, Options) :- Query)) :-
+    find_test_module(Query0, Module, Query),
+    pred_name(Query, Name),
+    setting(max_time(Max)),
+    test_result(Module:Query, Max, Options).
+
+%!  find_test_module(+QuerySpec, ?Module, -Query).
+%
+%   Find module to test from a query. Note that it is very common
+%   for toplevel usage to rely on SWI-Prolog's DWIM.
+%
+%   @tbd    What if multiple modules match?  We can select the
+%           local one or ask the user.
+
+find_test_module(Var, _, _) :-
+    var(Var), !, fail.
+find_test_module(M:Query, M0, Query) :-
+    !,
+    M0 = M.
+find_test_module(Query, M, Query) :-
+    current_predicate(_, M:Query),
+    \+ predicate_property(M:Query, imported_from(_M2)).
+
+%!  pred_name(+Callable, -Name) is det.
+%
+%   Suggest a name for the test. In   the  plunit framework the name
+%   needs not be unique, so we simply take the predicate name.
+
+pred_name(Callable, Name) :-
+    strip_module(Callable, _, Term),
+    functor(Term, Name, _Arity).
+
+%!  test_result(+Callable, +Maxtime, -Result) is det.
+%
+%   Try running goal and get meaningful results.  Results are:
+%
+%           * true(Templ == Var)
+%           * fail
+%           * all(Templ == Bindings)
+%           * throws(Error)
+%           * timeout
+
+test_result(Callable, Maxtime, Result) :-
+    term_variables(Callable, Vars),
+    make_template(Vars, Templ),
+    catch(call_with_time_limit(Maxtime,
+                               findall(Templ-Det,
+                                       call_test(Callable, Det),
+                                       Bindings)),
+          E, true),
+    (   var(E)
+    ->  success(Bindings, Templ, Result)
+    ;   error(E, Result)
+    ).
+
+%!  success(+Bindings, +Templ, -Result) is det.
+%
+%   Create test-results from non-error cases.
+
+success([], _, [fail]) :- !.
+success([[]-true],  _, []) :- !.
+success([S1-true],  Templ, [ true(Templ == S1) ]) :- !.
+success([[]-false], _, [ nondet ]) :- !.
+success([S1-false], Templ, [ true(Templ == S1), nondet ]) :- !.
+success(ListDet, Templ, [all(Templ == List)]) :-
+    strip_det(ListDet, List).
+
+strip_det([], []).
+strip_det([H-_|T0], [H|T]) :-
+    strip_det(T0, T).
+
+%!  error(+ErrorTerm, -Result)
+
+error(Error0, [throws(Error)]) :-
+    generalise_error(Error0, Error).
+
+
+generalise_error(error(Formal, _), error(Formal, _)) :- !.
+generalise_error(Term, Term).
+
+
+%!  make_template(+Vars, -Template) is det.
+%
+%   Make a nice looking template
+
+make_template([], []) :- !.
+make_template([One], One) :- !.
+make_template([One, Two], One-Two) :- !.
+make_template(List, Vars) :-
+    Vars =.. [v|List].
+
+%!  call_test(:Goal, -Det) is nondet.
+%
+%   True if Goal succeeded.  Det is unified to =true= if Goal left
+%   no choicepoints and =false= otherwise.
+
+call_test(Goal, Det) :-
+    Goal,
+    deterministic(Det).
+
+
+                 /*******************************
+                 *           COLLECT            *
+                 *******************************/
+
+/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
+Collect toplevel queries if the Prolog flag log_query_file points to the
+name of a writeable  file.  The  file   is  opened  in  append-mode  for
+exclusive write to allow for concurrent   operation from multiple Prolog
+systems using the same logfile.
+
+The file is written in  UTF-8   encoding  and  using ignore_ops(true) to
+ensure it can be read.
+- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
+
+:- multifile
+    prolog:message_action/2.
+
+prolog:message_action(toplevel_goal(Goal0, Bindings), _Level) :-
+    open_query_log(Out),
+    bind_vars(Bindings),
+    clean_goal(Goal0, Goal),
+    call_cleanup(format(Out, '~W.~n', [Goal, [ numbervars(true),
+                                               quoted(true),
+                                               ignore_ops(true)
+                                             ]]), close(Out)).
+
+clean_goal(Var, _) :-
+    var(Var), !, fail.
+clean_goal(user:Goal, Goal) :- !.
+clean_goal(Goal, Goal).
+
+bind_vars([]).
+bind_vars([Name=Var|T]) :-
+    Var = '$VAR'(Name),
+    bind_vars(T).
+
+open_query_log(Out) :-
+    current_prolog_flag(log_query_file, File),
+    exists_file(File),
+    !,
+    open(File, append, Out,
+         [ encoding(utf8),
+           lock(write)
+         ]).
+open_query_log(Out) :-
+    current_prolog_flag(log_query_file, File),
+    access_file(File, write),
+    !,
+    open(File, write, Out,
+         [ encoding(utf8),
+           lock(write),
+           bom(true)
+         ]),
+    format(Out,
+           '/* SWI-Prolog query log.  This file contains all syntactically\n   \c
+                   correct queries issued in this directory.  It is used by the\n   \c
+                   test wizard to generate unit tests.\n\c
+                */~n~n', []).
+
+
+

package/lib/swipl/library/ext/semweb/semweb/INDEX.pl

@@ -0,0 +1,288 @@
+/*  Creator: make/0
+
+    Purpose: Provide index for autoload
+*/
+
+index(rdf(?,?,?), rdf11, rdf11).
+index(rdf(?,?,?,?), rdf11, rdf11).
+index(rdf_has(?,?,?), rdf11, rdf11).
+index(rdf_has(?,?,?,?), rdf11, rdf11).
+index(rdf_update(?,?,?,?), rdf11, rdf11).
+index(rdf_update(?,?,?,?,?), rdf11, rdf11).
+index(rdf_reachable(?,?,?), rdf11, rdf11).
+index(rdf_reachable(?,?,?,?,?), rdf11, rdf11).
+index(rdf_assert(?,?,?), rdf11, rdf11).
+index(rdf_assert(?,?,?,?), rdf11, rdf11).
+index(rdf_retractall(?,?,?), rdf11, rdf11).
+index(rdf_retractall(?,?,?,?), rdf11, rdf11).
+index({}(?), rdf11, rdf11).
+index(rdf_where(?), rdf11, rdf11).
+index(rdf_compare(?,?,?), rdf11, rdf11).
+index(rdf_term(?), rdf11, rdf11).
+index(rdf_literal(?), rdf11, rdf11).
+index(rdf_bnode(?), rdf11, rdf11).
+index(rdf_iri(?), rdf11, rdf11).
+index(rdf_name(?), rdf11, rdf11).
+index(rdf_is_iri(?), rdf11, rdf11).
+index(rdf_is_bnode(?), rdf11, rdf11).
+index(rdf_is_literal(?), rdf11, rdf11).
+index(rdf_is_name(?), rdf11, rdf11).
+index(rdf_is_object(?), rdf11, rdf11).
+index(rdf_is_predicate(?), rdf11, rdf11).
+index(rdf_is_subject(?), rdf11, rdf11).
+index(rdf_is_term(?), rdf11, rdf11).
+index(rdf_subject(?), rdf11, rdf11).
+index(rdf_predicate(?), rdf11, rdf11).
+index(rdf_object(?), rdf11, rdf11).
+index(rdf_node(?), rdf11, rdf11).
+index(rdf_create_bnode(?), rdf11, rdf11).
+index(rdf_canonical_literal(?,?), rdf11, rdf11).
+index(rdf_lexical_form(?,?), rdf11, rdf11).
+index(rdf_default_graph(?), rdf11, rdf11).
+index(rdf_default_graph(?,?), rdf11, rdf11).
+index(rdf_estimate_complexity(?,?,?,?), rdf11, rdf11).
+index(rdf_assert_list(?,?), rdf11, rdf11).
+index(rdf_assert_list(?,?,?), rdf11, rdf11).
+index(rdf_last(?,?), rdf11, rdf11).
+index(rdf_list(?), rdf11, rdf11).
+index(rdf_list(?,?), rdf11, rdf11).
+index(rdf_length(?,?), rdf11, rdf11).
+index(rdf_member(?,?), rdf11, rdf11).
+index(rdf_nextto(?,?), rdf11, rdf11).
+index(rdf_nextto(?,?,?), rdf11, rdf11).
+index(rdf_nth0(?,?,?), rdf11, rdf11).
+index(rdf_nth1(?,?,?), rdf11, rdf11).
+index(rdf_retract_list(?), rdf11, rdf11).
+index(:(op,op(110,xfx,@)), rdf11, rdf11).
+index(:(op,op(650,xfx,^^)), rdf11, rdf11).
+index(:(op,op(1150,fx,rdf_meta)), rdf11, rdf11).
+index(rdf_alt(?,?,?), rdf11_containers, rdf11_containers).
+index(rdf_assert_alt(?,?,?), rdf11_containers, rdf11_containers).
+index(rdf_assert_alt(?,?,?,?), rdf11_containers, rdf11_containers).
+index(rdf_assert_bag(?,?), rdf11_containers, rdf11_containers).
+index(rdf_assert_bag(?,?,?), rdf11_containers, rdf11_containers).
+index(rdf_assert_seq(?,?), rdf11_containers, rdf11_containers).
+index(rdf_assert_seq(?,?,?), rdf11_containers, rdf11_containers).
+index(rdf_bag(?,?), rdf11_containers, rdf11_containers).
+index(rdf_seq(?,?), rdf11_containers, rdf11_containers).
+index(rdfs_container(?,?), rdf11_containers, rdf11_containers).
+index(rdfs_container_membership_property(?), rdf11_containers, rdf11_containers).
+index(rdfs_container_membership_property(?,?), rdf11_containers, rdf11_containers).
+index(rdfs_member(?,?), rdf11_containers, rdf11_containers).
+index(rdfs_nth0(?,?,?), rdf11_containers, rdf11_containers).
+index(rdf_set_cache_options(?), rdf_cache, rdf_cache).
+index(rdf_cache_file(?,?,?), rdf_cache, rdf_cache).
+index(rdf_equal_graphs(?,?,?), rdf_compare, rdf_compare).
+index(rdf_version(?), rdf_db, rdf_db).
+index(rdf(?,?,?), rdf_db, rdf_db).
+index(rdf(?,?,?,?), rdf_db, rdf_db).
+index(rdf_has(?,?,?), rdf_db, rdf_db).
+index(rdf_has(?,?,?,?), rdf_db, rdf_db).
+index(rdf_reachable(?,?,?), rdf_db, rdf_db).
+index(rdf_reachable(?,?,?,?,?), rdf_db, rdf_db).
+index(rdf_resource(?), rdf_db, rdf_db).
+index(rdf_subject(?), rdf_db, rdf_db).
+index(rdf_member_property(?,?), rdf_db, rdf_db).
+index(rdf_assert(?,?,?), rdf_db, rdf_db).
+index(rdf_assert(?,?,?,?), rdf_db, rdf_db).
+index(rdf_retractall(?,?,?), rdf_db, rdf_db).
+index(rdf_retractall(?,?,?,?), rdf_db, rdf_db).
+index(rdf_update(?,?,?,?), rdf_db, rdf_db).
+index(rdf_update(?,?,?,?,?), rdf_db, rdf_db).
+index(rdf_set_predicate(?,?), rdf_db, rdf_db).
+index(rdf_predicate_property(?,?), rdf_db, rdf_db).
+index(rdf_current_predicate(?), rdf_db, rdf_db).
+index(rdf_current_literal(?), rdf_db, rdf_db).
+index(rdf_transaction(0), rdf_db, rdf_db).
+index(rdf_transaction(0,+), rdf_db, rdf_db).
+index(rdf_transaction(0,+,+), rdf_db, rdf_db).
+index(rdf_active_transaction(?), rdf_db, rdf_db).
+index(rdf_monitor(1,+), rdf_db, rdf_db).
+index(rdf_save_db(?), rdf_db, rdf_db).
+index(rdf_save_db(?,?), rdf_db, rdf_db).
+index(rdf_load_db(?), rdf_db, rdf_db).
+index(rdf_reset_db, rdf_db, rdf_db).
+index(rdf_node(?), rdf_db, rdf_db).
+index(rdf_bnode(?), rdf_db, rdf_db).
+index(rdf_is_bnode(?), rdf_db, rdf_db).
+index(rdf_is_resource(?), rdf_db, rdf_db).
+index(rdf_is_literal(?), rdf_db, rdf_db).
+index(rdf_literal_value(?,?), rdf_db, rdf_db).
+index(rdf_load(?), rdf_db, rdf_db).
+index(rdf_load(+,:), rdf_db, rdf_db).
+index(rdf_save(?), rdf_db, rdf_db).
+index(rdf_save(+,:), rdf_db, rdf_db).
+index(rdf_unload(?), rdf_db, rdf_db).
+index(rdf_unload_graph(?), rdf_db, rdf_db).
+index(rdf_md5(?,?), rdf_db, rdf_db).
+index(rdf_atom_md5(?,?,?), rdf_db, rdf_db).
+index(rdf_create_graph(?), rdf_db, rdf_db).
+index(rdf_graph_property(?,?), rdf_db, rdf_db).
+index(rdf_set_graph(?,?), rdf_db, rdf_db).
+index(rdf_graph(?), rdf_db, rdf_db).
+index(rdf_source(?), rdf_db, rdf_db).
+index(rdf_source(?,?), rdf_db, rdf_db).
+index(rdf_make, rdf_db, rdf_db).
+index(rdf_gc, rdf_db, rdf_db).
+index(rdf_source_location(?,?), rdf_db, rdf_db).
+index(rdf_statistics(?), rdf_db, rdf_db).
+index(rdf_set(?), rdf_db, rdf_db).
+index(rdf_generation(?), rdf_db, rdf_db).
+index(rdf_snapshot(?), rdf_db, rdf_db).
+index(rdf_delete_snapshot(?), rdf_db, rdf_db).
+index(rdf_current_snapshot(?), rdf_db, rdf_db).
+index(rdf_estimate_complexity(?,?,?,?), rdf_db, rdf_db).
+index(rdf_save_subject(?,?,?), rdf_db, rdf_db).
+index(rdf_save_header(?,?), rdf_db, rdf_db).
+index(rdf_save_footer(?), rdf_db, rdf_db).
+index(rdf_equal(?,?), rdf_db, rdf_db).
+index(lang_equal(?,?), rdf_db, rdf_db).
+index(lang_matches(?,?), rdf_db, rdf_db).
+index(rdf_prefix(?,?), rdf_db, rdf_db).
+index(rdf_current_prefix(?,?), rdf_db, rdf_db).
+index(rdf_register_prefix(?,?), rdf_db, rdf_db).
+index(rdf_register_prefix(?,?,?), rdf_db, rdf_db).
+index(rdf_unregister_prefix(?), rdf_db, rdf_db).
+index(rdf_current_ns(?,?), rdf_db, rdf_db).
+index(rdf_register_ns(?,?), rdf_db, rdf_db).
+index(rdf_register_ns(?,?,?), rdf_db, rdf_db).
+index(rdf_global_id(?,?), rdf_db, rdf_db).
+index(rdf_global_object(?,?), rdf_db, rdf_db).
+index(rdf_global_term(?,?), rdf_db, rdf_db).
+index(rdf_compare(?,?,?), rdf_db, rdf_db).
+index(rdf_match_label(?,?,?), rdf_db, rdf_db).
+index(rdf_split_url(?,?,?), rdf_db, rdf_db).
+index(rdf_url_namespace(?,?), rdf_db, rdf_db).
+index(rdf_warm_indexes, rdf_db, rdf_db).
+index(rdf_warm_indexes(?), rdf_db, rdf_db).
+index(rdf_update_duplicates, rdf_db, rdf_db).
+index(rdf_debug(?), rdf_db, rdf_db).
+index(rdf_new_literal_map(?), rdf_db, rdf_db).
+index(rdf_destroy_literal_map(?), rdf_db, rdf_db).
+index(rdf_reset_literal_map(?), rdf_db, rdf_db).
+index(rdf_insert_literal_map(?,?,?), rdf_db, rdf_db).
+index(rdf_insert_literal_map(?,?,?,?), rdf_db, rdf_db).
+index(rdf_delete_literal_map(?,?,?), rdf_db, rdf_db).
+index(rdf_delete_literal_map(?,?), rdf_db, rdf_db).
+index(rdf_find_literal_map(?,?,?), rdf_db, rdf_db).
+index(rdf_keys_in_literal_map(?,?,?), rdf_db, rdf_db).
+index(rdf_statistics_literal_map(?,?), rdf_db, rdf_db).
+index(rdf_graph_prefixes(?,?), rdf_db, rdf_db).
+index(rdf_graph_prefixes(?,?,?), rdf_db, rdf_db).
+index(rdf_meta(?), rdf_db, rdf_db).
+index(:(op,op(1150,fx,rdf_meta)), rdf_db, rdf_db).
+index(:(public,rdf_print_predicate_cloud(_,_)), rdf_db, rdf_db).
+index(rdfe_assert(?,?,?), rdf_edit, rdf_edit).
+index(rdfe_assert(?,?,?,?), rdf_edit, rdf_edit).
+index(rdfe_retractall(?,?,?), rdf_edit, rdf_edit).
+index(rdfe_retractall(?,?,?,?), rdf_edit, rdf_edit).
+index(rdfe_update(?,?,?,?), rdf_edit, rdf_edit).
+index(rdfe_update(?,?,?,?,?), rdf_edit, rdf_edit).
+index(rdfe_load(?), rdf_edit, rdf_edit).
+index(rdfe_load(?,?), rdf_edit, rdf_edit).
+index(rdfe_delete(?), rdf_edit, rdf_edit).
+index(rdfe_register_ns(?,?), rdf_edit, rdf_edit).
+index(rdfe_unregister_ns(?,?), rdf_edit, rdf_edit).
+index(rdfe_reset, rdf_edit, rdf_edit).
+index(rdfe_transaction(0), rdf_edit, rdf_edit).
+index(rdfe_transaction(0,+), rdf_edit, rdf_edit).
+index(rdfe_transaction_member(?,?), rdf_edit, rdf_edit).
+index(rdfe_transaction_name(?,?), rdf_edit, rdf_edit).
+index(rdfe_set_transaction_name(?), rdf_edit, rdf_edit).
+index(rdfe_set_watermark(?), rdf_edit, rdf_edit).
+index(rdfe_undo, rdf_edit, rdf_edit).
+index(rdfe_redo, rdf_edit, rdf_edit).
+index(rdfe_can_undo(?), rdf_edit, rdf_edit).
+index(rdfe_can_redo(?), rdf_edit, rdf_edit).
+index(rdfe_set_file_property(?,?), rdf_edit, rdf_edit).
+index(rdfe_get_file_property(?,?), rdf_edit, rdf_edit).
+index(rdfe_is_modified(?), rdf_edit, rdf_edit).
+index(rdfe_clear_modified(?), rdf_edit, rdf_edit).
+index(rdfe_open_journal(?,?), rdf_edit, rdf_edit).
+index(rdfe_close_journal, rdf_edit, rdf_edit).
+index(rdfe_replay_journal(?), rdf_edit, rdf_edit).
+index(rdfe_current_journal(?), rdf_edit, rdf_edit).
+index(rdfe_snapshot_file(?), rdf_edit, rdf_edit).
+index(rdf_attach_library(?), rdf_library, rdf_library).
+index(rdf_load_library(?), rdf_library, rdf_library).
+index(rdf_load_library(?,?), rdf_library, rdf_library).
+index(rdf_list_library, rdf_library, rdf_library).
+index(rdf_list_library(?), rdf_library, rdf_library).
+index(rdf_list_library(?,?), rdf_library, rdf_library).
+index(rdf_library_source(?,?), rdf_library, rdf_library).
+index(rdf_library_index(?,?), rdf_library, rdf_library).
+index(rdf_current_manifest(?), rdf_library, rdf_library).
+index(rdf_set_literal_index_option(?), rdf_litindex, rdf_litindex).
+index(rdf_tokenize_literal(?,?), rdf_litindex, rdf_litindex).
+index(rdf_find_literal(?,?), rdf_litindex, rdf_litindex).
+index(rdf_find_literals(?,?), rdf_litindex, rdf_litindex).
+index(rdf_token_expansions(?,?), rdf_litindex, rdf_litindex).
+index(rdf_stopgap_token(?), rdf_litindex, rdf_litindex).
+index(rdf_literal_index(?,?), rdf_litindex, rdf_litindex).
+index(rdf_delete_literal_index(?), rdf_litindex, rdf_litindex).
+index(rdf_read_ntriples(?,?,?), rdf_ntriples, rdf_ntriples).
+index(rdf_read_nquads(?,?,?), rdf_ntriples, rdf_ntriples).
+index(rdf_process_ntriples(?,?,?), rdf_ntriples, rdf_ntriples).
+index(read_ntriple(?,?), rdf_ntriples, rdf_ntriples).
+index(read_nquad(?,?), rdf_ntriples, rdf_ntriples).
+index(read_ntuple(?,?), rdf_ntriples, rdf_ntriples).
+index(rdf_attach_db(?,?), rdf_persistency, rdf_persistency).
+index(rdf_detach_db, rdf_persistency, rdf_persistency).
+index(rdf_current_db(?), rdf_persistency, rdf_persistency).
+index(rdf_persistency(?,?), rdf_persistency, rdf_persistency).
+index(rdf_flush_journals(?), rdf_persistency, rdf_persistency).
+index(rdf_persistency_property(?), rdf_persistency, rdf_persistency).
+index(rdf_journal_file(?,?), rdf_persistency, rdf_persistency).
+index(rdf_snapshot_file(?,?), rdf_persistency, rdf_persistency).
+index(rdf_db_to_file(?,?), rdf_persistency, rdf_persistency).
+index(rdf_portray_as(?), rdf_portray, rdf_portray).
+index(rdf_portray_lang(?), rdf_portray, rdf_portray).
+index(rdf_prefix(?,?), rdf_prefixes, rdf_prefixes).
+index(rdf_current_prefix(:,-), rdf_prefixes, rdf_prefixes).
+index(rdf_register_prefix(?,?), rdf_prefixes, rdf_prefixes).
+index(rdf_register_prefix(?,?,?), rdf_prefixes, rdf_prefixes).
+index(rdf_unregister_prefix(?), rdf_prefixes, rdf_prefixes).
+index(register_file_prefixes(?), rdf_prefixes, rdf_prefixes).
+index(rdf_current_ns(:,-), rdf_prefixes, rdf_prefixes).
+index(rdf_register_ns(?,?), rdf_prefixes, rdf_prefixes).
+index(rdf_register_ns(?,?,?), rdf_prefixes, rdf_prefixes).
+index(rdf_global_id(?,:), rdf_prefixes, rdf_prefixes).
+index(rdf_global_object(+,:), rdf_prefixes, rdf_prefixes).
+index(rdf_global_term(+,:), rdf_prefixes, rdf_prefixes).
+index(rdf_meta(?), rdf_prefixes, rdf_prefixes).
+index(:(op,op(1150,fx,rdf_meta)), rdf_prefixes, rdf_prefixes).
+index(rdf_load_turtle(?,?,?), rdf_turtle, rdf_turtle).
+index(rdf_read_turtle(?,?,?), rdf_turtle, rdf_turtle).
+index(rdf_process_turtle(?,?,?), rdf_turtle, rdf_turtle).
+index(rdf_save_turtle(?,?), rdf_turtle_write, rdf_turtle_write).
+index(rdf_save_canonical_turtle(?,?), rdf_turtle_write, rdf_turtle_write).
+index(rdf_save_trig(?,?), rdf_turtle_write, rdf_turtle_write).
+index(rdf_save_canonical_trig(?,?), rdf_turtle_write, rdf_turtle_write).
+index(rdf_save_ntriples(?,?), rdf_turtle_write, rdf_turtle_write).
+index(read_rdfa(?,?,?), rdfa, rdfa).
+index(xml_rdfa(?,?,?), rdfa, rdfa).
+index(rdfs_subproperty_of(?,?), rdfs, rdfs).
+index(rdfs_subclass_of(?,?), rdfs, rdfs).
+index(rdfs_class_property(?,?), rdfs, rdfs).
+index(rdfs_individual_of(?,?), rdfs, rdfs).
+index(rdfs_label(?,?), rdfs, rdfs).
+index(rdfs_label(?,?,?), rdfs, rdfs).
+index(rdfs_ns_label(?,?), rdfs, rdfs).
+index(rdfs_ns_label(?,?,?), rdfs, rdfs).
+index(rdfs_member(?,?), rdfs, rdfs).
+index(rdfs_list_to_prolog_list(?,?), rdfs, rdfs).
+index(rdfs_assert_list(?,?,?), rdfs, rdfs).
+index(rdfs_assert_list(?,?), rdfs, rdfs).
+index(rdfs_find(?,?,?,?,?), rdfs, rdfs).
+index(sparql_query(?,?,?), sparql_client, sparql_client).
+index(sparql_set_server(?), sparql_client, sparql_client).
+index(sparql_read_xml_result(?,?), sparql_client, sparql_client).
+index(sparql_read_json_result(?,?), sparql_client, sparql_client).
+index(rdf_load_turtle(?,?,?), turtle, turtle).
+index(rdf_read_turtle(?,?,?), turtle, turtle).
+index(rdf_process_turtle(+,2,+), turtle, turtle).
+index(rdf_save_turtle(?,?), turtle, turtle).
+index(rdf_save_canonical_turtle(?,?), turtle, turtle).
+index(rdf_save_trig(?,?), turtle, turtle).
+index(rdf_save_canonical_trig(?,?), turtle, turtle).
+index(rdf_save_ntriples(?,?), turtle, turtle).