home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / prolog / 1630 < prev    next >
Encoding:
Internet Message Format  |  1992-09-01  |  619 b 
  1. Path: sparky!uunet!mcsun!corton!irisa!serge
  2. From: serge@irisa.fr (Serge Lehuitouze)
  3. Newsgroups: comp.lang.prolog
  4. Subject: Compilation of Disjuncts
  5. Message-ID: <1992Sep1.160505.6828@irisa.fr>
  6. Date: 1 Sep 92 16:05:05 GMT
  7. Sender: news@irisa.fr
  8. Organization: IRISA, Rennes (Fr)
  9. Lines: 8
  10.  
  11. I have some knowledge (only "theoretic", though) about the WAM, but I have
  12. never seen anything about the compilation of the disjunction ';' (and
  13. also things like '->').
  14.  
  15. You, WAM gurus, do you do anything special about this construct, or do you just
  16. consider it as an ordinary predicate with a definition like:
  17. P ;_Q :- P.
  18. _P; Q :- Q.
  19.