BAP Online Manuals : Library Reference : Library by Name : free
Previous: for
Next: free_server

6.2.59. free

tests whether its argument is currently uninstantiated

SYNOPSIS

free(Var)

SYNTAX

 free(Var) (i)

ARGUMENTS

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

DESCRIPTION

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

NOTE: var and unbound do just the same.

ERRORS

No runtime errors.

LAYERS

prolog-process, client-server, object

RELATED PREDICATES

bound , nonvar ,

var , unbound


BAP Online Manuals : Library Reference : Library by Name : free
Previous: for
Next: free_server