SWI-Prolog Pack Utilities

This repository contains a collection of shared utilities for Prolog projects.

Setup

Assuming SWI-Prolog is instaled, you can install this pack via CLI as follows:

$ swipl -q -g "pack_install('https://github.com/ssardina/swi_ssardina.git',[package(swi_ssardina),interactive(false),git(true),upgrade(true)])" -t halt

[!NOTE] This will upgrade the pack if it is already installed. If you want to avoid that, set upgrade(false).

From inside SWIPL itself:

?- pack_install('https://github.com/ssardina/swi_ssardina.git', [package(swi_ssardina), git(true), upgrade(true)]).

This will install in folder `$HOME/.local/share/swi-prolog/pack/swi_ssardina`.

Confirm it is installed:

?- pack_list_installed.
% Contacting server at https://www.swi-prolog.org/pack/query ... ok
i auc@1.0                          - Library for computing Areas Under the Receiving Operating Charactersitics and Precision Recall curves
i bddem@4.3.1                      - A library for manipulating Binary Decision Diagrams
i cplint@4.5.0                     - A suite of programs for reasoning with probabilistic logic programs
i matrix@2.0                       - Operations with matrices
l swi_ssardina@1.0.0               - Shared utilities for my Prolog projects
true.

To remove the package:

?- pack_remove(swi_ssardina).

Modules

All modules are named with the suffix _ssardina to avoid name clashes with other libraries. You can load them as needed in your Prolog code via:

?- use_module(library(xxx_ssardina)).

The pack contains the following modules:

Name	Description
utils_ssardina	General utilties
datetime_ssardina	Date and time utilities
system_ssardina	System utilities
network_ssardina	System utilities

Usage

Once the pack is installed, use the utilities in your Prolog code, simply load the library:

?- use_module(library(utils_ssardina)).
true.

?- get_date_time(D).
D = date(2026, 5, 13, 14, 46, 54.307682514190674, -36000, 'AEST', false).

?- get_time(T), stamp_date_time_tz(T, DT, 'Australia/Melbourne').
T = 1778647645.071011,
DT = date(2026, 5, 13, 14, 47, 25.071011066, -36000, -, -) ;

To turn on debug in a module, enable it in the module scope:

?- use_module(library(system_ssardina)).

?- system_ssardina:debug(debug).