EJEMPLOS DE CLASES DE PROGRAMACION



Programas normales


Li son atomos y k=0

f(X) .

p(f(X) p(X).

volar (X) pajaro(X), cantar (X).

ladrar(X) perro(X), not pajaro(X).

perro(rufo) .

pajaro(colibri).



Programas definit


p(p(f(a,b),f(z,c),f(r,d)))<---- p(f(a,b),q(z),q(f(r,c)).

p(f(f(c),q(d)),f(z))<----p(f(a),f(d)),p(f(f(z),f(c,d)),a).



Extend logic Programs


k=0

p(p(p(f(a),f(b)),f(c)),d)<----p(f(a,b)),p(f(c,d)),not p(f(d)).

p(p(f(c,d),f(e,g)),r)<----p(a,b,c),not p(f(r,c,g)).

Normal Disyuntive logic programs
p(p(a,b),c) or p(f(z),f(d))<----p(f(d,z)), not(p(ab)), not(d).

p(f(c,d),f(z)) or p(z,f(d,e))<----p(f(c,d)),not(d,c,f(z)).

Subclase disyuntiva logic programs

p(p(p(f(a),f(b)),b))<---.

p(a,b) or p(f(c,d))<---.