cluster_search/commit
Changed name of filter module to cs_filter.
author | Chris Dijkshoorn |
---|---|
Wed Apr 9 11:54:22 2014 +0200 | |
committer | Chris Dijkshoorn |
Wed Apr 9 11:54:22 2014 +0200 | |
commit | 843863eccb3dfe279d7b9960c71bfd6d2f9c9091 |
tree | 5ea401e5e608eae476d6b85b20cf2813af6e1151 |
parent | 8907a7d972b34b12e231cd0b2094aec9ca1c922f |
Diff style: patch stat
diff --git a/lib/cluster_search/filter.pl b/lib/cluster_search/cs_filter.pl similarity index 99% rename from lib/cluster_search/filter.pl rename to lib/cluster_search/cs_filter.pl index ac100f7..88beb2d 100644 --- a/lib/cluster_search/filter.pl +++ b/lib/cluster_search/cs_filter.pl @@ -21,7 +21,7 @@ along with ClioPatria. If not, see <http://www.gnu.org/licenses/>. */ -:- module(filter, +:- module(cs_filter, [ target_goal/3, % +Goal, +R, +Options filter_to_goal/4, % +FilterList, +R, -Goal, +Options search_filter/2, % diff --git a/lib/cluster_search/graph_search.pl b/lib/cluster_search/graph_search.pl index 07e5386..c1a79ab 100644 --- a/lib/cluster_search/graph_search.pl +++ b/lib/cluster_search/graph_search.pl @@ -10,7 +10,7 @@ % util modules :- use_module(rdf_search). :- use_module(rdf_backward_search). -:- use_module(filter). +:- use_module(cs_filter). :- use_module(library(cluster_search/settings)). %% graph_search(+Keyword, -RDFState, +Options) is det.