BOUNDED-LENGTH PREDICATE, Written by Donald Smith, Brandeis University (?), Shelved on 21 August 1993 The entry comes as two files: this one, LENGTH_BOUNDED.PRE, and the code, LENGTH_BOUNDED.PL. See the comments in the code for a description of how to use it. You will need Sicstus Prolog. CHECKED ON EDINBURGH-COMPATIBLE (POPLOG) PROLOG : no. PORTABILITY : Requires the :-wait feature of Sicstus Prolog. INTERNAL DOCUMENTATION : Good.