Re: Datalog with no variables

On 10 oct, 15:26, "Alexander Serebrenik <A.Serebre...@xxxxxx>"
<A.Serebre...@xxxxxx> wrote:
Dear all,

I wonder whether there is a special name for Datalog with no
variables?

Best regards,
Alexander

Dear Alexander,
From my readings, I am not aware of such a name, but if I have to
select one, I might call it "Propositional Datalog".
Best regards,
Fernando

.