Set constructors in a logic database language

DOI10.1016/0743-1066(91)90036-OMaRDI QIDQ3212263zbMATH OpenFDO

Authors Catriel Beeri, Shamim Naqvi, Oded Shmueli, Shalom Tsur

Publication date 1991

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(91)90036-O

zbMATH Keywords

Horn-clause-based programmingLogical Data Language

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Semantics in the theory of computing (68Q55) Artificial intelligence (68T99)

Recommendations

• {log}: A language for programming in logic with finite sets
• Set constructors, finite sets, and logical semantics
• Logic programming with sets
• Set constraints and logic programming
• scientific article; zbMATH DE number 26616

Cited in

(12)

• An object-oriented deductive language
• Automated reasoning with restricted intensional sets
• Logic programming approach to automata-based decision procedures
• Set constructors, finite sets, and logical semantics
• scientific article; zbMATH DE number 512898 (Why is no real title available?)
• Enhancing the expressive power of the U-Datalog language
• Functional ASP with intensional sets: application to Gelfond-Zhang aggregates
• scientific article; zbMATH DE number 7552283 (Why is no real title available?)
• Constructive negation and constraint logic programming with sets
• Incremental reasoning on monadic second-order logics with logic programming
• Interval propagation to reason about sets: Definition and implementation of a practical language
• Language constructs supporting data base creation

This page was built for publication: Set constructors in a logic database language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3212263)