Fixed typo on nextto/3 documentation pointed out by Christian Thaeter.

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1794 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
pmoura 2007-02-12 10:33:01 +00:00
parent 264a3c6b54
commit 73a30641a0

View File

@ -96,7 +96,7 @@ memberchk(Element, [_|Rest]) :-
% nextto(X, Y, List)
% is true when X and Y appear side-by-side in List. It could be written as
% nextto(X, Y, List) :- append(_, [X,Y], List).
% nextto(X, Y, List) :- append(_, [X,Y,_], List).
% It may be used to enumerate successive pairs from the list.
nextto(X,Y, [X,Y|_]).