.. _library_assignvars:

``assignvars``
==============

The ``assignvarsp`` protocol declares the predicates used for logical
assignment of Prolog terms developed by Nobukuni Kino.

The ``assignvars`` object provides a declarative implementation of the
``assignvarsp`` protocol. It can be used with any backend Prolog
compiler.

The ``nd_assignvars`` object provides a non-declarative but faster
implementation of the ``assignvarsp`` protocol. It can be used with the
following backend Prolog compilers: B-Prolog, CxProlog, ECLiPSe, GNU
Prolog, SICStus Prolog, SWI-Prolog, and YAP.

For more information on assignvars, please consult the URL:

https://web.archive.org/web/20160818050049/http://www.kprolog.com/en/logical_assignment/

The representation of assignable terms should be regarded as an opaque
term and only accessed using the library predicates.

API documentation
-----------------

Open the
`../../docs/library_index.html#assignvars <../../docs/library_index.html#assignvars>`__
link in a web browser.

Loading
-------

To load all entities in this library, load the ``loader.lgt`` file:

::

   | ?- logtalk_load(assignvars(loader)).

Testing
-------

To test this library predicates, load the ``tester.lgt`` file:

::

   | ?- logtalk_load(assignvars(tester)).
