mktime/2 issue

[jos.deroo]

Hi Vitor,

First of all, all the best wishes for 2009!!

Also a lot of thanks for Yap, it is a real good platform and we are very
happy to use it and, FYI, we recently worked on a Semantic Web N3Logic
reasoner http://eulersharp.sourceforge.net/2006/02swap/euler.yap with
some test results http://eulersharp.sourceforge.net/2006/02swap/etc.ref

There is a small issue with the implementation of euler.yap builtins
that use the RDF datatype xsd:dateTime and it has to do with mktime/2

YAP version Yap-5.1.4
   ?- use_module(library(system)).
 % reconsulting /usr/local/share/Yap/system.yap...
  % reconsulting /usr/local/share/Yap/lists.yap...
   % reconsulting /usr/local/share/Yap/error.pl...
   % reconsulted /usr/local/share/Yap/error.pl in module error, 4 msec 16840 bytes
  % reconsulted /usr/local/share/Yap/lists.yap in module lists, 8 msec 34576 bytes
 % reconsulted /usr/local/share/Yap/system.yap in module system, 16 msec 71440 bytes
yes
   ?- mktime(datime(1970,1,1,0,0,0),X).
     ERROR!! [Thread 0 ]
     SYSTEM ERROR- Success at mktime(datime(1970,1,1,0,0,0),_1114)]
   ?- mktime(datime(1970,1,1,2,0,0),X).
X = 0 ?

So there seem to be an offset of 2 hours and the test was done on
jdroo@jdroo-laptop:~$ uname -a
Linux jdroo-laptop 2.6.24-23-generic #1 SMP Thu Nov 27 18:44:42 UTC 2008 i686 GNU/Linux

Kind regards, Jos

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T  [phone]
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare
------------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It is the best place to buy or sell services for
just about anything Open Source.
http://p.sf.net/sfu/Xq1LFB
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users