% cat  log_uri_equalTo.n3
@prefix string: <http://www.w3.org/2000/10/swap/string#> .
@prefix eu: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

<test> :alert "true" .

{ ?REVERSE log:uri "bla" .
  _:d eu:trace ( "REVERSE log:uri" ?REVERSE ) .
#  ?REVERSE log:equalTo <bla> . # FAILS !!!!!!!!!!
  <bla>   log:equalTo ?REVERSE . # FAILS !!!!!!!!!!
   # FAILS also !!!!!!!!!!
  # ?REVERSE log:equalTo  <file:///media/bd003f3b-ff18-4655-91dc-e014ba1af42e/home/jmv/src/eulergui/test/test> .
} => {
	:test :passes true
}.


% eye --pass --think --nope log_uri_equalTo.n3
Id: euler.yap 5701 2012-10-12 19:56:58Z josd
YAP 6.2.3 (i686-linux): Sat Jun 16 23:34:26 CEST 2012
starting 72 [msec cputime] 74 [msec walltime]
GET file:///media/bd003f3b-ff18-4655-91dc-e014ba1af42e/home/jmv/src/eulergui/test/log_uri_equalTo.n3 SC=2
networking 4 [msec cputime] 4 [msec walltime]
TC=1 TP=2 BC=0 BP=2 PM=0 CM=0 FM=0 AM=0
#Processed by Id: euler.yap 5701 2012-10-12 19:56:58Z josd
#eye --pass --think --nope log_uri_equalTo.n3

#TRACE ("REVERSE log:uri" <bla>)
#TRACE ("REVERSE log:uri" <bla>)
reasoning 0 [msec cputime] 0 [msec walltime]@prefix str: <http://www.w3.org/2000/10/swap/string#>.


@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix var: <http://localhost/var#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

<file:///media/bd003f3b-ff18-4655-91dc-e014ba1af42e/home/jmv/src/eulergui/test/test> <file:///media/bd003f3b-ff18-4655-91dc-e014ba1af42e/home/jmv/src/eulergui/test/log_uri_equalTo.n3#alert> "true".

#TRACE ("REVERSE log:uri" <bla>)
#ENDS 0 [msec] TC=1 TP=2 BC=0 BP=2 PM=0 CM=0 FM=0 AM=0