object

assignvars

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

author:
Nobukuni Kino and Paulo Moura
version:
1.5
date:
2017/6/29
compilation flags:
static, context_switching_calls
implements:
public assignvarsp

Public interface

(see related entities)

Protected interface

(see related entities)

Private predicates

(see related entities)

Operators

(none)

Remarks

(none)

See also

(none)