var

BAP Online Manuals : Library Reference : Library by Name : var
Previous: unbound
Next: wait

6.2.136. var

tests whether its argument is currently uninstantiated

SYNOPSIS

var(Var)

SYNTAX

 var(Var) (i)

ARGUMENTS

void(Var) (i) Term to be tested.

DESCRIPTION

This is a standard prolog built-in. Var succeeds if its argument is currently unbound, fails otherwise.

NOTE: free and unbound do just the same.

ERRORS

No runtime errors.

LAYERS

prolog-process, client-server, object

RELATED PREDICATES

bound , nonvar ,

free , unbound


BAP Online Manuals : Library Reference : Library by Name : var
Previous: unbound
Next: wait