.arg.aba.1.14.source-code.example5.aba Maven / Gradle / Ivy
p<-a
p<-b
c<-
{a,b,c,d}
not a = b
not b = a
not c = d
not d = p
© 2015 - 2025 Weber Informatics LLC | Privacy Policy
p<-a
p<-b
c<-
{a,b,c,d}
not a = b
not b = a
not c = d
not d = p