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: 2545
Venue: SIGMOD
Year: 1990
Pagerank: 5.289545e-05
Overall Rank: 9,326 | 36.02%
DOI: 10.1145/93597.98728

Incoming Non-self Citations Over Time

Authors

1. Els Laenens (Philips International B.V.)
2. Domenico Saccà (University of Calabria)
3. Dirk Vermeir (University of Antwerp)

BibTeX Citation

@inproceedings{laenens_sigmod90,
        title = {{Extending Logic Programming}},
        author = {Laenens, Els and Saccà, Domenico and Vermeir, Dirk},
        series = {{SIGMOD} '90},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/93597.98728},
        url = {https://dl.acm.org/doi/10.1145/93597.98728},
        year = {1990}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
13,092	Updates in a Rule-Based Language for Objects	1992	VLDB	5.093636e-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
355	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00020351749
877	F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme	1989	SIGMOD	0.00013464822
1,522	Unfounded Sets and Well-Founded Semantics for General Logic Programs	1988	PODS	0.00010502706
4,831	Stable Models and Non-Determinism in Logic Programs with Negation	1990	PODS	6.4877275e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,714	Modular Stratification and Magic Sets for DATALOG Programs with Negation	1990	PODS
2	8,083	The Valid Model Semantics for Logic Programs	1992	PODS
3	13,198	A Rule-Based Object/Task Modelling Approach	1986	SIGMOD
4	14,396	On Negation in HiLog	1991	PODS
5	7,536	Database Updates in Logic Programming	1988	PODS
6	5,210	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS
7	2,474	Logic Programming as Constructivism: A Formalization and its Application to Databases	1989	PODS
8	799	Logic Programming With Sets	1987	PODS
9	1,891	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS
10	4,263	Explicit Control of Logic Programs Through Rule Algebra	1988	PODS