trill_on_swish/commit

minor fix

authorrzese
Fri Nov 13 19:01:55 2015 +0100
committerrzese
Fri Nov 13 19:01:55 2015 +0100
commit41db16b38c078119ed05283ed7936cc26aaa4e4d
tree2777735f239e20c729b9e2da48debfa38fbc6e97
parent607dd998966c01404e974db88002481b340b7072
Diff style: patch stat
diff --git a/lib/trill_on_swish/trill/trill.pl b/lib/trill_on_swish/trill/trill.pl
index 1141e93..d52dc99 100644
--- a/lib/trill_on_swish/trill/trill.pl
+++ b/lib/trill_on_swish/trill/trill.pl
@@ -15,9 +15,9 @@
 :- use_module(library(pengines)).
 %:- use_module(library(tries)).
 %:- load_foreign_files(['cplint-swi'],[],init_my_predicates).
-:-use_foreign_library(bddem,install).
+%:-use_foreign_library(bddem,install).
 
-%:- use_foreign_library(foreign(bddem),install).
+:- use_foreign_library(foreign(bddem),install).
 
 :- thread_local %get_var_n/5
         rule_n/1,
@@ -1065,14 +1065,14 @@ blocked(Ind,(ABox,T)):-
 
 check_block(Ind,(ABox,(T,RBN,RBR))):-
   blockable(Ind,(ABox,(T,RBN,RBR))),
-  transpose_ugraph(T,T1),
+  transpose(T,T1),
   ancestor(Ind,T,A),
   neighbours(Ind,T1,N),
   check_block1(Ind,A,N,(ABox,(T1,RBN,RBR))),!.
   
 check_block(Ind,(ABox,(T,RBN,RBR))):-
   blockable(Ind,(ABox,(T,RBN,RBR))),
-  transpose_ugraph(T,T1),
+  transpose(T,T1),
   neighbours(Ind,T1,N),
   check_block2(N,(ABox,(T,RBN,RBR))),!.
   
@@ -1099,7 +1099,7 @@ check_block2([H|Tail],(ABox,(T,RBN,RBR))):-
 
 %---------------
 indirectly_blocked(Ind,(ABox,(T,RBN,RBR))):-
-  transpose_ugraph(T,T1),
+  transpose(T,T1),
   neighbours(Ind,T1,N),
   member(A,N),
   blocked(A,(ABox,(T,RBN,RBR))),!.
@@ -1363,7 +1363,7 @@ remove_node_to_table(S,T0,T1):-
 merge_tabs(X,Y,(T0,RBN0,RBR0),(T,RBN,RBR)):-
   (neighbours(X,T0,LSX0)->assign(LSX0,LSX);assign([],LSX)),
   (neighbours(Y,T0,LSY0)->assign(LSY0,LSY);assign([],LSY)),
-  transpose_ugraph(T0,TT),
+  transpose(T0,TT),
   (neighbours(X,TT,LPX0)->assign(LPX0,LPX);assign([],LPX)),
   (neighbours(Y,TT,LPY0)->assign(LPY0,LPY);assign([],LPY)),
   flatten([X,Y],L0),
@@ -1380,7 +1380,7 @@ remove_nodes(X,Y,Tabs0,Tabs):-
 
 remove_node(X,(T0,RBN0,RBR0),(T,RBN,RBR)):-
   (neighbours(X,T0,LS0)->assign(LS0,LS);assign([],LS)),
-  transpose_ugraph(T0,TT),
+  transpose(T0,TT),
   (neighbours(X,TT,LP0)->assign(LP0,LP);assign([],LP)),
   remove_node1(X,LS,RBN0,RBR0,RBN1,RBR1),
   remove_node2(X,LP,RBN1,RBR1,RBN,RBR),
@@ -1644,7 +1644,7 @@ min_length([H|T],MP):-
  
 */
 ancestor(Ind,T,AN):-
-  transpose_ugraph(T,T1),
+  transpose(T,T1),
   ancestor1([Ind],T1,[],AN).
 
 ancestor1([],_,A,A).
diff --git a/web/help/about.html b/web/help/about.html
index 6ffd267..b3bc471 100644
--- a/web/help/about.html
+++ b/web/help/about.html
@@ -25,11 +25,16 @@
   img.commit { width: 30% }
   img.vu { width: 8% }
   img.synerscope { width: 12% }
+  
+  body {
+ 	overflow: scroll;
+	margin: 10px;
+  }
   </style>  </head>
   <body>
 
 <p>
-<span style="color:darkblue">TRILL</span><span style="color:maroon"> on </span><span style="color:darkblue">SWI</span><span style="color:maroon">SH</span> is a web application for trying probabilistic semantic web reasoning with a  web browser on any operating system. It was written by Riccardo Zese and Fabrizio Riguzzi.
+<span style="color:darkblue">TRILL</span><span style="color:maroon"> on </span><span style="color:darkblue">SWI</span><span style="color:maroon">SH</span> is a web application for trying <span itemprop="applicationCategory">probabilistic semantic web reasoning</span> with a  web browser on <span itemprop="operatingSystem">any operating system</span>. It was written by Riccardo Zese and Fabrizio Riguzzi.
 </p>
 <p><span style="color:darkblue">SWI</span><span
 style="color:maroon">SH</span> was originally written by Torbj&ouml;rn Lager
@@ -70,7 +75,7 @@ href="http://github.com/SWI-Prolog/swish.git">Github</a>.
 </div>
 
 <p>
-ClioPatria is available <a href="http://cliopatria.swi-prolog.org/home">here</a> and from <a
+ClioPatria is available <a href="http://cliopatria.swi-prolog.org/home">here</a> and from <a itemprop="codeRepository"
 href="https://github.com/ClioPatria/ClioPatria.git">Github</a>. 
 <p>
 <div class="github">
diff --git a/web/help/help.html b/web/help/help.html
index c5b859f..504209b 100644
--- a/web/help/help.html
+++ b/web/help/help.html
@@ -3,6 +3,12 @@
 <html>
   <head>
   <title>TRILL on SWISH</title>
+  <style>
+  body {
+ 	overflow: scroll;
+	margin: 10px;
+  }
+  </style>
   </head>
 <body>
 <h4>Table of Contents</h4>