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 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)).