home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.lang.prolog
- Path: sparky!uunet!mcsun!Germany.EU.net!ecrc!acrab6!micha
- From: micha@ecrc.de (Micha Meier)
- Subject: Re: Compilation of Disjuncts
- Message-ID: <1992Sep4.122027.13953@ecrc.de>
- Sender: news@ecrc.de
- Reply-To: micha@ecrc.de
- Organization: European Computer-Industry Research Centre
- References: <97440011@hpbbrd.bbn.hp.com>
- Date: Fri, 4 Sep 1992 12:20:27 GMT
- Lines: 22
-
- In article 97440011@hpbbrd.bbn.hp.com, jensk@hpbbrd.bbn.hp.com (Jens Kilian) writes:
- >The main reason for compiling disjunctions is that it can speed up code
- >like
- >
- > p(X) :-
- > ( X >= 0 ->
- > do_something_for_positive_X(X)
- > ; do_something_for_negative_X(X)
- > ).
- >
-
- No. The main reason for compiling disjunctions is to avoid to build a structure
- and metacall it. The improvement you mention is also significant, but nowhere as important as this.
-
- --Micha
-
- ---
- Micha Meier ------------------------------------------------
- ECRC, Arabellastr. 17 The opinions expressed above are private
- D-8000 Munich 81 and may not reflect those of my employer.
- micha@ecrc.de, Tel. +49-89-92699-108, Fax +49-89-92699-170
-
-