All Downloads are FREE. Search and download functionalities are using the official Maven repository.

.arg.aba.1.14.source-code.example11.aba Maven / Gradle / Ivy

Go to download

{a,b,c}

r <- b,c
q <-
p <-q,a

not a = r
not b = q
not c = p