find_resource/commit
PLDOC: fixed doc for find_resource_by_name/3
author | Jacco van Ossenbruggen |
---|---|
Fri Aug 22 12:13:38 2014 +0200 | |
committer | Jacco van Ossenbruggen |
Fri Aug 22 12:13:38 2014 +0200 | |
commit | b6b957eafe709674b7b3da9d8e5060bfaa886991 |
tree | 0bdf5abc4827b74245df0fedb253a9f87eb5f2e2 |
parent | 4e9b5e394462cd1e6ca6f0cf3ff4da499c47ee18 |
Diff style: patch stat
diff --git a/lib/find_resource.pl b/lib/find_resource.pl index be56ba0..252b576 100644 --- a/lib/find_resource.pl +++ b/lib/find_resource.pl @@ -12,7 +12,7 @@ :- rdf_find_literals(zzz,_). -%% find_resource_by_name(+Name:atom, +Attributes:list(P-D), +%% find_resource_by_name(+Name:atom, %% -Hit:hit(Distance:nonneg,Hit:atom,Prop:atom,Label:atom), %% +Options) is nondet. %