trill_on_swish/commit
minor fix
author | rzese |
---|---|
Fri Nov 13 19:01:55 2015 +0100 | |
committer | rzese |
Fri Nov 13 19:01:55 2015 +0100 | |
commit | 41db16b38c078119ed05283ed7936cc26aaa4e4d |
tree | 2777735f239e20c729b9e2da48debfa38fbc6e97 |
parent | 607dd998966c01404e974db88002481b340b7072 |
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ö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>