Article View: comp.lang.prolog
Article #757Re: Compilation of Disjuncts
From: Mats Carlsson
Date: Wed, 02 Sep 1992 13:16
Date: Wed, 02 Sep 1992 13:16
15 lines
1050 bytes
1050 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 '->'). 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. SICStus Prolog does nothing special, and considers it as an ordinary predicate as you describe. -- Mats Carlsson SICS, PO Box 1263, S-164 28 KISTA, Sweden Internet: matsc@sics.se Tel: +46 8 7521543 Ttx: 812 6154 7010 SICS Fax: +46 8 7517230
Technical Details
Message-ID:
<MATSC.92Sep2141625@vishnu.sics.se>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!sics.se!matscReferences:
<1992Sep1.160505.6828@irisa.fr>Show Full Headers
Complete Article Headers
Newsgroups: comp.lang.prolog Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!sics.se!matsc From: matsc@sics.se (Mats Carlsson) Subject: Re: Compilation of Disjuncts In-Reply-To: serge@irisa.fr's message of 1 Sep 92 16:05:05 GMT Message-ID: <MATSC.92Sep2141625@vishnu.sics.se> Sender: news@sics.se Organization: Swedish Institute of Computer Science, Kista References: <1992Sep1.160505.6828@irisa.fr> Date: Wed, 2 Sep 1992 13:16:25 GMT Lines: 15