Set-term unification in a logic database language

DOI10.1007/bfb0030824zbMath1527.68054OpenAlexW1558009913MaRDI QIDQ6064020

Yiu-Kai Ng, Seung-Jin Lim

Publication date: 12 December 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0030824

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Unification theory
• {log}: A language for programming in logic with finite sets
• Compilation of set terms in the logic data language (LDL)

This page was built for publication: Set-term unification in a logic database language