如何将原子
我已经尝试使用parse_time/3。
'2015-12-15T05 PST'
转换为时间戳或日期时间?我已经尝试使用parse_time/3。
?- parse_time('2015-12-15T05 PST', '%Y-%m-%dT%H %Z', Stamp)
false.
和format_time/3相关的内容:
?- format_time('2015-12-15T05 PST', '%Y-%m-%dT%H %Z', date(Y,M,D,H,M,S,O,TZ,DST)).
ERROR: format_time/3: Arguments are not sufficiently instantiated