Daniel@0: /* Part of DML (Digital Music Laboratory)
Daniel@0: 	Copyright 2014-2015 Samer Abdallah, University of London
Daniel@0: 	 
Daniel@0: 	This program is free software; you can redistribute it and/or
Daniel@0: 	modify it under the terms of the GNU General Public License
Daniel@0: 	as published by the Free Software Foundation; either version 2
Daniel@0: 	of the License, or (at your option) any later version.
Daniel@0: 
Daniel@0: 	This program is distributed in the hope that it will be useful,
Daniel@0: 	but WITHOUT ANY WARRANTY; without even the implied warranty of
Daniel@0: 	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
Daniel@0: 	GNU General Public License for more details.
Daniel@0: 
Daniel@0: 	You should have received a copy of the GNU General Public
Daniel@0: 	License along with this library; if not, write to the Free Software
Daniel@0: 	Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
Daniel@0: */
Daniel@0: 
Daniel@0: :- module(queries, 
Daniel@0:       [  with_output_to_pengine/1
Daniel@0:       ,  write_html/1
Daniel@0:       ]).
Daniel@0: 
Daniel@0: :- use_module(library(pengines)).
Daniel@0: :- use_module(library(http/html_write)).
Daniel@0: :- use_module(library(apply_macros)).
Daniel@0: :- use_module(library(dcg_core)).
Daniel@0: 
Daniel@0: sandbox:safe_primitive(html_write:print_html(_)).
Daniel@0: sandbox:safe_primitive(flush_output).
Daniel@0: sandbox:safe_meta(html_write:html(_,_,_),[]).
Daniel@0: 
Daniel@0: :- meta_predicate 
Daniel@0:       with_output_to_pengine(0), 
Daniel@0:       write_html(:).
Daniel@0: 
Daniel@0: with_output_to_pengine(Goal) :-
Daniel@0:    with_output_to(atom(Reply), in_pre(Goal)),
Daniel@0:       % catch( Goal, Ex, 
Daniel@0:       %    in_pre((message_to_string(Ex,S),format(S))))),
Daniel@0:    (Reply='' -> true; pengine_output(Reply)).
Daniel@0: 
Daniel@0: write_html(P) :-
Daniel@0:    html(P,Toks,[]),
Daniel@0:    print_html(Toks),
Daniel@0:    flush_output.
Daniel@0: