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(cp_table,
|
Daniel@0
|
20 [ table_from_goal//2
|
Daniel@0
|
21 ]).
|
Daniel@0
|
22
|
Daniel@0
|
23 :- meta_predicate table_from_goal(1,+,?,?).
|
Daniel@0
|
24
|
Daniel@0
|
25 :- use_module(library(http/http_dispatch),[http_link_to_id/3]).
|
Daniel@0
|
26 :- use_module(library(http/html_write)).
|
Daniel@0
|
27 :- use_module(library(http/html_head)).
|
Daniel@0
|
28 :- use_module(library(dcg_core)).
|
Daniel@0
|
29
|
Daniel@0
|
30 table_from_goal(Goal,Opts) -->
|
Daniel@0
|
31 {findall(Row,call(Goal,Row),Rows)},
|
Daniel@0
|
32 ( {option(headings(Heads),Opts)}
|
Daniel@0
|
33 -> html(table([\table_heads(Heads), \seqmap(table_row,Rows)]))
|
Daniel@0
|
34 ; html(table(\seqmap(table_row,Rows)))
|
Daniel@0
|
35 ).
|
Daniel@0
|
36
|
Daniel@0
|
37 table_heads(Row) -->
|
Daniel@0
|
38 html(tr(\seqmap(table_head,Row))).
|
Daniel@0
|
39 table_row(Row) -->
|
Daniel@0
|
40 html(tr(\seqmap(table_cell,Row))).
|
Daniel@0
|
41
|
Daniel@0
|
42 table_cell(Cell) --> html(td(Cell)).
|
Daniel@0
|
43 table_head(Cell) --> html(th(Cell)).
|
Daniel@0
|
44
|
Daniel@0
|
45
|