Are witnesses permitted now?

[kpadmasola]

Hi,

I am new to Souffle and Datalog, and was trying out the examples in tutorial page.

In section https://souffle-lang.github.io/tutorial#witnesses-are-not-permitted, it gives the following example which is not supposed to compile, but when I tried it, it worked and gave the output as 100 c

.decl A(n:number, w:symbol)
A(1, "a"). A(10, "b"). A(100, "c").

.decl MaxA(x: number,w:symbol)
MaxA(y, w) :- y = max x:{A(x, w)}.

.output MaxA

Does this mean that the tutorial page is out of date?

[quentin]

For min an max the witnesses are permitted in some trivial cases.
Related discussions:
souffle-lang/souffle-lang.github.io#132
#2135
#1801