select/3

Module

This predicate is provided by lists.pl.

Load this module before using the predicate:

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

Description

True when List2 is List1 with one occurrence of Elem removed.

Signature

select(?Elem, ?List1, ?List2) is nondet