object

# `assignvars`

Assignable variables (supporting backtracable assignment of non-variable terms).

Author: Nobukuni Kino and Paulo Moura
Version: 1:7:0
Date: 2018-07-11
Compilation flags:
`static, context_switching_calls`
Implements:
`public` assignvarsp
Remarks:
(none)
Inherited public predicates:
(<=)/2 (=>)/2 assignable/1 assignable/2

- Public predicates

- Protected predicates

- Private predicates

- Operators

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)