Re: More about Horn clauses

Article View: comp.lang.prolog

Article #1646

#1646

From: Torkel Franzen
Date: Fri, 16 Oct 1992 20:13

9 lines
905 bytes

In article <1992Oct9.090720.14677@irisa.fr> ridoux@irisa.fr (Olivier Ridoux)
 writes:

   >Can you, or anybody else, tell us the tale of (hereditary) Harrop
   >formulas?

  So what's to tell? Hereditary Harrop formulas are ok, but they have no
ambience. There is nothing sacred about them. Horn clauses are a different
matter!

Technical Details

Message-ID: <TORKEL.92Oct16211315@bast.sics.se>

Path:

arc1-ca.pugleaf.net!sparky!uunet!convex!darwin.sura.net!paladin.american.edu!news.univie.ac.at!hp4at!mcsun!sunic!sics.se!torkel

References: <TORKEL.92Oct4080150@bast.sics.se> <1992Oct9.090720.14677@irisa.fr>

Show Full Headers

Complete Article Headers

Newsgroups: comp.lang.prolog
Path: arc1-ca.pugleaf.net!sparky!uunet!convex!darwin.sura.net!paladin.american.edu!news.univie.ac.at!hp4at!mcsun!sunic!sics.se!torkel
From: torkel@sics.se (Torkel Franzen)
Subject: Re: More about Horn clauses
In-Reply-To: ridoux@irisa.fr's message of 9 Oct 92 09:07:20 GMT
Message-ID: <TORKEL.92Oct16211315@bast.sics.se>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
References: <TORKEL.92Oct4080150@bast.sics.se> <1992Oct9.090720.14677@irisa.fr>
Distribution: comp
Date: Fri, 16 Oct 1992 20:13:15 GMT
Lines: 9

Reply to Parent Message