A date and time library for Prolog.
Warning: This is alpha quality software. APIs will change. There are bugs. Use with caution. Time zones are not yet supported and semantics that should account for time zone choose arbitrary, unpredictable behavior.
With that out of the way, the library can do a lot of useful stuff. See the in-depth tutorial for examples.
:- use_module(library(julian)).
:- use_module(library(clpfd)).
solution(Year) :-
% Eisenhower presidency had Fourth of July on Sunday in ...
form_time([dow(sunday), Year-07-04]),
Year in 1953..1961.
?- solution(Y).
Y = 1954.
Using SWI-Prolog 7.1.18 or later:
?- pack_install(julian).
This module uses semantic versioning.
Source code available and pull requests accepted at http://github.com/fifth-postulate/julian
Test are written with the Test Anything Protocol (TAP) and use the fnogatz/tap
library.
To install the tap pack run
?- pack_install(tap).
Next, the julian
pack should be available as a library. One can install from the local installation by running
?- pack_install('file:///home/<path-to-project>/julian').
A TAP test harness should be used to run the tests in this project. To run the t/types.pl
test on could execute
prove -v -e 'swipl -q -t main -s' t/types.pl
To run all test one could use
prove -v -e 'swipl -q -t main -s' t/**.pl
Or use make tests
.