home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!mcsun!corton!irisa!irisa.fr!serge
- From: serge@irisa.fr (Serge Le Huitouze)
- Newsgroups: comp.lang.prolog
- Subject: Re: Compilation of Disjuncts
- Message-ID: <1992Sep4.071522.27158@irisa.fr>
- Date: 4 Sep 92 07:15:22 GMT
- Sender: news@irisa.fr
- Reply-To: brisset@irisa.fr
- Organization: Irisa, Rennes(FR)
- Lines: 15
-
- I realise that my first question on the compilation of disjuncts was sure stated
- in a too much naive way.
-
- Now, here is a more precise formulation for my question:
-
- How do WAM implementations treat the disjunction EFFICIENTLY ?
- ^^^^^^^^^^^
-
- I cannot believe that the branches of the ';' are copied into the heap and then
- executed via 'call/1', which would make them be interpreted rather than compiled.
-
- So, given that a great effort towards efficiency has been achieved for the WAM
- I think there is, here or there, some special treatment for ';'.
-
- Any pointers/articles/reports about this would be welcome.
-