[comp.lang.prolog] Inductive consequence

reddy@uiucdcsb.cs.uiuc.edu (12/16/87)

/* 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 */