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(queries,
|
Daniel@0
|
20 [ with_output_to_pengine/1
|
Daniel@0
|
21 , write_html/1
|
Daniel@0
|
22 ]).
|
Daniel@0
|
23
|
Daniel@0
|
24 :- use_module(library(pengines)).
|
Daniel@0
|
25 :- use_module(library(http/html_write)).
|
Daniel@0
|
26 :- use_module(library(apply_macros)).
|
Daniel@0
|
27 :- use_module(library(dcg_core)).
|
Daniel@0
|
28
|
Daniel@0
|
29 sandbox:safe_primitive(html_write:print_html(_)).
|
Daniel@0
|
30 sandbox:safe_primitive(flush_output).
|
Daniel@0
|
31 sandbox:safe_meta(html_write:html(_,_,_),[]).
|
Daniel@0
|
32
|
Daniel@0
|
33 :- meta_predicate
|
Daniel@0
|
34 with_output_to_pengine(0),
|
Daniel@0
|
35 write_html(:).
|
Daniel@0
|
36
|
Daniel@0
|
37 with_output_to_pengine(Goal) :-
|
Daniel@0
|
38 with_output_to(atom(Reply), in_pre(Goal)),
|
Daniel@0
|
39 % catch( Goal, Ex,
|
Daniel@0
|
40 % in_pre((message_to_string(Ex,S),format(S))))),
|
Daniel@0
|
41 (Reply='' -> true; pengine_output(Reply)).
|
Daniel@0
|
42
|
Daniel@0
|
43 write_html(P) :-
|
Daniel@0
|
44 html(P,Toks,[]),
|
Daniel@0
|
45 print_html(Toks),
|
Daniel@0
|
46 flush_output.
|
Daniel@0
|
47
|