This commit is contained in:
Vitor Santos Costa 2010-09-24 12:14:20 +01:00
parent bf75e8265b
commit 4707c4c10c

View File

@ -220,7 +220,7 @@ prolog:when(_,Goal) :-
% %
% support for when/2 like declaration. % support for when/2 like declaration.
v% %
% %
% when will block on a conjunction or disjunction of nonvar, ground, % when will block on a conjunction or disjunction of nonvar, ground,
% ?=, where ?= is both terms being bound together % ?=, where ?= is both terms being bound together