Path: utzoo!utgpu!water!watmath!clyde!cbosgd!ihnp4!inuxc!iuvax!pur-ee!uiucdcs!uiucdcsb!reddy
From: reddy@uiucdcsb.cs.uiuc.edu
Newsgroups: comp.lang.prolog
Subject: Inductive consequence
Message-ID: <163700003@uiucdcsb>
Date: 16 Dec 87 00:14:00 GMT
Lines: 17
Nf-ID: #N:uiucdcsb:163700003:000:709
Nf-From: uiucdcsb.cs.uiuc.edu!reddy    Dec 15 18:14:00 1987


/* Written  6:13 pm  Dec 15, 1987 by reddy@uiucdcsb.cs.uiuc.edu in uiucdcsb:comp.lang.prolog */
I am looking for pointers to any work in logic programming dealing
with inductive consequence, where the notion of inductive consequence
is defined by one of the following: 
  . S is an inductive consequence of A if every ground instance of S
	follows from A.
  . S is an inductive consequence of A if the least model of S is the
	same as the least model of A union S.
  . S is an inductive consequence of A if A union S is consistent.

I think I saw some work by Kowalski refering to one of these
definitons, but I can't place it.

Uday Reddy
reddy@a.cs.uiuc.edu
/* End of text from uiucdcsb:comp.lang.prolog */