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