Examples

  1. p

  2. ,p q

  3. p,-p

  4. p,-p q,-q r,-r

  5. p(x) p(a),-p(y)

  6. p(x) p(a),-p(x)

  7. p(x),-p(a) q(f(y)),-q(f(g(z)))

  8. -A(x) B(x),-B(y) C(y),A(a),-C(a)

  9. P(x,f(x)),-P(x,z) -P(z,y) Q(x,y),-Q(a,y)

  10. -P(x) Q(f(x),x), -P(x) -Q(y,x) R(y),-R(y) -S(y) -P(x) -Q(y,x), -S(y) R(y), P(a), -R(x) S(x)

  11. p(x,y) p(y,x), -p(u,z) -p(z,u)

  12. 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)

  13. p(x),-p(x) q(x,y),-q(x,a) -q(b,y) -q(b,a) -p(f(y))

  14. 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