Skip to main content
Version: Next

sublist/2

Module

This predicate is provided by lists.pl.

Load this module before using the predicate:

:- consult('/v1/lib/lists.pl').

Description

True if SubList is a contiguous sublist of List.

Signature

sublist(?SubList, +List) is nondet