protocol
assignvarsp
¶
Assignable variables (supporting backtracable assignment of non-variable terms) protocol.
Author: Nobukuni Kino and Paulo Moura
Version: 1:0:1
Date: 2019-06-10
Compilation flags:
static
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates¶
assignable/1
¶
Makes Variable
an assignable variable. Initial state will be empty.
Compilation flags:
static
Template:
assignable(Variable)
Mode and number of proofs:
assignable(--assignvar)
- one
Exceptions:
Variable is not a variable:
type_error(variable,Variable)
assignable/2
¶
Makes Variable
an assignable variable and sets its initial state to Value
.
Compilation flags:
static
Template:
assignable(Variable,Value)
Mode and number of proofs:
assignable(--assignvar,@nonvar)
- one
Exceptions:
Variable is not a variable:
type_error(variable,Variable)
Value is not instantiated:
instantiation_error
Protected predicates¶
(none)
Private predicates¶
(none)