@prefix log:  <http://www.w3.org/2000/10/swap/log#> .
@prefix str:  <http://www.w3.org/2000/10/swap/string#> .
@prefix time: <http://www.mnot.net/2002/02/25/time#> .

@prefix : <#>.

this log:forAll :s .

{ ("1998 Oct 13" "%Y %b %d") time:parse "908236800" } 
  log:implies 
{ :Test1 a :Success } . 

{ ("908236800" "%Y %b %d") time:format "1998 Oct 13" } 
  log:implies 
{ :Test2 a :Success } .

{ ("904223432" "%Y %m %d (%A) %H:%M:%S") time:format :s }
  log:implies
{ :Test3 :result :s } .