Re: Ann: SWI-Prolog 7.1.0
Joachim Schimpf <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
On 07/12/2013 14:51, Jan Wielemaker wrote: >> do(atom(X)) :- >> do(number(X)) :- >> do(string(X)) :- > > All you need is a compiler that decides at compile time that the clauses > are mutually > exclusive. That can be done just as well for the first set (even > without the cuts) > as for the second. I'm sure some people on this list can point at > Prolog implementations > that do this. Sure, but modesty forbids ;) -- Joachim http://eclipseclp.org