Es posible?
Publicado por Carlos (1 intervención) el 12/10/2004 18:21:22
Hola:
Quisiera saber si es posible lo siguiente.
En Prolog se puede hacer facilmente una regla, p. ej.: hijo(F,P) :- padre(P,F) es decir, SI P es padre de F ENTONCES F es hijo de P. Ahora bien, lo que yo quisiera hacer es algo como esto: regla(r001,padre(P,F),hijo(F,P)). regla(r002,marido(M,E), esposa(E,M))., etc...y que exista una meta-regla que establezca: X :- regla(_,A,X),A.
Es posible? Como se hace?
Desde ya gracias.
Saludos, Carlos
Quisiera saber si es posible lo siguiente.
En Prolog se puede hacer facilmente una regla, p. ej.: hijo(F,P) :- padre(P,F) es decir, SI P es padre de F ENTONCES F es hijo de P. Ahora bien, lo que yo quisiera hacer es algo como esto: regla(r001,padre(P,F),hijo(F,P)). regla(r002,marido(M,E), esposa(E,M))., etc...y que exista una meta-regla que establezca: X :- regla(_,A,X),A.
Es posible? Como se hace?
Desde ya gracias.
Saludos, Carlos
Valora esta pregunta
0