Re: Rule negator

From: chenyu (chenyu468_at_yahoo.com)
Date: 02/02/04 

Date: 1 Feb 2004 19:03:11 -0800

"Gonzalo Aguirre" <gonzalo@sondrobe.homelinux.org> wrote in message news:<bvjtlk$sj0hs$1@ID-217155.news.uni-berlin.de>...
> could i negate rules?.. how? i've tryed with `not', `!' and i can't find
> it on help page.
>
> ex. (it's not the real problem, just an example)
>
> a(A,[]).
> a(A,[B|C]):- a(A,C), not b(B).
> ^^^
> |
> +-- how could i do that??

try not(b(B)).

kind regards/chenyu