Examples
p,-p
p,-p q,-q r,-r
p(x) p(a),-p(y)
p(x) p(a),-p(x)
p(x),-p(a) q(f(y)),-q(f(g(z)))
p(x,y) p(y,x), -p(u,z) -p(z,u)
p(f(x)) -q(y,a),q(a,a) r(x,x,b) s(a,b),s(a,z) -r(x,x,b),-p(f(a)) r(x,a,b),-s(y,z) -s(a,b)
p(x),-p(x) q(x,y),-q(x,a) -q(b,y) -q(b,a) -p(f(y))
p(x) l(x) q,-p(b),-q l(y),-l(z) -l(s) r(z),-r(b) -l(t)
p(x) l(x) q,-q l(y),-l(z) -m(s) r(z),-r(b) -l(t) -s(b),s(b),m(a) r(b),-p(b)
p(x,e,x),p(e,x,x),p(u,z,w) -p(x,v,w) -p(y,z,v) -p(x,y,u),p(x,v,w) -p(u,z,w) -p(y,z,v) -p(x,y,u), p(x,x,e),p(a,b,c),-p(b,a,c)
examples
|
syntax
|
info
|
home
|
download
Last Modified : 02-Dec-2019