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