PublicShow -- Universally Unique Identifier (UUID) Library

The library provides operations on UUIDs. Please consult other sources for understanding UUIDs and the implications of the different UUID versions. Some typical calls are given below:

?- uuid(X).
X = 'ea6589fa-19dd-11e2-8a49-001d92e1879d'.

?- uuid(X, [url('')]).
X = '73a07870-6a90-3f2e-ae2b-ffa538dc7c2c'.
See also
To be done
- Compare UUIDs, extract time and version from UUIDs
Source uuid(-UUID) is det
UUID is an atom representing a new UUID. This is the same as calling uuid(UUID, []). See uuid/2 for options.
Source uuid(-UUID, +Options) is det
Create a new UUID according to Options. The following options are defined:
Integer in the range 1..5, which specifies the UUID version that is created. Default is 1.
Provide additional context information for UUIDs using version 3 or 5. If there is no explicit version option, UUID version 3 is used.
Representation of the UUID. Default is atom, yielding atoms such as 8304efdd-bd6e-5b7c-a27f-83f3f05c64e0. The alternative is integer, returning a large integer that represents the 128 bits of the UUID.