Negation in Concurrent Prolog

Article View: comp.lang.prolog

Article #2084

#2084

From: Jose Najera
Date: Thu, 02 May 1991 12:42

13 lines
1090 bytes

-- Does anybody there has information of implementations of negation (any type)
   in Concurrent Prolog? Any information will be welcomed.

    Thanks!

     Jose A. Najera

 ----------------------------------------------------------------------------
| Jose A. NAJERA                | najera@lifia.imag.fr |  \\\/  Ramaman,     | 
| Equipe de Robotique - LIFIA   | Home 76.62.95.69     |  (-oo  the man from |
| Bureau 134 (Nouveau Batiment) | Bureau 76.57.49.04   |  |\_|  outerspace.. |
 ----------------------------------------------------------------------------

Technical Details

Message-ID: <21141@imag.imag.fr>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!spool.mu.edu!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!mcsun!corton!imag!najera

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!spool.mu.edu!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!mcsun!corton!imag!najera
From: najera@lifia.imag.fr (Jose Najera)
Newsgroups: comp.lang.prolog
Subject: Negation in Concurrent Prolog
Message-ID: <21141@imag.imag.fr>
Date: 2 May 91 12:42:38 GMT
Sender: news@imag.imag.fr
Reply-To: najera@lifia.imag.fr (Jose Najera)
Organization: Lab. LIFIA  --  Univ. Grenoble
Lines: 13
Nntp-Posting-Host: phobos