Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming
Ján Komara
In this paper we present an alternative approach to formalize the theory of logic programming. In this formalization we allow existential quantified variables and equations in quer…
cs.LO2022
Conjunctive Queries, Existentially Quantified Systems of Equations and Finite Substitutions
Ján Komara
This report presents an elementary theory of unification for positive conjunctive queries. A positive conjunctive query is a formula constructed from propositional constants, equat…