Log In

bound

Added by Alex Kozlenkov, last edited by Alex Kozlenkov on Feb 27, 2010

bound/1 (i)

This predicate fails if the supplied argument is a free Prova variable or a Prova list containing Prova variables. Otherwise, it succeeds.

The following fragment shows how to test if the argument supplied to the clause is bound.

access_data(Type,ID,Data,CacheData) :-
	% Attempt to retrieve bound data
	bound(ID),
	Data=CacheData.get(ID),
	% Success, Data (whatever object it is) is returned
	!.