object

assignvars

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

author:
Nobukuni Kino and Paulo Moura
version:
1.3
date:
2015/7/31
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)