Compilation of set terms in the logic data language (LDL)

DOI10.1016/0743-1066(92)90040-AzbMath0763.68026OpenAlexW2034226458MaRDI QIDQ3992237

Shalom Tsur, Carlo Zaniolo, Oded Shmueli

Publication date: 13 August 1992

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

Full work available at URL: https://doi.org/10.1016/0743-1066(92)90040-a

zbMATH Keywords

rewritingHorn-clause programsHorn-clause logic-programming languageset-term matching

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Artificial intelligence (68T99) Logic programming (68N17)

Related Items

On the monotonicity of (LDL) logic programs with set., Database query languages and functional logic programming, Set-term unification in a logic database language, Interval propagation to reason about sets: Definition and implementation of a practical language, Unnamed Item, A deductive database approach for complex objects