Article View: comp.lang.prolog
Article #753Compilation of Disjuncts
From: Serge Lehuitouze
Date: Tue, 01 Sep 1992 16:05
Date: Tue, 01 Sep 1992 16:05
8 lines
637 bytes
637 bytes
I have some knowledge (only "theoretic", though) about the WAM, but I have never seen anything about the compilation of the disjunction ';' (and also things like '->'). You, WAM gurus, do you do anything special about this construct, or do you just consider it as an ordinary predicate with a definition like: P ;_Q :- P. _P; Q :- Q.
Technical Details
Message-ID:
<1992Sep1.160505.6828@irisa.fr>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!corton!irisa!sergeShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!corton!irisa!serge From: serge@irisa.fr (Serge Lehuitouze) Newsgroups: comp.lang.prolog Subject: Compilation of Disjuncts Message-ID: <1992Sep1.160505.6828@irisa.fr> Date: 1 Sep 92 16:05:05 GMT Sender: news@irisa.fr Organization: IRISA, Rennes (Fr) Lines: 8