Re: request of feature: case statement

Dear Ulrich,

>What is missing is a case statement.  Sometimes you just have 20+ different
>mutually exclusive cases and you want to be sure that one of them is taken

You can do this with the standard Prolog syntax: write a predicate for
the `switch', with each clause representing a case. It is of course up to the
programmer to make sure that the clauses are mutally exclusive, but if you 
are matching atomic terms (which is what most programming languages give
you), then as long as those terms are not repeated in different clauses, you
have mutual exclusiveness. You can also commit to a choice if not mutally
exclusive with cuts (which you will need if you have a `catch all' default
case). 

Cheers,

Kish