Necesito hacer un pequeño compilador en prolog al que luego de serle introducida una formula normal bien formada este debuelva su forma normal disyuntiva (FND. si alguien me pudiera ayudar con un seudocodigo que yo pudiera luego llevar a prolog o me indicara un sitio o literatura que me fuera util les estaria infinitamente agradesido.

Responder