home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / prolog / 1635 < prev    next >
Encoding:
Text File  |  1992-09-02  |  1023 b   |  28 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!mcsun!sunic!sics.se!matsc
  3. From: matsc@sics.se (Mats Carlsson)
  4. Subject: Re: Compilation of Disjuncts
  5. In-Reply-To: serge@irisa.fr's message of 1 Sep 92 16:05:05 GMT
  6. Message-ID: <MATSC.92Sep2141625@vishnu.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <1992Sep1.160505.6828@irisa.fr>
  10. Date: Wed, 2 Sep 1992 13:16:25 GMT
  11. Lines: 15
  12.  
  13.    I have some knowledge (only "theoretic", though) about the WAM, but I have
  14.    never seen anything about the compilation of the disjunction ';' (and
  15.    also things like '->').
  16.  
  17.    do you do anything special about this construct, or do you just
  18.    consider it as an ordinary predicate with a definition like:
  19.    P ;_Q :- P.
  20.    _P; Q :- Q.
  21.  
  22. SICStus Prolog does nothing special, and considers it as an ordinary
  23. predicate as you describe.
  24. --
  25. Mats Carlsson
  26. SICS, PO Box 1263, S-164 28  KISTA, Sweden    Internet: matsc@sics.se
  27. Tel: +46 8 7521543     Ttx: 812 6154 7010 SICS     Fax: +46 8 7517230
  28.