🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #776

Re: Compilation of Disjuncts

#776
From: Micha Meier
Date: Fri, 04 Sep 1992 12:20
21 lines
1145 bytes
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
Technical Details
Message-ID: <1992Sep4.122027.13953@ecrc.de>
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!Germany.EU.net!ecrc!acrab6!micha
References: <97440011@hpbbrd.bbn.hp.com>

Show Full Headers
Complete Article Headers
Newsgroups: comp.lang.prolog
Path: arc1-ca.pugleaf.net!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