annotate cpack/p2r/lib/uripattern_atom.pl @ 0:718306e29690 tip

commiting public release
author Daniel Wolff
date Tue, 09 Feb 2016 21:05:06 +0100
parents
children
rev   line source
Daniel@0 1 /* Part of DML (Digital Music Laboratory)
Daniel@0 2 Copyright 2014-2015 Samer Abdallah, University of London
Daniel@0 3
Daniel@0 4 This program is free software; you can redistribute it and/or
Daniel@0 5 modify it under the terms of the GNU General Public License
Daniel@0 6 as published by the Free Software Foundation; either version 2
Daniel@0 7 of the License, or (at your option) any later version.
Daniel@0 8
Daniel@0 9 This program is distributed in the hope that it will be useful,
Daniel@0 10 but WITHOUT ANY WARRANTY; without even the implied warranty of
Daniel@0 11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
Daniel@0 12 GNU General Public License for more details.
Daniel@0 13
Daniel@0 14 You should have received a copy of the GNU General Public
Daniel@0 15 License along with this library; if not, write to the Free Software
Daniel@0 16 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
Daniel@0 17 */
Daniel@0 18
Daniel@0 19 :- module(uripattern, [
Daniel@0 20 simplify/2
Daniel@0 21 , pattern_uri/2
Daniel@0 22 ]).
Daniel@0 23
Daniel@0 24 :- use_module(library(semweb/rdf_db), [ rdf_global_id/2 ]).
Daniel@0 25
Daniel@0 26 :- multifile uripattern:def/2.
Daniel@0 27
Daniel@0 28 %% pattern_uri(+P:uripattern,-X:uri) is det.
Daniel@0 29 %% pattern_uri(-P:uripattern,+X:uri) is det.
Daniel@0 30 pattern_uri(Pattern,URI) :- (var(URI);atomic(URI)), uri(Pattern,URI).
Daniel@0 31
Daniel@0 32 uri(P:A,QB) :-
Daniel@0 33 ( var(QB) -> uri(A,B), rdf_global_id(P:B,QB)
Daniel@0 34 ; rdf_global_id(P:B,QB), uri(A,B)
Daniel@0 35 ).
Daniel@0 36 uri(\(M),B) :- def(M,A), uri(A,B).
Daniel@0 37 uri(num(N),B) :- atom_number(B,N).
Daniel@0 38 uri(enc(A),B) :- www_form_encode(A,B).
Daniel@0 39 uri(atm(A),A).
Daniel@0 40 uri(A1/A2,B) :- uri(A1+'/'+A2,B).
Daniel@0 41 uri(A1+A2,B) :-
Daniel@0 42 ( var(B) -> uri(A1,B1), uri(A2,B2), atom_concat(B1,B2,B)
Daniel@0 43 ; atom_concat(B1,B2,B), uri(A1,B1), uri(A2,B2)
Daniel@0 44 ).
Daniel@0 45 uri(A,A) :- atomic(A).
Daniel@0 46
Daniel@0 47
Daniel@0 48 %% simplify(+P1:uri_pattern, -P2:uri_pattern) is nondet.
Daniel@0 49 % Non-deterministic maximal reduction of URI pattern.
Daniel@0 50 simplify(E1,E3) :-
Daniel@0 51 reduce(E1,E2) *-> simplify(E2,E3); E1=E3.
Daniel@0 52
Daniel@0 53 % simplify resource if possible, fails otherwise
Daniel@0 54 % The pattern must be nonvar.
Daniel@0 55 reduce(A,B) :- must_be(nonvar,A), reduce1(A,B).
Daniel@0 56
Daniel@0 57 reduce1(num(N),A) :- number(N), atom_number(A,N).
Daniel@0 58 reduce1(atm(A),A) :- atomic(A).
Daniel@0 59 reduce1(\(A),B) :- nonvar(A), def(A,B).
Daniel@0 60 reduce1(enc(A),B) :- atomic(A), www_form_encode(A,B).
Daniel@0 61 reduce1(P:A,Q+A) :- rdf_global_id(P:'',Q).
Daniel@0 62 reduce1(A/B,A+'/'+B).
Daniel@0 63 reduce1(A+B,A1+B) :- reduce(A,A1).
Daniel@0 64 reduce1(A+B,A+B1) :- reduce(B,B1). % nb to get past these, A and B must be nonvar
Daniel@0 65 reduce1(A+B,AB) :- atom(A), atom(B), atom_concat(A,B,AB).
Daniel@0 66 reduce1((A+B)+C,A+BC) :- reduce1(B+C,BC).
Daniel@0 67 reduce1(A+(B+C),AB+C) :- reduce1(A+B,AB).
Daniel@0 68