Re: problem with anonymous variables

From: "Anders Lindén" <xxxx@xxxxxx>
Date: Sun, 29 May 2005 20:15:02 +0200

Ok, here is an attempt

shrink([],[]).
shrink([A|B],C):- var(A),!, shrink(B,C).
shrink([A|B],[A|C]):- nonvar(A), shrink(B,C).

| ?- shrink([4,5,B,d(r,e)],C).
C = [4,5,d(r,e)] ? ;
no

.

Follow-Ups:
- Re: problem with anonymous variables
  - From: ouyang . jie

References:
- problem with anonymous variables
  - From: ouyang . jie

Prev by Date: Re: problem with anonymous variables
Next by Date: Re: Problem
Previous by thread: Re: problem with anonymous variables
Next by thread: Re: problem with anonymous variables
Index(es):
- Date
- Thread