Extending Logic Programming

Summary: Extends logic programming with ordered logic programming, introducing modules and an isa hierarchy to expose local vs global rules. Enables defaults and exceptions via rule inheritance, supports negation in heads, and offers OO-logic integration for KBs. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2483
Venue: SIGMOD
Year: 1990
Pagerank: 4.3849295e-05
Overall Rank: 9,167 | 36.23%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
12,898	Updates in a Rule-Based Language for Objects	1992	VLDB	4.1945683e-05

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
352	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00026299604
669	F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme	1989	SIGMOD	0.00018430212
1,166	Unfounded Sets and Well-Founded Semantics for General Logic Programs	1988	PODS	0.00013554968
4,757	Stable Models and Non-Determinism in Logic Programs with Negation	1990	PODS	5.9434944e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
1,381	Modular Stratification and Magic Sets for DATALOG Programs with Negation	1990	PODS	0.00012283951
7,672	The Valid Model Semantics for Logic Programs	1992	PODS	4.6826453e-05
8,227	A Rule-Based Object/Task Modelling Approach	1986	SIGMOD	4.5551494e-05
14,196	On Negation in HiLog	1991	PODS	-
6,932	Database Updates in Logic Programming	1988	PODS	4.8925595e-05
5,102	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS	5.6992154e-05
1,979	Logic Programming as Constructivism: A Formalization and its Application to Databases	1989	PODS	9.8794371e-05
649	Logic Programming With Sets	1987	PODS	0.00018662857
1,799	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS	0.0001051612
4,141	Explicit Control of Logic Programs Through Rule Algebra	1988	PODS	6.4141369e-05