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