Testing logic programs for local stratification

DOI10.1016/0304-3975(92)90013-6zbMath0757.68030OpenAlexW2078854256MaRDI QIDQ1199536

Luigi Palopoli

Publication date: 16 January 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90013-6

zbMATH Keywords

logic programs with negationalgebra of termsanalysis of unification patterns

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (2)

Using linear constraints for logic program termination analysis ⋮ Temporal stratification tests for linear and branching-time deductive databases

Cites Work

• The generalized counting method for recursive logic queries
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Testing logic programs for local stratification