Did you know ... | Search Documentation: |
Pack logtalk -- logtalk-3.86.0/manuals/_sources/libraries/genint.rst.txt |
.. _library_genint:
genint
The genint
library implements predicates for generating positive
integers in increasing order. The public predicates are declared
synchronized to prevent race conditions when using a backend Prolog
compiler with multi-threading support.
Open the `../../docs/library_index.html#genint <../../docs/library_index.html#genint>`__ link in a web browser.
To load all entities in this library, load the loader.lgt
file:
::
| ?- logtalk_load(genint(loader))
.
To test this library predicates, load the tester.lgt
file:
::
| ?- logtalk_load(genint(tester))
.
The genint_core
category implements the library predicates. This
category is imported by the default genint
object to provide
application global named counters. To make the counters local and thus
minimize the potential for counter name clashes, the category can be
imported by one or more application objects. Use protected or private
import to restrict the scope of the library predicates.