|
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( dlogic, [ ext/2, lambda/3, unary/2 ]).
|
|
Daniel@0
|
20
|
|
Daniel@0
|
21 :- use_module(library(semweb/rdf_db)).
|
|
Daniel@0
|
22 :- use_module(library(semweb/rdfs)).
|
|
Daniel@0
|
23 :- use_module(library(sandbox)).
|
|
Daniel@0
|
24 :- use_module(library(rdfutils)).
|
|
Daniel@0
|
25
|
|
Daniel@0
|
26 % :- meta_predicate unary(:,-).
|
|
Daniel@0
|
27 :- meta_predicate lambda(-,0,-).
|
|
Daniel@0
|
28 :- rdf_meta ext(t,o).
|
|
Daniel@0
|
29
|
|
Daniel@0
|
30 :- op(400,xfx,~).
|
|
Daniel@0
|
31
|
|
Daniel@0
|
32 ext((C1,C2),X) :- !, ext(C1,X), ext(C2,X).
|
|
Daniel@0
|
33 ext(C1;C2, X) :- !, ext(C1,X); ext(C2,X).
|
|
Daniel@0
|
34 ext(inv(P) is Q, X) :- !, rdf_has(V,P,X), call(Q,V).
|
|
Daniel@0
|
35 ext(P is Q, X) :- !, rdf_has(X,P,V), call(Q,V).
|
|
Daniel@0
|
36 ext(q(P,Q), X) :- !, rdf(X,P,literal(Q,_)).
|
|
Daniel@0
|
37 ext(NS:Class,X) :- !, rdf_global_id(NS:Class,C), rdfs_individual_of(X,C).
|
|
Daniel@0
|
38 ext(Class,X) :- atomic(Class), rdfs_individual_of(X,Class).
|
|
Daniel@0
|
39
|
|
Daniel@0
|
40 lambda(X,Goal,Y) :-
|
|
Daniel@0
|
41 copy_term(X-Goal,Y-Goal1),
|
|
Daniel@0
|
42 call(Goal1).
|
|
Daniel@0
|
43
|
|
Daniel@0
|
44
|
|
Daniel@0
|
45 unary((Binary -> Unary), X) :- !, binary(Binary,X,Y), unary(Unary,Y).
|
|
Daniel@0
|
46 unary(\Pred,X) :- !, call(Pred,X).
|
|
Daniel@0
|
47 unary((U1,U2),X) :- !, unary(U1,X), unary(U2,X).
|
|
Daniel@0
|
48 unary((U1;U2),X) :- !, unary(U1,X); unary(U2,X).
|
|
Daniel@0
|
49 unary(a(Class),X) :- !, rdf_global_id(Class,C), rdfs_individual_of(X,C).
|
|
Daniel@0
|
50 unary(P~Q,X) :- !, rdf(X,P,literal(Q,_)).
|
|
Daniel@0
|
51
|
|
Daniel@0
|
52 binary(p(P),X,Y) :- !, rdf_global_id(P,P1), rdf(X,P1,Y).
|
|
Daniel@0
|
53 binary(ip(P),X,Y) :- !, rdf_global_id(P,P1), rdf(Y,P1,X).
|
|
Daniel@0
|
54 binary(P~Q,X,Y) :- !, rdf_global_id(P,P1), rdf(X,P1,literal(Q,Y)).
|
|
Daniel@0
|
55 binary(\Pred,X,Y) :- !, call(Pred,X,Y).
|
|
Daniel@0
|
56 binary(text,X,Y) :- !, literal_text(X,Y).
|
|
Daniel@0
|
57 binary(num,X,Y) :- !, literal_number(X,Y).
|
|
Daniel@0
|
58
|
|
Daniel@0
|
59
|
|
Daniel@0
|
60 sandbox:safe_meta(dlogic:lambda(_,Goal,_),[Goal]).
|
|
Daniel@0
|
61
|
