Compilation of set terms in the logic data language (LDL)
From MaRDI portal
Publication:3992237
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
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