jmvanel

Untitled

Oct 15th, 2012
96
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.20 KB | None | 0 0
  1. % eye --pass --think --nope log_uri_equalTo.n3
  2. Id: euler.yap 5701 2012-10-12 19:56:58Z josd
  3. YAP 6.2.3 (i686-linux): Sat Jun 16 23:34:26 CEST 2012
  4. starting 72 [msec cputime] 74 [msec walltime]
  5. GET file:///media/bd003f3b-ff18-4655-91dc-e014ba1af42e/home/jmv/src/eulergui/test/log_uri_equalTo.n3 SC=2
  6. networking 4 [msec cputime] 4 [msec walltime]
  7. TC=1 TP=2 BC=0 BP=2 PM=0 CM=0 FM=0 AM=0
  8. #Processed by Id: euler.yap 5701 2012-10-12 19:56:58Z josd
  9. #eye --pass --think --nope log_uri_equalTo.n3
  10.  
  11. #TRACE ("REVERSE log:uri" <bla>)
  12. #TRACE ("REVERSE log:uri" <bla>)
  13. reasoning 0 [msec cputime] 0 [msec walltime]@prefix str: <http://www.w3.org/2000/10/swap/string#>.
  14.  
  15.  
  16. @prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
  17. @prefix log: <http://www.w3.org/2000/10/swap/log#>.
  18. @prefix var: <http://localhost/var#>.
  19. @prefix r: <http://www.w3.org/2000/10/swap/reason#>.
  20. @prefix n3: <http://www.w3.org/2004/06/rei#>.
  21.  
  22. <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".
  23.  
  24. #TRACE ("REVERSE log:uri" <bla>)
  25. #ENDS 0 [msec] TC=1 TP=2 BC=0 BP=2 PM=0 CM=0 FM=0 AM=0
Advertisement
Add Comment
Please, Sign In to add comment