SHOW:
|
|
- or go back to the newest paste.
| 1 | % cat log_uri_equalTo.n3 | |
| 2 | @prefix string: <http://www.w3.org/2000/10/swap/string#> . | |
| 3 | @prefix eu: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#> . | |
| 4 | @prefix log: <http://www.w3.org/2000/10/swap/log#> . | |
| 5 | ||
| 6 | <test> :alert "true" . | |
| 7 | ||
| 8 | { ?REVERSE log:uri "bla" .
| |
| 9 | _:d eu:trace ( "REVERSE log:uri" ?REVERSE ) . | |
| 10 | # ?REVERSE log:equalTo <bla> . # FAILS !!!!!!!!!! | |
| 11 | <bla> log:equalTo ?REVERSE . # FAILS !!!!!!!!!! | |
| 12 | # FAILS also !!!!!!!!!! | |
| 13 | # ?REVERSE log:equalTo <file:///media/bd003f3b-ff18-4655-91dc-e014ba1af42e/home/jmv/src/eulergui/test/test> . | |
| 14 | } => {
| |
| 15 | :test :passes true | |
| 16 | }. | |
| 17 | ||
| 18 | ||
| 19 | % eye --pass --think --nope log_uri_equalTo.n3 | |
| 20 | Id: euler.yap 5701 2012-10-12 19:56:58Z josd | |
| 21 | YAP 6.2.3 (i686-linux): Sat Jun 16 23:34:26 CEST 2012 | |
| 22 | starting 72 [msec cputime] 74 [msec walltime] | |
| 23 | GET file:///media/bd003f3b-ff18-4655-91dc-e014ba1af42e/home/jmv/src/eulergui/test/log_uri_equalTo.n3 SC=2 | |
| 24 | networking 4 [msec cputime] 4 [msec walltime] | |
| 25 | TC=1 TP=2 BC=0 BP=2 PM=0 CM=0 FM=0 AM=0 | |
| 26 | #Processed by Id: euler.yap 5701 2012-10-12 19:56:58Z josd | |
| 27 | #eye --pass --think --nope log_uri_equalTo.n3 | |
| 28 | ||
| 29 | #TRACE ("REVERSE log:uri" <bla>)
| |
| 30 | #TRACE ("REVERSE log:uri" <bla>)
| |
| 31 | reasoning 0 [msec cputime] 0 [msec walltime]@prefix str: <http://www.w3.org/2000/10/swap/string#>. | |
| 32 | ||
| 33 | ||
| 34 | @prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>. | |
| 35 | @prefix log: <http://www.w3.org/2000/10/swap/log#>. | |
| 36 | @prefix var: <http://localhost/var#>. | |
| 37 | @prefix r: <http://www.w3.org/2000/10/swap/reason#>. | |
| 38 | @prefix n3: <http://www.w3.org/2004/06/rei#>. | |
| 39 | ||
| 40 | <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". | |
| 41 | ||
| 42 | #TRACE ("REVERSE log:uri" <bla>)
| |
| 43 | #ENDS 0 [msec] TC=1 TP=2 BC=0 BP=2 PM=0 CM=0 FM=0 AM=0 |
