The documentation (at
http://pauillac.inria.fr/~diaz/gnu-prolog/manual/manual043.html#toc165)
for the built-in predicate 'sublist' seems to have the roles of the
two arguments switched around, compared to how the predicate actually
works (in gprolog 1.2.18).

Also, the description could be improved by making explicit that the
elements of a sublist do not have to appear as consecutive elements in
the bigger list (but must be in order, of course).
I.e. Sublist([1,3],[1,2,3]) is true.

 - Rolf Fagerberg



_______________________________________________
Bug-prolog mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-prolog

Reply via email to